1. Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: DL-Lite with temporalised concepts, rigid axioms and roles. In: 7th International Symposium on Frontiers of Combining Systems, FroCoS 2009, Trento, Italy, 16–18 September 2009, Proceedings, pp. 133–148 (2009)
2. Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30–55 (2011)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope. In: Kaelbling, L., Saffiotti, A. (eds.) Proceedings of IJCAI 2005, pp. 364–369, Edinburgh, Scotland, UK, August 2005
4. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope. In: LTCS-Report LTCS-05-01. Institute for Theoretical Computer Science, TU Dresden (2005)
5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2007)