1. Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. Journal of Symbolic Logic 49, 231–233 (1984)
2. Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Annals of Mathematics and Artificial Intelligence 30, 171–210 (2000)
3. Lecture Notes in Computer Science;F. Baader,2009
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: Theory, implementation and applications. Cambridge University Press, Cambridge (2003)
5. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 684–694. AAAI Press, Menlo Park (2008)