rdf - 在 Protege 中哪里定义 AllDisjointClasses

Question

我正在学习猫头鹰，我在 https://www.w3.org/TR/owl2-primer/ 中看到了示例

[] rdf:type owl:AllDisjointClasses ; 猫头鹰:成员(:女人:男人)。

想知道在 protege 类 View 中的哪里定义 AllDisjointClasses 吗？

每个类的描述 View 上都有一个 Disjoint With，这是同一件事吗？

当我将该语句放入海龟语法中而不是打开源文件时，protege 会抛出一个错误对话框。

Answer 1

members 是 RDF Collection 的元素。因此手动添加语句并不容易，因为只有两个语句。

这是 Turtle 序列化的一个示例:

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :URI1
                :URI2
                :URI3
              )
] .

下面是 XML 序列化中的相同示例:

<rdf:Description>
  <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
  <owl:members rdf:parseType="Collection">
    <rdf:Description rdf:about="URI1"/>
    <rdf:Description rdf:about="URI2"/>
    <rdf:Description rdf:about="URI3"/>
  </owl:members>
</rdf:Description>

在 Protégé 中，实现此目的的最简单方法是将类定义为与“类层次结构”选项卡中的其他类不相交(按住 CTRL 可以向集合添加多个元素)。