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

allows us to NOT a single class, i.e. designates the class of instances that are not instances of that class

this can be used with daml:intersectionOf, e.g.


<daml:Class rdf:ID="Minor">
  <daml:intersectionOf rdf:parseType="daml:collection">
    <daml:Class rdf:about="#Person"/>
    <daml:Class>
      <daml:complementOf rdf:resource="#Adult"/>
    </daml:Class>
  </daml:intersectionOf>
</daml:Class>