owl:equivalentProperty                       

Definition

The owl:equivalentProperty construct can be used to state that two properties have the same property extension. Syntactically, owl:equivalentProperty is a built-in OWL property with rdf:Property as both its domain and range.

EXAMPLE:    

Schema

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

        <rdfs:label>equivalentProperty</rdfs:label>

        <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/>

    </rdf:Property>

Example listing

Triple

RDF/XML

Not found any.

Other information

Property equivalence is not the same as property equality. Equivalent properties have the same "values" (i.e., the same property extension), but may have different intensional meaning (i.e., denote different concepts). Property equality should be expressed with the owl:sameAs construct. As this requires that properties are treated as individuals, such axioms are only allowed in OWL Full.

Use in ISO 15926