0

I have been making some tests using Jena OWL Reasoner, but I don´t understand some results obtained, for example, if I have the following KB:

Class A 
Class B
Class C rdfs:subClassOf A
A owl:disjointWith B

...and if I ask "C owl:disjointWith B"? to the inference model, the answer sould be "yes", but the Jena OWL Reasoner answer is NO...I check this using...

if (infmodel.contains(A, OWL.disjointWith, C)) {
... 
}
....

So, is there some limitations to make inferences with this reasoner?

Thanks

mcruz
  • 1,534
  • 2
  • 11
  • 14
Leandro
  • 61
  • 6

1 Answers1

0

Your query contains A owl:disjointWith C, which cannot be inferred from your ontology. Are you sure it's the correct query?

Ignazio
  • 10,504
  • 1
  • 14
  • 25
  • Ignazio, thanks for your help. There was an error in the previous message. I want to check: if (infmodel.contains(B, OWL.disjointWith, C)) (or C, OWL.disjointWith, B), but the answer is 'NO', when 'Yes' would be expected.... – Leandro Feb 26 '16 at 13:02
  • Try the reverse: b disjoint c or c disjoint b. In owl these are equivalent but in rdf the triples are distinct – Ignazio Feb 26 '16 at 13:04
  • I tried both, "b disjoint c" and "c disjoint b", without success , I guess it is due to Jena incomplete implementation of the OWL/Lite subset of the OWL/Full language...but I'm not sure.... – Leandro Feb 26 '16 at 14:57