自反 属性 在门徒中

Question

This 是我用 protege 5 创建的 ontology。

如果我使 cl1 和 cl2 不相交，则 ontology 不一致，但如果我取消选中 is_friend_of 自反，则 ontology 是不再不一致了。我的 ontology 怎么了？

我只想要cl1class个人有is_friend_of属性.

Answer 1

:is_friend_of 的自反性对于不一致至关重要。

看看推理 > 不一致ontology解释 :

我会尝试将此解释翻译成（糟糕的）英语：

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