1. Antoniou, G., van Harmelen, F.: A Semantic Web Primer, 2 edn. The MIT Press (2004)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), pp. 361–366 (2007)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the $\mathcal{EL}$ envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 364–369 (2005)
4. Baader, F., Calvanese, D., D.McGuinness, Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003)
5. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI-05), pp. 602–607 (2005)