DAML+OIL for Application Developers - slide "daml:inverseOf"

example: given


<daml:ObjectProperty rdf:ID="parent"/>
<daml:ObjectProperty rdf:ID="child">
  <daml:inverseOf rdf:resource="#parent"/>
</daml:ObjectProperty>

and

we can infer
inverse inferences

and vice-versa