Disjointness
- DAML+OIL allows multiple inheritance at the class level
(multiple rdfs:subClassOf statements) and at the instance level
(multiple rdf:type statements)
- we don't automatically assume that (sub)classes are disjoint,
e.g. subclasses of Person might include
Male, Female, Child,
and Adult
- DAML+OIL provides
daml:disjointWith
to indicate that 2 classes are disjoint