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.


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


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

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


Example listing




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: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"/>




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