
Ontologies in OWL 121
With owl:differentFrom, it is possible to declare that individuals are
different. In order to declare that several individuals are mutually different,
OWL provides a shortcut, as follows. Recall from Section 2.5.1.3 that we can
use rdf:parseType="Collection" for representing closed lists.
<owl:AllDifferent>
<owl:distinctMembers rdf:parseType="Collection">
<Person rdf:about="rudiStuder" />
<Person rdf:about="dennyVrandecic" />
<Person rdf:about="peterHaase" />
</owl:distinctMembers>
</owl:AllDifferent>
4.1.5 Closed Classes
A declaration like
<SecretariesOfStuder rdf:about="giselaSchillinger" />
<SecretariesOfStuder rdf:about="anneEberhardt" ...