Combining interval-based temporal reasoning with general TBoxes

Artificial Intelligence

Volumn 152, Issue 2, 2004, Pages 235-274

  Lutz, Carsten ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Complexity; Description logic; Temporal reasoning; Tree automata

Indexed keywords

AUTOMATA THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS; TREES (MATHEMATICS);

DESCRIPTION LOGIC; TEMPORAL REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0347354973     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2003.08.001     Document Type: Article

References (41)

1. Allen J. Maintaining knowledge about temporal intervals. Comm. ACM. 26:(11):1983.
2. A. Artale, E. Franconi, Temporal description logics, in: D. Gabbay, M. Fisher, L. Vila (Eds.), Handbook of Time and Temporal Reasoning in Artificial Intelligence, MIT Press, Cambridge, MA, in press.
3. Artale A., Franconi E. A temporal description logic for reasoning about actions and plans. J. Artificial Intelligence Res. 9:1998;463-506.
4. Artale A., Lutz C. A correspondence between temporal description logics. Lambrix P., Borgida A., Lenzerini M., Möller R., Patel-Schneider P. Proceedings of the International Workshop on Description Logics (DL'99). CEUR-WS. Vol. 22:1999;145-149. ( http://ceur-ws.org/ ).
5. Baader F., Hanschke P. A scheme for integrating concrete domains into concept languages. Proceedings of IJCAI-91, Sydney, Australia. 1991;452-457.
6. Baader F., McGuiness D.L., Nardi D., Patel-Schneider P. The Description Logic Handbook: Theory, Implementation and Applications. 2003;Cambridge University Press, Cambridge.
7. Bennett B. Modal logics for qualitative spatial reasoning. J. Interest Group Pure Appl. Logic. 4:(1):1997.
8. Bettini C. Time-dependent concepts: Representation and reasoning using temporal description logics. Data Knowledge Engrg. 22:1997;1-38.
9. Calvanese D. Reasoning with inclusion axioms in description logics: Algorithms and complexity. Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), Budapest, Hungary. 1996;303-307.
10. Donini F.M., Lenzerini M., Nardi D., Schaerf A. Deduction in concept languages: From subsumption to instance checking. J. Logic Comput. 4:(4):1994;423-452.
11. D. Gabbay, M. Fisher, L. Vila (Eds.), Handbook of Time and Temporal Reasoning in Artificial Intelligence, MIT Press, Cambridge, MA, in press.
12. Gabbay D.M., Hodkinson I.M., Reynolds M.A. Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1. 1994;Oxford University Press, Oxford. Logic Guides 28.
13. Giacomo G.D., Lenzerini M. Boosting the correspondence between description logics and propositional dynamic logics. Proceedings of AAAI-94, Seattle, WA, Vol. 1. 1994;205-212 AAAI Press.
14. Haarslev V., Möller R. RACER system description. Goré R., Leitsch A., Nipkow T. Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR-01). Lecture Notes in Artificial Intelligence. Vol. 2083:2001;701-705 Springer, Berlin.
15. Halpern J.Y., Shoham Y. A propositional modal logic of time intervals. J. ACM. 38:(4):1991;935-962.
16. Hollunder B. Consistency checking reduced to satisfiability of concepts in terminological systems. Ann. Math. Artificial Intelligence. 18:1996;133-157.
17. Hollunder B., Baader F. Qualifying number restrictions in concept languages. Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Boston, MA. 1991;335-346.
18. Horrocks I. Using an expressive description logic: Fact or fiction? Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;636-647.
19. Lutz C. Complexity of terminological reasoning revisited. Ganzinger H., McAllester D., Voronkov A. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99). Lecture Notes in Artificial Intelligence. Vol. 1705:1999;181-200 Springer, Berlin.
20. Lutz C. Interval-based temporal reasoning with general TBoxes. Nebel B. Proceedings of IJCAI-01, Seattle, WA. 2001;89-94 Morgan Kaufmann, San Mateo, CA.
21. Lutz C. Adding numbers to the script S signℋℐscript Q Sign description logic - First results. Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France. 2002;191-202 Morgan Kaufman, San Mateo, CA.
22. C. Lutz, The complexity of reasoning with concrete domains, PhD Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2002.
23. Lutz C. PSpace reasoning with the description logic script A Signscript L Signscript C Signscript F Sign(script D Sign). Logic J. IGPL. 10:(5):2002;535-568.
24. Lutz C. Reasoning about entity relationship diagrams with complex attribute dependencies. Proceedings of the International Workshop in Description Logics 2002 (DL2 002). CEUR-WS. Vol. 53:2002;185-194. ( http://ceur-ws.org/ ).
25. Lutz C. Description logics with concrete domains - A survey. Advances in Modal Logics, Vol. 4. 2003;World Scientific, Singapore.
26. Lutz C. NExpTime-complete description logics with concrete domains. ACM Trans. Comput. Logic. 2003;. submitted for publication.
27. Lutz C., Sturm H., Wolter F., Zakharyaschev M. Tableaux for temporal description logic with constant domain. Goré R., Leitsch A., Nipkow T. Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR'01). Lecture Notes in Artificial Intelligence. Vol. 2083:2001;121-136 Springer, Berlin.
28. R. Molitor, Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken, PhD Thesis, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000.
29. Nebel B., Bürckert H.-J. Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra. J. ACM. 42:(1):1995;43-66.
30. Randell D.A., Cui Z., Cohn A.G. A spatial logic based on regions and connection. Nebel B., Rich C., Swartout W. Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA. 1992;165-176 Morgan Kaufman, San Mateo, CA.
31. U. Sattler, Terminological knowledge representation systems in a process engineering application, PhD Thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
32. Schild K.D. A correspondence theory for terminological logics: Preliminary report. Mylopoulos J., Reiter R. Proceedings of IJCAI-91, Sydney, Australia. 1991;466-471 Morgan Kaufmann, San Mateo, CA.
33. Schild K.D. Combining terminological logics with tense logic. Filgueiras M., Damas L. Progress in Artificial Intelligence - 6th Portuguese Conference on Artificial Intelligence, EPIA-93. Lecture Notes in Artificial Intelligence. Vol. 727:1993;105-120 Springer, Berlin.
34. Schmidt-Schauß M., Smolka G. Attributive concept descriptions with complements. Artificial Intelligence. 48:(1):1991;1-26.
35. Schmiedel A. Temporal terminological logic. Dietterich W., Swartout T. Proceedings of AAAI-90, Boston, MA. 1990;640-645 MIT Press, Cambridge, MA.
36. Sturm H., Wolter F. A tableau calculus for temporal description logic: The expanding domain case. J. Logic Comput. 2001.
37. Szpilrajn E. Sur l'extension de l'ordre partiel. Fundamenta Math. 16:1930;386-389.
38. van Beek P., Manchak D.W. The design and experimental analysis of algorithms for temporal reasoning. J. Artificial Intelligence Res. 4:1996;1-18.
39. Vardi M.Y., Wolper P. Automata-theoretic techniques for modal logic of programs. J. Comput. System Sci. 32:1986;183-221.
40. Vilain M., Kautz H., Van Beek P. Constraint propagation algorithms for temporal reasoning: A revised report. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;373-381 Morgan Kaufmann, San Mateo, CA.
41. Wolter F., Zakharyaschev M. Temporalizing description logic. Gabbay D., de Rijke M. Frontiers of Combining Systems. 1999;379-402 Studies Press/Wiley.