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

[Evren Sirin]

On 5/3/07 7:23 AM, sjtirtha wrote:
> 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.
We should probably remove that link to the SWOOP download because it was 
prepared as a proof-of-concept demo and comes with a version of Pellet 
that has significantly changed w.r.t. OWL 1.1 (as did the specs). The 
syntax for user-defined datatypes has changed since then so the problem 
you are having might be related to this. It is possible that the problem 
still exists in the 1.4 release so if you can provide the ontology you 
are trying we could look at that.
>  
> Another question:
> Which OWL API is used to parse owl file that uses OWL1.1 syntax ? 
> (Jena or WonderWeb OWL API)
Inside SWOOP, WonderWeb OWL API is used. But Pellet also supports OWL 
1.1 through Jena API so you can choose either API for your application.

Cheers,
Evren
>  
> 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 
> <http://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
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/