反身性保护

Question

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

，如果我做cl1和cl2不相交，则本体正在不一致，但如果我取消is_friend_of反思，本体是不矛盾了。我的本体有什么问题？

我只要cl1职业个人有is_friend_of财产。

Answer 1

:is_friend_of的自反性是不一致的关键。

看看里森纳>不一致本体解释：

我会尝试这样的解释翻译成（差）英语：

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