1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Kazakov, Y.: $\mathcal{RIQ}$ and $\mathcal{SROIQ}$ are harder than $\mathcal{SHOIQ}$ . In: Proc. of the 11th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2008). AAAI Press/The MIT Press (2008)
3. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic $\mathcal{SHIQ}$ . J. of Artificial Intelligence Research 31, 151–198 (2008)
4. Lange, M., Lutz, C.: 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection. J. of Symbolic Logic 70(5), 1072–1086 (2005)
5. Glimm, B., Kazakov, Y.: Role conjunctions in expressive description logics. Technical report, University of Oxford (2008), http://www.comlab.oxford.ac.uk//files/361/RoleConjunctions.pdf