owl:hasValue                                         

Definition

The value constraint owl:hasValue is a built-in OWL property that links a restriction class to a value V, which can be either an individual or a data value. A restriction containing a owl:hasValue constraint describes a class of all individuals for which the property concerned has at least one value semantically equal to V (it may have other values as well).

EXAMPLE:    

Schema

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

        <rdfs:label>hasValue</rdfs:label>

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

    </rdf:Property>

Example listing

Triple

 

RDF/XML

The following example describes the class of individuals who have the individual referred to as Clinton as their parent:

    <owl:Restriction>

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

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

    </owl:Restriction>

Other information

For datatypes "semantically equal" means that the lexical representation of the literals maps to the same value. For individuals it means that they either have the same URI reference or are defined as being the same individual (see owl:sameAs).

NOTE: the value constraint owl:hasValue is not included in OWL Lite.

Use in ISO 15926