1. Artale, A., Kontchakov, R., Wolter, F., Zakharyaschev, M.: Temporal description logic for ontology-based data access. In: Proceedings of IJCAI 2013, pp. 711–717 (2013)
2. Baader, F.: Ontology-based monitoring of dynamic systems. In: Proceedings of KR 2014, pp. 678–681 (2014)
3. Baader, F., Borgwardt, S., Lippmann, M.: Temporal conjunctive queries in expressive DLs with non-simple roles. LTCS-Report 15–17, Chair of Automata Theory, TU Dresden (2015).
http://lat.inf.tu-dresden.de/research/reports.html
4. Baader, F., Borgwardt, S., Lippmann, M.: Temporal query entailment in the description logic
$${\cal {SHQ}}$$
. J. Web Semant. 33, 71–93 (2015)
5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)