DocumentCode
1958526
Title
Temporal Description Logics: A Survey
Author
Lutz, Carsten ; Wolter, Frank ; Zakharyashev, M.
Author_Institution
Inst. of Theor. Comput. Sci., Tech. Univ. Dresden, Dresden
fYear
2008
fDate
16-18 June 2008
Firstpage
3
Lastpage
14
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on
Conference_Location
Montreal, QC
ISSN
1530-1311
Print_ISBN
978-0-7695-3181-6
Type
conf
DOI
10.1109/TIME.2008.14
Filename
4553284
Link To Document