1. Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS’98), pp. 149–158 (1998)
2. Lecture Notes in Computer Science;I. Horrocks,2002
3. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR’06). AAAI Press, Menlo Park (2006)
4. Ortiz, M., Calvanese, D., Eiter, T.: Data complexity of answering unions of conjunctive queries in
$\mathcal{SHIQ}$
. In: Parsia, B., Sattler, U., Toman, D. (eds.) Proceedings of the International Workshop on Description Logics (DL’06). CEUR-WS, vol. 189. CEUR (2006)
5. Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic
$\mathcal{SHIQ}$
. J. Artif. Int. Res. 31(1), 157–204 (2008)