为什么在这种情况下OWA (开放世界假设)不能推断？

Question

请考虑以下本体代码的书，语义Web技术的基础，第130页。

(这本书的选定页面可在https://books.google.com.bd/books?id=BdzL24RqcGIC&printsec=frontcover&dq=editions:QVes_CBJwS4C&hl=en&sa=X&ei=vQCXVIinApKHuASG0YHgCQ&ved=0CCAQuwUwAA#v=onepage&q&f=false上查阅。)

<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)。

1. 由于OWA (开放世界假设)，我们不能说任何关于anton或charles在Class2中的成员资格。

在OWA下，我们可以理解关于charles的推理。但是很难理解关于anton的决定。我们可以清楚地看到，anton喜欢与之合作的所有成员，即doris和dagmar，都属于FemaleColleagues类。

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

我在这里可能会错过什么？

Answer 1

因为有可能一个男同事没有被提到。没有任何东西对安东喜欢的同事施加两种限制，例如，基数限制。因此，推理者不能证明在这个集合中没有雄性，因为它不能证明它知道集合中的所有个体。