owl - 为什么OWA(开放世界假设)在这种情况下无法推断？

Question

请考虑书中的以下本体代码，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页提到的基于上述本体和类定义的推论是:

1. doris 和 gustav 不属于到Class2。

说得对，因为两者doris 和 gustav 有他们喜欢一起工作的同事不属于FemaleColleagues 类(在这两种情况下都是 bernd)。

由于 OWA ( Open-World Assumption )，我们无法对成员(member)资格发表任何评论Class2 中的 anton 或 charles。

在OWA下我们可以理解关于查尔斯。但这个决定有点难以理解关于安东。我们可以清楚地看到所有与谁一起的成员anton 喜欢合作，即多丽丝和达格玛， 属于类(class)女同事。

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

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

Answer 1

因为有可能没有提到男同事。没有什么对安东喜欢的同事施加只有两个的限制，例如基数限制。因此，推理机无法证明该集合中没有男性，因为它无法证明它认识该集合中的所有个体。