CODEWITHSUNDEEP
owlontologyreasoning
Katerina Dimitraki
Katerina Dimitraki

Reputation: 115

Reasoner's explanations on inconsistency

I am using the code of the owlexplanation project by Matthew Horridge on GitHub. I get the following reasoner inconsistency explanation. Could you please tell me why is that? My range is betwwen 4-9 and i gave the number 5.What is the inconsistency?

  [Explanation <SubClassOf(owl:Thing owl:Nothing)>
        DataPropertyRange(<http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#test_dataProperty2> DataRangeRestriction(xsd:int facetRestriction(maxExclusive "9"^^xsd:int) facetRestriction(minExclusive "4"^^xsd:int)))
        DataPropertyAssertion(<http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#test_dataProperty2> <http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#meat_002> "5")
    ]

Upvotes: 0

Views: 128

Answers (1)

Dmitry Tsarkov
Dmitry Tsarkov

Reputation: 768

There is no type tag on "5" data value. I don't remember what is the default type but it is likely to be String. String and "int" are disjoint datatypes in OWL 2 DL, so the inconsistency. You can try to fix this problem by replacing "5" with "5"^^xsd:int

Upvotes: 2

Related Questions