为什么OWA(Open World Assumption)在这种情况下无法推断？

Question

请参阅本书"语义Web技术的基础",第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页中提到的推论是:

1. doris并且gustav不属于Class2.

因为两者正确地说 doris和gustav 有他们喜欢一起工作的同事不属于类FemaleColleagues(bernd在这两种情况下).

2. 由于OWA(的开放世界的假设),我们不能说的任何成员anton或charles在Class2.

在OWA下,我们可以理解有关的推论 charles.但要理解有关的决定有点困难anton.我们可以清楚地看到,所有与他们的成员 anton喜欢用,即工作 doris 和dagmar,属于类 FemaleColleagues.

那为什么我们不能说那 charles属于Class2？

我可以在这里失踪的是什么？

Answer 1

因为有可能没有提到男性同事.没有什么限制只有两个同事anton喜欢,例如,基数限制.因此,推理者无法证明该集合中没有男性,因为它无法证明它知道集合中的所有个体.