owl:onProperty                                      

Definition

The class  owl:Restriction is defined as a subclass of owl:Class.

A restriction class should have exactly one triple linking the restriction to a particular property, using the owl:onProperty property. The restriction class should also have exactly one triple that represents the value constraint c.q. cardinality constraint on the property under consideration, e.g., that the cardinality of the property is exactly 1.

Schema

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

        <rdfs:label>onProperty</rdfs:label>

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

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

    </rdf:Property>

Example listing

Triple

 

RDF/XML

Property restrictions have the following general form:

    <owl:Restriction>

        <owl:onProperty rdf:resource="(some property)" />

        (precisely one value or cardinality constraint, see below)

    </owl:Restriction>

 

With owl:allValuesFrom:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:allValuesFrom rdf:resource="#Human" />

    </owl:Restriction>

 

With owl:someValuesFrom:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:someValuesFrom rdf:resource="#Physician" />

    </owl:Restriction>

 

With owl:hasValue:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:hasValue rdf:resource="#Clinton" />

    </owl:Restriction>

 

With owl:maxCardinality:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:maxCardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:maxCardinality>

    </owl:Restriction>

 

With owl:minCardinality:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:minCardinality>

    </owl:Restriction>

 

With owl:cardinality:

    <owl:Restriction>

        <owl:onProperty rdf:resource="#hasParent" />

        <owl:cardinality rdf:datatype="&xsd;nonNegativeInteger">2</owl:cardinality>

    </owl:Restriction>

Other information

Property restrictions can be applied both to datatype properties (properties for which the value is a data literal) and object properties (properties for which the value is an individual).

Use in ISO 15926