Temporalising tractable description logics

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2007, Pages 11-22

  Artale, A ^a   Kontchakov, R ^b   Lutz, C ^c   Wolter, F ^d   Zakharyaschev, M ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF LONDON   (United Kingdom)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^d UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTABILITY AND DECIDABILITY; ELECTROLUMINESCENCE; FUZZY LOGIC; TEMPORAL LOGIC;

BINARY RELATIONS; DESCRIPTION LOGIC (DL); DESCRIPTION LOGICS (DL); FIRST ORDERS; INTERNATIONAL SYMPOSIUM; TEMPORAL EXTENSIONS; TEMPORAL LANGUAGES; UNDECIDABILITY;

DATA DESCRIPTION;

EID: 47349131613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2007.62     Document Type: Conference Paper

References (19)

1. A. Artale. Reasoning on temporal conceptual schemas with dynamic constraints. In Proc. of TIME 2004, pages 79-86. IEEE Computer Society, 2004.
2. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. DL-Lite in the light of first-order logic. 2007. Proc. of AAAI.
3. A. Artale, C.Parent, and S. Spaccapietra. Modeling the evolution of objects in temporal information systems. In Proc. of FoIKS-06, volume 3861 of LNCS, pages 22-42. Springer, 2006.
4. A. Artale and E. Franconi. Temporal description logics. In M. Fisher, D. Gabbay, and L. Vila, editors, Handbook of Time and Temporal Reasoning in Artificial Intelligence, pages 375-388. 2005.
5. F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proc. of IJCAI 2005, pages 364-369, 2005.
6. F. Baader, R. Küsters, and F. Wolter. Extensions to description logics. In Description Logic Handbook, pages 219-261. Cambridge University Press, 2003.
7. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is tractable reasoning in extensions of the description logic EL useful in practice? In Proc. of the Methods for Modalities Workshop (M4M 2005), 2005.
8. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL - a polynomial-time reasoner for life science ontologies. In Proc. of IJCAR'06, volume 4130 of LNAI, pages 287-291. Springer, 2006.
9. P. Balbiani and J.-F. Condotta. Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. In Proc. of FroCoS 2002, volume 2309 of LNCS, pages 162-176. Springer, 2002.
10. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proc. of AAAI 2005, pages 602-607, 2005.
11. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Data complexity of query answering in description logics. In Proc. of KR 2006, pages 260-270, 2006.
12. A. Degtyarev, M. Fisher, and B. Konev. Monodic temporal resolution. ACM Transactions in Computational Logic, 7:108-150, 2006.
13. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1. Oxford University Press, 1994.
14. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
15. D. Gabelaia, R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev. Combining spatial and temporal logics: expressiveness vs. complexity. JAIR, 23:167-243, 2005.
16. I. Hodkinson, R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev. On the computational complexity of decidable fragments of first-order linear temporal logics. In M. Reynolds and A. Sattar, editors, Proc. of TIME-ICTL 2003, pages 91-98. IEEE Computer Society, 2003.
17. I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85-134, 2000.
18. C. S. Jensen, J. Clifford, R. Elmasri, S. K. Gadia, P. Hayes, and S. Jajodia. The consensus glossary of temporal database concepts. SIGMOD Record, 23(1):52-64, 1994.
19. P. van Emde Boas. The convenience of tilings. In A. Sorbi, editor, Complexity, Logic and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pages 331-363. Marcel Dekker Inc., 1997.