owl:unionOf                                           

Definition

The owl:unionOf property links a class to a list of class descriptions. An owl:unionOf statement describes an anonymous class for which the class extension contains those individuals that occur in at least one of the class extensions of the class descriptions in the list.

owl:unionOf is analogous to logical disjunction.

Schema

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

        <rdfs:label>unionOf</rdfs:label>

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

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

    </rdf:Property>

Example listing

Triple

 

RDF/XML

    <owl:Class>

        <owl:unionOf 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:unionOf>

    </owl:Class>

Other information

This class description describes a class for which the class extension contains three individuals, namely Tosca, Salome, and Turandot (assuming they are all different).

 

NOTE: owl:unionOf is not part of OWL Lite.

Use in ISO 15926