蛋白质中的自反性

Question

这是我用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