推断两个对象属性在 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） 和 in; 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. 推理者（例如，通过 Protégé 插件的 Pellet）不会推断 P ≡ Q，但是每次我断言 P（a，b） 时，推理者都会推断 Q（a，b），反之亦然！

Answer 1

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