owl:intersectionOf                                

Definition

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.

Schema

    <rdf:Property rdf:ID="intersectionOf">

        <rdfs:label>intersectionOf</rdfs:label>

        <rdfs:domain rdf:resource="#Class"/>

        <rdfs:range rdf:resource="&rdf;List"/>

    </rdf:Property>

Example listing

Triple

 

RDF/XML

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

Other information

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.  

Use in ISO 15926