Rdf 在哪里定义Protege中的所有分离类

Rdf 在哪里定义Protege中的所有分离类,rdf,owl,protege,rdfs,Rdf,Owl,Protege,Rdfs,我正在学习猫头鹰,我在 []rdf:type owl:alldisjointclass; 猫头鹰:成员(:女:男)。 想知道在protege类视图上在哪里定义所有分离类 每个类的描述视图上都有一个不相交的,这是同一件事吗 当我将该语句放在turtle语法中而不是打开源文件时,protege会抛出一个错误对话框。成员是。因此,手工添加语句并不容易,因为只有两个语句 以下是海龟序列化的一个示例: [ rdf:type owl:AllDisjointClasses ; owl:members (

我正在学习猫头鹰,我在

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

想知道在protege类视图上在哪里定义所有分离类

每个类的描述视图上都有一个不相交的,这是同一件事吗


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

成员是。因此,手工添加语句并不容易,因为只有两个语句

以下是海龟序列化的一个示例:

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :URI1
                :URI2
                :URI3
              )
] .
<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>
以下是XML序列化中的相同示例:

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( :URI1
                :URI2
                :URI3
              )
] .
<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键可向集合中添加多个元素)。

是的,相同,但
owl:disjointWith
仅适用于两个类表达式。你能试试
[a owl:alldisjointclass;owl:members(:Woman:Man)]。
?这似乎是一个OWLAPI4错误,Protege使用了它:两种结构都是有效的N3和Turtle(也有一个公开的问题,但现在似乎描述是错误的,它在Turtle 2013中得到了修复)@ssz它可以工作。我已经保存了一个“RDF/XML语法”,但是,这不像ssz的turtle语法,但是我认为我可能输入错误。我编辑了答案,为您提供海龟系列化。