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