The owl:intersectionOf property links a class to a list of class descriptions. An owl:intersectionOf statement describes a class for which the class extension contains precisely those individuals that are members of the class extension of all class descriptions in the list.
<rdf:Property rdf:ID="intersectionOf">
<rdfs:label>intersectionOf</rdfs:label>
<rdfs:domain rdf:resource="#Class"/>
<rdfs:range rdf:resource="&rdf;List"/>
</rdf:Property>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Tosca" />
<owl:Thing rdf:about="#Salome" />
</owl:oneOf>
</owl:Class>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Turandot" />
<owl:Thing rdf:about="#Tosca" />
</owl:oneOf>
</owl:Class>
</owl:intersectionOf>
</owl:Class>
owl:intersectionOf can be viewed as being analogous to logical
conjunction.
In this example the value of owl:intersectionOf is a list of two
class descriptions, namely two enumerations, both describing a class with two
individuals. The resulting intersection is a class with one individual, namely
Tosca. as this is the only individual that is common to both
enumerations.
NOTE: This assumes that the three individuals are all different. In fact, this is not by definition true in OWL. Different URI references may refer to the same individuals, because OWL does not have a "unique names" assumption. In the Topic "Individuals" one can find OWL language constructs for making constraints about equality and difference of individuals.
NOTE: In this example we use enumerations to make clear what the meaning is of this language construct. See the OWL Guide [OWL Guide] for more typical examples.
NOTE: OWL Lite is restricted in its use of owl:intersectionOf.