在 Protege 中定义 AllDisjointClasses 的位置

Question

我正在学习 owl 我在 https://www.w3.org/TR/owl2-primer/

中看到了例子

[] rdf:type owl:AllDisjointClasses ; owl:members ( :Woman :Man ) .

想知道在保护 class 视图上定义 AllDisjointClasses 的位置吗？

每个 class 的描述视图上都有一个 Disjoint With，这是同一件事吗？

当我将该语句放入 turtle 语法而不是打开源文件时，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é 中，实现此目的的最简单方法是在 Class 层次结构选项卡中将 class 定义为与其他 Class 不相交（按住 CTRL 键可以添加集合中的多个元素）。

Answer 2

现在 (protégé 5.5.0) 类视图中有一个 Disjoint Union Of 选项。是Disjoint With下面的最后一个。 Disjoint Union Of in Protégé class view

在 Protege 中定义 AllDisjointClasses 的位置

Where to define AllDisjointClasses in Protege

rdf

owl

rdfs

protege