DAML+OIL for Application Developers - slide "Local Restrictions"

RDFS defines rdfs:domain and rdfs:range to globally constrain the use of properties
- this can become awkard, e.g. requiring properties like carColor and eyeColor rather than just color

DAML+OIL allows constraints to be specified on class/property pair using daml:Restriction, e.g.


<rdfs:Class rdf:ID="MyClass">
  <rdfs:subClassOf>
    <daml:Restriction>
      <daml:onProperty rdf:resource="#myProperty"/>
      ...
    </daml:Restriction>
  </rdfs:subClassof>
</rdfs:Class>

each daml:Restriction should specify daml:onProperty and only 1 of:
- daml:toClass
- cardinality
- minCardinality
- maxCardinality
i.e. to specify toClass and cardinality, or minCardinality and maxCardinality, you have to use 2 Restrictions