[Pellet-users] runtime exception linked to use of floats

[Silas Davis]

Hello,

I am having a problem with an OWL ontology outputted from Protege 3.3
beta. I have some datatype properties that should have a float range.
When I set their range to string pellet classifies the ontology
successfully. However, when I set them to float, for example:

   <owl:DatatypeProperty rdf:about="#isSafeToTemperature">
     <rdfs:domain rdf:resource="#PrecautionsSet"/>
     <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
   </owl:DatatypeProperty>

The reasoner crashes in runtime. I am using the options:

pellet.jar -s OFF -c RDF -if ...

Here is the error stack:

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:80)
         at
org.mindswap.pellet.utils.GenericIntervalList.get(GenericIntervalList.java:618)
         at
org.mindswap.pellet.datatypes.BaseXSDAtomicType.getValue(BaseXSDAtomicType.java:127)
         at
org.mindswap.pellet.LiteralValueBranch.tryBranch(LiteralValueBranch.java:67)
         at org.mindswap.pellet.Branch.tryNext(Branch.java:99)
         at
org.mindswap.pellet.CompletionStrategy.applyLiteralRule(CompletionStrategy.java:1808)
         at
org.mindswap.pellet.SHOIQStrategy.complete(SHOIQStrategy.java:218)
         at org.mindswap.pellet.ABox.isConsistent(ABox.java:1602)
         at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:745)
         at
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.checkSatisfiability(CDOptimizedTaxonomyBuilder.java:699)
         at
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:748)
         at
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:167)
         at
org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java:1567)
         at
org.mindswap.pellet.jena.OWLReasoner.classify(OWLReasoner.java:251)
         at org.mindswap.pellet.Pellet.doClassify(Pellet.java:308)
         at org.mindswap.pellet.Pellet.run(Pellet.java:461)
         at org.mindswap.pellet.Pellet.main(Pellet.java:900)
Consistent: Yes
Exception: java.lang.RuntimeException: Not implemented yet


Any help much appreciated