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

Question

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

1. P结构域A
2. P 范围 B
3. A ⊑ =1 P.⊤
4. Q ⊑ P
5. A ⊑ =1 Q.⊤

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

6. (x,y) ∈ P

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

7. (x,y′) ∈ P

然后，根据 (3)、(6) 和 (7)，我们可以推断出 y = y'。因此，如果 (x,y) ∈ P，则 (x,y) ∈ Q，这意味着：

8. P ⊑ Q

然后，由（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将出现在推断的对象属性层次结构视图中。