Deduction Possibilities

• The definition:

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

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

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

     </owl:ObjectProperty>

• can be used two ways by a program:
  • to check whether a RDF statement is correct
  • (a "type check")
  • to deduce that the (domain) resource is of type SvgEntity
  • (because the property requires it!)
• Which approach is used depends on the application