Next:
Class definitions
Up:
A Denotational Semantics for
Previous:
OIL semantics
OIL-Lite
Subsections
Class definitions
Class expressions
Concrete type expressions
Slot constraints
Axioms
The mapping function
Slot definitions
Ian Horrocks 2000-09-10