Next: ALCQ and ALCQO
Up: Reasoning with Nominals
Previous: Expressing Cardinality Restrictions Using
We will now use Theorem 4.5 to obtain new complexity
results both for DLs with cardinality restrictions and with nominals.
Stephan Tobies
May 02 2000