For ontologies in which the unique-names assumption holds, the use of
owl:differentFrom is likely to lead to a large number of
statements, as all individuals have to be declared pairwise disjoint. For such
situations OWL provides a special idiom in the form of the construct owl:AllDifferent.
This is a special built-in OWL class, for which the
is defined, which links
an instance of
owl:AllDifferent to a list of individuals. The
intended meaning of such a statement is that all individuals in the list are all
different from each other.
owl:distinctMembers is a special syntactical construct added for
convenience and should always be used with an
individual as its subject.
owl:distinctMembers has owl:AllDifferent as domain, and rdf:List as range
This states that these six URI references all point to different operas.