为什么OWA（开放世界假设）在这种情况下无法推断？答案

【问题标题】：Why does OWA (Open World Assumption) can not infer in this case?为什么OWA（开放世界假设）在这种情况下无法推断？
【发布时间】：2014-12-21 17:21:38
【问题描述】：

请考虑本书中的以下本体代码，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) 我们无法透露有关会员资格的任何信息 anton 或 charles 中的 Class2。

在 OWA 下，我们可以理解关于 charles。但是有点难以理解这个决定关于anton。我们可以清楚地看到 all 的成员 anton 喜欢合作，即 doris 和 dagmar, 属于类 FemaleColleagues.

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

我在这里可能缺少什么？

【问题讨论】：

标签： owl ontology

【解决方案1】：

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

【讨论】：