请考虑书中的以下本体代码,Foundations of Semantic Web Technologies ,第 130 页。
(本书的选定页面可在 Google Books 上找到。)
<Person rdf:about="anton">
<likesToWorkWith rdf:resource="doris" />
<likesToWorkWith rdf:resource="dagmar" />
</Person>
<Person rdf:about="doris">
<likesToWorkWith rdf:resource="dagmar" />
<likesToWorkWith rdf:resource="bernd" />
</Person>
<Person rdf:about="gustav">
<likesToWorkWith rdf:resource="bernd" />
<likesToWorkWith rdf:resource="doris" />
<likesToWorkWith rdf:resource="desiree" />
</Person>
<Person rdf:about="charles" />
<owl:Class rdf:about="FemaleColleagues">
<owl:oneOf rdf:parseType="Collection">
<Person rdf:about="dagmar" />
<Person rdf:about="doris" />
<Person rdf:about="desiree" />
</owl:oneOf>
</owl:Class>
<owl:AllDifferent>
<owl:distinctMembers
rdf:parseType="Collection">
<Person rdf:about="anton" />
<Person rdf:about="bernd" />
<Person rdf:about="charles" />
<Person rdf:about="dagmar" />
<Person rdf:about="desiree" />
<Person rdf:about="doris" />
</owl:distinctMembers>
</owl:AllDifferent>
现在,在同一本书的第 132 页中,定义了一个类 Class2
。
<owl:Class rdf:about="Class2">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty
rdf:resource="likesToWorkWith" />
<owl:allValuesFrom
rdf:resource="FemaleColleagues" />
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
据我们了解,该类的成员将拥有FemaleColleagues
类中他们喜欢一起工作的所有同事。
同书第132页提到的基于上述本体和类定义的推论是:
doris
和gustav
不属于 到Class2
。
说得对,因为两者
doris
和 gustav
有他们喜欢一起工作的同事不属于
FemaleColleagues
类(在这两种情况下都是 bernd
)。
- 由于 OWA ( Open-World Assumption ),我们无法对成员(member)资格发表任何评论
Class2
中的anton
或charles
。
在OWA下我们可以理解关于
查尔斯。但这个决定有点难以理解
关于安东
。
我们可以清楚地看到所有与谁一起的成员
anton
喜欢合作,即
多丽丝
和达格玛
,
属于类(class)
女同事
。
那为什么我们不能这么说
charles
属于 Class2
?
我在这里可能会错过什么?
最佳答案
因为有可能没有提到男同事。没有什么对安东喜欢的同事施加只有两个的限制,例如基数限制。因此,推理机无法证明该集合中没有男性,因为它无法证明它认识该集合中的所有个体。
关于owl - 为什么OWA(开放世界假设)在这种情况下无法推断?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/27591838/