1. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Scheider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the
$${\cal EL}$$
envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI’05), pp. 364–369. AAAI Press (2005)
3. Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularisation. In: Huet, G., Plotkin, G. (eds.) Logical Environments. Cambridge University Press, New York (1993)
4. Fara, M., Williamson, T.: Counterparts and actuality. Mind 114, 1–30 (2005)
5. Lecture Notes in Computer Science;M Fink,2008