Temporal Description Logics: A Survey

Abstract

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

Topics

Statistics

0204020082009201020112012201320142015201620172018
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} }