保护的自反财产

Question

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

如果我使cl1和cl2不相交，那么本体就会不一致，但如果我取消选中is_friend_of反身，那么本体就不再是不一致的了。什么是我的本体错误？

我只希望cl1个人拥有is_friend_of财产。

Answer 1

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

看看推理器＆gt;不一致的本体解释：

我会尝试将这种解释翻译成（可怜的）英语：

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