ontology - 为什么 Protegev5.5 的 HermiT 或 Pellet Reasoner 没有检测到本体中的不一致

Question

我使用对象属性O将 ClassA与 Class相关联B。我也分别有实例a和b类。我使用相同的对象属性来关联实例和.ABOab

同样，我使用相同的对象属性O与 链接a，c其中c是 Class 的一个实例，C它不与类链接A或B使用任何对象属性。推理者仍在证明本体是一致的。我的问题是“这不应该被推理者标记为不一致吗？请告诉我你的答案，答案是'是'还是'否'以及你答案背后的原因”？

提前致谢。

Answer 1

您错误地理解了域和范围公理的语义。在您的对象属性的情况下，O它仅说明每当有 2 个个体通过它链接时x，这意味着推理器将推断它是类型的并且是类型的。yOxAyB

在链接个人a和cwhere cis 类型的情况下，C您会注意到c现在也推断为 type B。

如果你想看到不一致的地方，你可以做的是让类B和C脱节。然后链接a和c通过O将导致不一致。

顺便说一句，如果你有兴趣，我会在我的博客上写关于 OWL2 本体和推理器的使用以及推理器似乎“失败”的一些反直觉方式。