owl - 链接的 super 属性

Question

假设给定以下两个关系:
a(x,y)
b(y,z)
我们可以推导出:
c(x,z)
那么这可以通过为 c 属性添加一个 SuperProperty Of (Chain) 来在 Protégé 中明确表达，如下所示:
a o b SubPropertyOf c

有了这个表达，想象一下我们只知道:
a(x,y)
c(x,z)
我们如何明确表达我们因此也知道:
b(y,z)
这将再次与(链)的 SuperProperty 一起使用，但对于 b 属性？

我首先想到尝试:
a o inverse(c) SubPropertyOf b

这个Protégé不喜欢，说有个圆圈。现在我很困惑。

Answer 1

b(y,z) 的正确表达式是 inverse(a) o c SubPropertyOf b，因为您要表达 的属性路径>y到z对应b。如果你只有这个公理，这应该会给你必要的推论。但是，您不能将它与第一个公理 a o b SubPropertyOf c 一起使用。在这种情况下，您在具有直接属性的公理中通过b“定义”c，通过c“定义”b在具有逆属性的公理中。所以你必须知道c才能定义c。这种循环在 OWL 2 DL 中是不允许的，这就是 Protege 告诉您循环定义的原因。总而言之，你只能拥有这些公理之一，但不能同时拥有这两个公理。