Jena OWL Reasoners限制是什么？

Question

我一直在使用Jena OWL Reasoner进行一些测试，但我不理解获得的一些结果，例如，如果我有以下KB：

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

......如果我问"C owl:disjointWith B"？对于推理模型，答案应该是"yes"，但Jena OWL Reasoner的答案是否定的......我用...来检查...

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

那么，推理这个推理是否有一些限制？

由于

Answer 1

您的查询包含A owl:disjointWith C，无法从您的本体推断出来。你确定它是正确的查询吗？