[Pellet-users] User-defined datatypes (OWL1.1)

[sjtirtha]

Hi,

I read on Pellet site that pellet supports user-defined datatypes(like
defined in OWL 1.1) and there is also a version of SWOOP which supports OWL
1.1.
I use this version of SWOOP, but I get an error, when I call Pellet
reasoner.

Another question:
Which OWL API is used to parse owl file that uses OWL1.1 syntax ? (Jena or
WonderWeb OWL API)

Error message in DOS-Console:

Pellet classifying...Exception in thread "Thread-5"
java.lang.RuntimeException:
java.lang.RuntimeException: Not implemented yetLoaded No Reasoner reasoner
from
cache..

        at org.mindswap.swoop.SwoopModel$2.construct(SwoopModel.java:1343)
        at org.mindswap.swoop.utils.ui.SwingWorker$2.run(SwingWorker.java
:109)
        at java.lang.Thread.run(Unknown Source)Ontology selection changed
to: ht
tp://www.owl-ontologies.com/Ontology1177780554.owl

Caused by: java.lang.RuntimeException: Not implemented yet
        at org.mindswap.pellet.utils.NumberUtils.add(NumberUtils.java:209)
        at org.mindswap.pellet.datatypes.XSDFloat$FloatValueSpace.succ
(XSDFloat.
java:82)
        at org.mindswap.pellet.utils.GenericIntervalList.get
(GenericIntervalList
.java:619)
        at org.mindswap.pellet.datatypes.BaseXSDAtomicType.getValue
(BaseXSDAtomi
cType.java:128)
        at org.mindswap.pellet.LiteralValueBranch.tryBranch(
LiteralValueBranch.j
ava:67)
        at org.mindswap.pellet.Branch.tryNext(Branch.java:93)
        at org.mindswap.pellet.CompletionStrategy.applyLiteralRule
(CompletionStr
ategy.java:1430)
        at org.mindswap.pellet.SHOIQStrategy.complete(SHOIQStrategy.java
:138)
        at org.mindswap.pellet.ABox.isConsistent(ABox.java:1485)
        at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:728)
        at org.mindswap.pellet.KnowledgeBase.isSatisfiable(
KnowledgeBase.java:14
43)
        at org.mindswap.pellet.taxonomy.TaxonomyBuilder.checkSatisfiability
(Taxo
nomyBuilder.java:432)
        at org.mindswap.pellet.taxonomy.TaxonomyBuilder.classify
(TaxonomyBuilder
.java:476)
        at org.mindswap.pellet.taxonomy.TaxonomyBuilder.classify
(TaxonomyBuilder
.java:460)
        at org.mindswap.pellet.taxonomy.TaxonomyBuilder.classify
(TaxonomyBuilder
.java:127)
        at org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java
:925)
        at org.mindswap.pellet.KnowledgeBase.realize(KnowledgeBase.java:941)
        at org.mindswap.swoop.reasoner.PelletReasoner.setOntology
(PelletReasoner
.java:115)
        at org.mindswap.swoop.reasoner.PelletReasoner.setOntology
(PelletReasoner
.java:83)
        at org.mindswap.swoop.reasoner.PelletReasoner.setOntology
(PelletReasoner
.java:75)
        at org.mindswap.swoop.SwoopModel$2.construct(SwoopModel.java:1338)
        ... 2 more
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070503/f1530ec3/attachment.htm