1. Maintaining knowledge about temporal intervals;Allen;Communications of the ACM,1983
2. A temporal description logic for reasoning about actions and plans;Artale;Journal of Artificial Intelligence Research,1998
3. F. Baader, L. Carsten, M. Maja, U. Sattler and F. Wolter, Integrating description logics and action formalisms: First results, in: Proceedings of the 20th National Conference on Artificial Intelligence, 2005, pp. 572–577.
4. Ltl over description logic axioms;Baader;ACM Transactions on Computational Logic,2008
5. F. Baader and P. Hanschke, A scheme for integrating concrete domains into concept languages, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991, pp. 452–457.