1. Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log. 14(2), 1–43 (2013)
2. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The $$DL$$-$$Lite$$ family and relations. J. Artif. Intell. Res. (JAIR) 36, 1–69 (2009)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 3rd edn. Cambridge University Press (2010)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal EL$$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Procs. of IJCAI, pp. 364–369. Professional Book Center (2005)
5. Calvanese, D., de Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The $$DL$$-$$Lite$$ family. Journal of Automated Reasoning 39(3), 385–429 (2007)