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. 
DOI: 10.1109/TIME.2008.14



Citations per Year

214 Citations

Semantic Scholar estimates that this publication has 214 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Lutz2008TemporalDL, title={Temporal Description Logics: A Survey}, author={Carsten Lutz and Frank Wolter and Michael Zakharyaschev}, journal={2008 15th International Symposium on Temporal Representation and Reasoning}, year={2008}, pages={3-14} }