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页中提到的推论是：

doris和gustav不属于到Class2。

正确地说，因为两者 doris和gustav有同事，他们喜欢使用而不是 班级FemaleColleagues（两个案例中都是bernd）。

由于OWA（Open-World Assumption），我们无法谈论会员资格 anton中的charles或Class2。

在OWA下，我们可以理解有关的推论 charles。但要理解这个决定有点困难关于anton。我们可以清楚地看到所有成员与谁 anton喜欢与之合作，即 doris和dagmar，属于班级 FemaleColleagues。

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

我可以在这里找到什么？

Answer 1

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

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

1 个答案: