[Pellet-users] pellet.exceptions.InternalReasonerException XXX is not in the definition order

[Wolfgang May]

Hi, 

On Wed, 17 Oct 2007, Evren Sirin wrote:

> Hi Wolfgang,

[previous Thread: Pellet throws ConcurrentModificationException]

> There were two issues [1, 2] identified as a result of looking at the ontology
> you sent and both are fixed in the SVN now. But there were also couple of
> syntax problems in the ontology that goes unnoticed by the loader, does not
> generate any warnings or errors but produces results different that the
> intention.

Thanks for the fix and the hints. We corrected everything and it now 
works perfectly.

With another example (Win-Move-Game), we now found an
InternalReasonerException (it disappears when removing the 
"owl:unionOf" line of the below code). Queries against the
ontology are answered, but it crashesd when classifying:

******
may at s2:~/teaching/SemWeb/RDF$ pellet -r -ifmt N3 -if axioms.n3
Input file: file:/homewap1/may/teaching/SemWeb/RDF/axioms.n3
org.mindswap.pellet.exceptions.InternalReasonerException: 
foo://bla/DrawNode is not in the definition order
        at 
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.addToldSubsumer(CDOptimizedTaxonomyBuilder.java:585)
        at 
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.addToldRelation(CDOptimizedTaxonomyBuilder.java:511)
        at 
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.computeToldInformation(CDOptimizedTaxonomyBuilder.java:244)
        at 
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.prepare(CDOptimizedTaxonomyBuilder.java:197)
        at 
org.mindswap.pellet.taxonomy.CDOptimizedTaxonomyBuilder.classify(CDOptimizedTaxonomyBuilder.java:117)
        at 
org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java:1632)
        at 
org.mindswap.pellet.jena.OWLReasoner.classify(OWLReasoner.java:254)
        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)
OWL Species: Full
DL Expressivity: ALC
Consistent: Yes
Exception: org.mindswap.pellet.exceptions.InternalReasonerException: 
foo://bla/DrawNode is not in the definition order
*******

******* axioms.n3 ***********
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix owl11: <http://www.w3.org/2006/12/owl11#>.
@prefix : <foo://bla/>.

:edge rdfs:domain :Node; rdfs:range :Node.
:Node a owl:Class; 
  owl:equivalentClass [owl:unionOf ( :WinNode :LoseNode :DrawNode )].
:WinNode a owl:Class; owl:intersectionOf ( :Node
  [a owl:Restriction; owl:onProperty :edge; owl:someValuesFrom :LoseNode]).
:LoseNode a owl:Class; owl:intersectionOf ( :Node
  [a owl:Restriction; owl:onProperty :edge; owl:allValuesFrom :WinNode]).
:DrawNode2  a owl:Class; owl:intersectionOf ( :Node
  [a owl:Restriction; owl:onProperty :edge; owl:someValuesFrom :DrawNode2]
   [a owl:Restriction; owl:onProperty :edge;
    owl:allValuesFrom [ owl:unionOf (:DrawNode2 :WinNode)]]).
*************

(intention: to get :DrawNode2 owl:equivalentClass :DrawNode)

Best,
Wolfgang