1. 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 (2003)
2. Bozzato, L., Ferrari, M., Villa, P.: Actions over a constructive semantics for description logics. Fundam. Inform. 96, 1–17 (2009)
3. Brachman, R.J., Mcguinness, D.L., Patel-Schneider, P.F., Resnick, L.A., Borgida, A.: Living with CLASSIC: When and How to Use a KL-ONE-like Language (1991)
4. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)
5. de Paiva, V.: Constructive description logics: what, why and how. Technical report, Xerox Parc (2003)