文章/答案/技术大牛

发布

社区首页 >问答首页 >耶拿猫头鹰推理器的限制是什么？

问耶拿猫头鹰推理器的限制是什么？
EN

Stack Overflow用户

提问于 2016-02-26 01:48:44

回答 1查看 133关注 0票数 0

我已经做了一些测试使用Jena猫头鹰推理机，但我不理解一些结果，例如，如果我有以下知识库：

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

如果我问"C owl:disjointWith B"的话？...and？对于推理模型，答案应该是"yes"，但Jena OWL推理程序的答案是NO...我使用...

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

那么，用这个推理机做推论有什么局限性吗？

谢谢

发布于 2016-02-26 15:33:26

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

票数 0

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/35634606

复制

相似问题

问耶拿猫头鹰推理器的限制是什么？EN