在 OWL 中推断两个对象属性相等

Question

给定一个本体O，让A、B两个类和对象属性P和Q使得：

1. P 域 A
2. P 范围 B
3. 一个⊑ =1 P.⊤
4. 问⊑ P
5. 一个⊑ =1 Q.⊤

因此，我们要证明 P ≡ Q，我们只需要证明 P ⊑ Q，因为我们已经有了另一个方向，Q⊑ P，在（4）中。得出 P ≡ Q 等价的结论；让

6. (x,y) ∈ P

然后 x ∈ A 和 y ∈ B 并且我们从（5）中得到 Q 将 A 的每个个体与 B 的一个个体联系起来；那么必然存在 y' ∈ B 使得 (x,y') ∈问；通过（4），我们可以推断出

1. (x,y') ∈ P

然后，从 (3)、(6) 和 (7)，我们可以推断出 y = y′。 因此，如果 (x,y) ∈ P, 然后 (x,y) ∈ Q，意思是：

8. P ⊑问

那么，由（4）和（8）：

9. P≡Q

问题：

1. 这个结论是真的吗？
2. 推理器（例如，Pellet，通过 Protégé 插件）不会推断 P ≡ Q，但是每次我断言 P(a,b) 时，推理器都会推断 Q(a,b)，反之亦然！

Answer 1

你的推理是正确的，P确实等价于这个本体中的P1。然而，作为当前大多数 DL 推理器，Pellet 不会对属性层次结构进行推理。它被计算为属性层次关系的告知信息的自反传递闭包。据我所知，执行完整属性层次计算的唯一推理器是 HermiT；如果你用它对你的本体进行分类，那么推断P EquivalentTo P1 将出现在推断的对象属性层次结构视图中。