owl:inverseOf                                         

Definition

Properties have a direction, from domain to range.  The owl:inverseOf construct can be used to define an inverse relation between properties.

EXAMPLE:    In practice, people often find it useful to define relations in both directions: persons own cars, cars are owned by persons.

Schema

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

        <rdfs:label>inverseOf</rdfs:label>

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

        <rdfs:range rdf:resource="#ObjectProperty"/>

    </rdf:Property>

Example listing

Triple

    P1  owl:inverseOf  P2

asserts that for every pair (x,y) in the property extension of P1, there is a pair (y,x) in the property extension of P2, and vice versa. Thus, owl:inverseOf is a symmetric property.

RDF/XML

    <owl:ObjectProperty rdf:ID="hasChild">

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

    </owl:ObjectProperty>

Other information

Use in ISO 15926