DAML+OIL Language Features

local restrictions: Class/property pair
XML Schema data types
cardinality constraints
class expressions: boolean combinations, etc.
ordered, closed collections
mapping: equivalentTo, sameClassAs, samePropertyAs, sameIndividualAs
...