owl:oneOf                                               

Definition

The value of the built-in OWL property owl:oneOf must be a list of individuals that are the instances of the class described. This enables a class to be described by exhaustively enumerating its instances. The class extension of a class described with owl:oneOf contains exactly the enumerated individuals, no more, no less.

Schema

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

        <rdfs:label>oneOf</rdfs:label>

        <rdfs:domain rdf:resource="&rdfs;Class"/>

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

    </rdf:Property>

Example listing

Triple

 

RDF/XML

The list of individuals is typically represented with the help of the RDF construct rdf:parseType="Collection", which provides a convenient shorthand for writing down a set of list elements. For example, the following RDF/XML syntax defines a class of all continents:

 

    <owl:Class>

        <owl:oneOf rdf:parseType="Collection">

            <owl:Thing rdf:about="#Eurasia"/>

            <owl:Thing rdf:about="#Africa"/>

            <owl:Thing rdf:about="#NorthAmerica"/>

            <owl:Thing rdf:about="#SouthAmerica"/>

            <owl:Thing rdf:about="#Australia"/>

            <owl:Thing rdf:about="#Antarctica"/>

        </owl:oneOf>

    </owl:Class>

 

The RDF/XML syntax <owl:Thing rdf:about="..."/> refers to some individual (remember: all individuals are by definition instances of owl:Thing).

Other information

NOTE: owl:oneOf is not part of OWL Lite

Use in ISO 15926