LTL over description logic axioms

ACM Transactions on Computational Logic

Volumn 13, Issue 3, 2012, Pages

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

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF BREMEN   (Germany)

Author keywords

Complexity; Description logics; Knowledge representation; Temporal Extensions

Indexed keywords

COMPLEXITY; CONCEPTUAL MODEL; DESCRIPTION LOGIC; TEMPORAL ASPECTS; TEMPORAL EVOLUTION; TEMPORAL EXTENSIONS; TEMPORAL OPERATORS;

FORMAL LANGUAGES; KNOWLEDGE REPRESENTATION;

DATA DESCRIPTION;

EID: 84865969115     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/2287718.2287721     Document Type: Article

References (28)

1. ARTALE, A. AND FRANCONI, E. 1998. A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Resear. 9, 463-506. (Pubitemid 128636210)
2. ARTALE, A. AND FRANCONI, E. 2000. A survey of temporal extensions of description logics. Ann. Math. Artif. Intell. 30, 171-210. (Pubitemid 33282723)
3. ARTALE, A. AND FRANCONI, E. 2001. Temporal description logics. In Handbook of Time and Temporal Reasoning in Artificial Intelligence, D. Gabbay, M. Fisher, and L. Vila, Eds., 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 Proceedings of the 8th EuropeanWorkshop on Logics in Artificial Intelligence (JELIA '02). Lecture Notes in Computer Science, vol. 2424. Springer, 98-110.
5. ARTALE, A., KONTCHAKOV, R., LUTZ, C., WOLTER, F., AND ZAKHARYASCHEV, M. 2007a. Temporalising tractable description logics. In Proceedings of the 14th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press.
6. ARTALE, A., KONTCHAKOV, R., RYZHIKOV, V., AND ZAKHARYASCHEV, M. 2009. Extending DL-Lite sometime in the future. In Proceedings of the International Workshop on Description Logics (DL '09), B. C. Grau, I. Horrocks, B. Motik, and U. Sattler, Eds., CEUR ElectronicWorkshop Proceedings, http://ceur-ws.org/Vol- 477/.
7. ARTALE, A., LUTZ, C., AND TOMAN, D. 2007b. A description logic of change. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI '07). 218-223.
8. BAADER, F., BAUER, A., AND LIPPMANN, M. 2009. Runtime verification using a temporal description logic. In Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS '09), S. Ghilardi and R. Sebastiani, Eds., Lecture Notes in Computer Science, vol. 5749, Springer, 149-164.
9. 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.
10. BAADER, F., GHILARDI, S., AND LUTZ, C. 2008. LTL over description logic axioms. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR '08), G. Brewka and J. Lang, Eds., Morgan Kaufmann, Los Altos, 684-694.
11. BLACKBURN, P., DE RIJKE, M., AND VENEMA, Y. 2001. Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press.
12. BÖRGER, E.,GRÄDEL, E., AND GUREVICH, Y. 1997. The Classical Decision Problem. Perspectives inMathematical Logic. Springer-Verlag.
13. CHANDRA, A. K., KOZEN, D. C., AND STOCKMEYER, L. J. 1981. Alternation. J. ACM 28, 1, 114-133.
14. FINGER, M. AND GABBAY, D. 1992. Adding a temporal dimension to a logic system. J. Logic Lang. Inf. 2, 203-233.
15. GABBAY, D., KURUSZ, A., WOLTER, F., AND ZAKHARYASCHEV, M. 2003. Many-Dimensional Modal Logics: Theory and Applications. Elsevier.
16. HORROCKS, I., PATEL-SCHNEIDER, P. F., AND VAN HARMELEN, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. J. Web Semantics 1, 1, 7-26. (Pubitemid 44914724)
17. LEWIS, H. R. 1978. Complexity of solvable cases of the decision problem for the predicate calculus. In Proceedings of the 19th Annual Symposium on Foundations of Computer Science. IEEE, 35-47.
18. LUTZ, C. 2001. Interval-based temporal reasoning with general TBoxes. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI '01). 89-94.
19. LUTZ, C., WOLTER, F., AND ZAKHARYASCHEV, M. 2008. Temporal description logics: A survey. In Proceedings of the 15th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society Press.
20. PNUELI, A. 1977. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on the Foundations of Computer Science (FOCS '77). 46-57.
21. SCHILD, K. 1991. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the 12th International Joint Conference on Arti cial Intelligence (IJCAI '91). 466-471.
22. SCHILD, K. 1993. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence (EPIA '93). Lecture Notes in Computer Science, vol. 727. Springer, 105-120.
23. SCHMIDT-SCHAUSS, M. AND SMOLKA, G. 1991. Attributive concept descriptions with complements. Artif. Intell. 48, 1, 1-26.
24. SCHMIEDEL, A. 1990. A temporal terminological logic. In Proceedings of the 8th National Conference on Artificial Intelligence (AAAI '90). 640-645.
25. SCHULZ, S.,MARKÓ, K., AND SUNTISRIVARAPORN, B. 2006. Complex occurrents in clinical terminologies and their representation in a formal language. In Proceedings of the 1st European Conference on SNOMED CT (SMCS '06).
26. TOBIES, S. 1999. A NEXPTIME-complete description logic strictly contained in C2. In Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL '99), J. Flum and M. Rodríguez-Artalejo, Eds., Lecture Notes in Computer Science, vol. 1683, Springer, 292-306.
27. WOLPER, P., VARDI, M. Y., AND SISTLA, A. P. 1983. Reasoning about in nite computation paths. In Proceedings of the 24th Annual Symposium on the Foundations of Computer Science (FOCS '83). IEEE Computer Society Press, 185-194.
28. WOLTER, F. AND ZAKHARYASCHEV, M. 1999. Temporalizing description logics. In Proceedings of the 2nd International Workshop on Frontiers of Combining Systems (FroCoS '98), M. de Rijke and D. Gabbay, Eds., Wiley.