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. Lecture Notes in Computer Science;P. Baumgartner,2007
3. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Procs. KR 2008. AAAI Press, Menlo Park (2008)
4. Blasch, E., Kadar, I., Salerno, J., Kokar, M.M., Das, S., Powell, G.M., Corkill, D.D., Ruspini, E.H.: Issues and challenges in situation assessment (level 2 fusion). Journal of Advances in Information Fusion 1(2), 122–139 (2006)
5. Lecture Notes in Computer Science;A. Bauer,2006