LTL over description logic axioms

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 684-694

  Baader, Franz ^a   Ghilardi, Silvio ^b   Lutz, Carsten ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

CONCEPT DESCRIPTION; DESCRIPTION LOGIC; LINEAR TEMPORAL LOGIC; TEMPORAL OPERATORS;

TEMPORAL LOGIC;

EID: 84860527360     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Artale, A., and Franconi, E. 1998. A temporal description logic for reasoning about actions and plans. JAIR 9.
2. Artale, A., and Franconi, E. 2000. A survey of temporal extensions of description logics. AMAI 30.
3. Artale, A., and Franconi, E. 2001. Temporal description logics. In Handbook of Time and Temporal Reasoning in AI. The MIT Press.
4. Artale, A.; Franconi, E.; Wolter, F.; and Zakharyaschev, M. 2002. A temporal description logic for reasoning over conceptual schemas and queries. In Proc. JELIA'2002, Springer LNCS 2424.
5. Artale, A.; Kontchakov, R.; Lutz, C.; Wolter, F.; and Zakharyaschev, M. 2007. Temporalising tractable description logics. In Proc. TIME'07, IEEE Press.
6. Artale, A.; Lutz, C.; and Toman, D. 2007. A description logic of change. In Proc. IJCAI'07, AAAI Press.
7. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
8. Baader, F.; Ghilardi, S.; and Lutz, C. 2008. LTL over description logic axioms. LTCS-Report 08-01, TU Dresden, Germany.
9. See http://lat.inf.tu-dresden.de/research/reports.html.
10. Blackburn, P.; de Rijke, M.; and Venema, Y. 2001. Modal Logic. Cambridge University Press.
11. B̈orger, E.; Gr̈adel, E.; and Gurevich, Y. 1997. The Classical Decision Problem. Springer-Verlag.
12. Chandra, A.; Kozen, D.; and Stockmeyer, L. 1981. Alternation. JACM 28.
13. Finger, M., and Gabbay, D. 1992. Adding a temporal dimension to a logic system. JoLLI 2.
14. Gabbay, D.; Kurusz, A.; Wolter, F.; and Zakharyaschev, M. 2003. Many-dimensional Modal Logics: Theory and Applications. Elsevier.
15. Lutz, C.; Wolter, F.; and Zakharyaschev, M. 2008. Temporal description logics: A survey. In Proc. TIME'08, IEEE Press.
16. Lutz, C. 2001. Interval-based temporal reasoning with general TBoxes. In Proc. IJCAI'01, AAAI Press.
17. Pnueli, A. 1977. The temporal logic of programs. In Proc. FOCS'77.
18. Schild, K. 1993. Combining terminological logics with tense logic. In Proc. EPIA'93, Springer LNCS 727.
19. Schmidt-Schauß, M., and Smolka, G. 1991. Attributive concept descriptions with complements. AIJ 48.
20. Schmiedel, A. 1990. A temporal terminological logic. In Proc. AAAI'90, AAAI Press.
21. Schulz, S.; Marḱo, K.; and Suntisrivaraporn, B. 2006. Complex occurrents in clinical terminologies and their representation in a formal language. In Proc. 1st European Conference on SNOMED CT (SMCS'06).
22. Tobies, S. 1999. A NEXPTIME-complete description logic strictly contained in C2. In Proc. CSL'99, Springer LNCS 1683.
23. Wolter, F., and Zakharyaschev, M. 1999. Temporalizing description logics. In Proc. FroCoS'98, Wiley.