protege中的自反属性

Question

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

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

我只希望 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