Title :
Temporal Description Logics: A Survey
Author :
Lutz, Carsten ; Wolter, Frank ; Zakharyashev, M.
Author_Institution :
Inst. of Theor. Comput. Sci., Tech. Univ. Dresden, Dresden
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.
Keywords :
computability; computational complexity; temporal logic; CTL; LTL; computational complexity; decidability; satisfiability problem; temporal description logics; temporal logics; Automatic logic units; Computational complexity; Computer science; Databases; Educational institutions; Information systems; Knowledge representation; OWL; Ontologies; Standardization; complexity; description logic; temporal logic;
Conference_Titel :
Temporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on
Conference_Location :
Montreal, QC
Print_ISBN :
978-0-7695-3181-6
DOI :
10.1109/TIME.2008.14
