2

i m learning owl and i see example in https://www.w3.org/TR/owl2-primer/

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

wonder where to define AllDisjointClasses on protege class view?

there's a Disjoint With on each class's description view, is this the same thing?

and when i put that statement in turtle syntax than open the source file, the protege throw an error dialog.

crapthings
  • 2,485
  • 3
  • 20
  • 33
  • Yes, the same, but `owl:disjointWith` is only for two class expressions. Can you try `[ a owl:AllDisjointClasses ; owl:members ( :Woman :Man ) ] .` ? It is seems to be a OWLAPI4 bug, which is used by Protege: both constructions are valid N3 and Turtle (there is also an open issue https://github.com/protegeproject/protege/issues/775 , but it seems the description is wrong now, it is fixed in Turtle 2013) – ssz Jun 10 '18 at 17:07
  • @ssz it works. and the view show disjointWith on description view. – crapthings Jun 11 '18 at 01:48

2 Answers2

1

members are elements of a RDF Collection. So adding the statements by hand is not easy as only two statements.

Here is an example in Turtle serialisation:

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

Here is the same example in XML serialisation:

<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>

In Protégé, the simpliest way to achieve this is to define a class as disjoint with other Classes in the Class Hierarchy tab (holding CTRL pressed allow you to add multiple elements to the collections).

Gilles-Antoine Nys
  • 1,481
  • 16
  • 21
1

There is now (protégé 5.5.0) a Disjoint Union Of option in the Classes view. It is the last one below Disjoint With. Disjoint Union Of in Protégé class view

buio
  • 11
  • 1