owl - protege 中的反身属性

Question

This是我用 protege 5 创建的本体。

如果我使 cl1 和 cl2 不相交，则本体不一致，但如果我取消选中 is_friend_of 自反，则本体不一致不一致了。我的本体有什么问题？

我只希望 cl1 类个体拥有 is_friend_of 属性。

Answer 1

:is_friend_of 的自反性对于不一致是必不可少的。

看看 Reasoner > 不一致的本体解释:

我会尝试将此解释翻译成(糟糕的)英语:

1. 因为 :is_friend_of 是自反的，所以 :c2_inst :is_friend_of :c2_inst。
2. 由于:is_friend_of的域是:cl1，那么c2_inst rdf:type :cl1。
3. 此外，c2_inst rdf:type :cl2。
4. 但是 :cl1 和 :cl2 是不相交的 — 矛盾。

---

事实上，每个自反属性的域都是owl:Thing。

作为解决方法，您可以取消选中 is_friend_of 的自反性并以这种方式定义 :cl1:

Class: cl1
    EquivalentTo: 
        is_friend_of some owl:Thing,
        is_friend_of some  Self