Class Expressions
- we can define classes in terms of other classes and properties,
e.g. a Genius is a Person with an iq >= 140
- this can work in both directions,
e.g. if #einstein is a Genius,
we can conclude that he is a also a Person
- DAML+OIL provides
daml:intersectionOf,
daml:unionOf,
and
daml:complementOf
operators in class expressions