An ontology must specify axiomatic
relationships among classes.
Virtually all ontologies in the DAML
library are “thin”: they specify no
more than subclass relationships and
simple cardinality restrictions.