TY  - RPRT
TI  - The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
AU  - S. Tobies
PY  - 2011
DO  - 10.1613/jair.705
UR  - https://arxiv.org/abs/1106.0239
ID  - 1106.0239
ER  -