Return to Article Details The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics Download Download PDF