保护的自反财产

Question

这是我用protege 5创建的本体论.

如果我做cl1和cl2不相交,那么本体就是不一致的,但是如果我取消is_friend_of反复,那么本体就不再是不一致了.什么是我的本体错误？

我只希望cl1班上的人拥有is_friend_of财产.

Answer 1

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

看一下Reasoner> Inconsistent 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