Property Characterizations

• One can characterize the logical nature of properties, eg:

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

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

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

      <rdf:type rdf:resource="owl:TransitiveProperty"/>

    </owl:ObjectProperty>

• Other features include: symmetric, functional, inverse, ...
• Essential to make logical deductions possible!