Temporal Description Logics: A Survey

We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfiability problem and algorithms for deciding it.

• Type: Conference
• Year: 2008
• Where: TIME
• Authors: Carsten Lutz, Frank Wolter, Michael Zakharyaschev
• Keywords: Computational Complexity, Logical Reasoning, Standard Temporal Logics, Temporal Description Logics, TIME 2008