Class Expressions
- in additional to defining classes directly associated with instances,
we can define classes in terms of other classes and properties
- logical combinations of classes (OR, AND, NOT)
daml:hasValue
daml:hasClass
- class expressions are generally now implemented only in
reasoners,
but are expected to be used extensively with
query and rules in the future