A correspondence between temporal description logics

Journal of Applied Non-Classical Logics

Volumn 14, Issue 1-2, 2004, Pages 209-233

  Artale, Alessandro ^a   Lutz, Carsten ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Computational complexity; Description logics; Temporal logics

Indexed keywords

EID: 71049120173     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.14.209-233     Document Type: Article

References (45)

1. [All 83] Allen J., "Maintaining Knowledge About Temporal Intervals", Communications Of The Acm, Vol. 26, Num. 11, 1983.
2. [All 91] Allen J. F., Kautz H. A., Pelavin R. N., Tenenberg J. D., Eds., Reasoning About Plans, Morgan Kaufmann, 1991.
3. [All 94] Allen J. F., Ferguson G., "Actions And Events In Interval Temporal Logic", Journal Of Logic And Computation, Vol. 4, Num. 5, 1994, Special Issue On Actions And Processes.
4. [Art 94] Artale A., Franconi E., "A Computational Account For A Description Logic Of Time And Action", J.Doyle, E.Sandewall, P.Torasso, Eds., Proc. Of The 4Th International Conference On Principles Of Knowledge Representation And Reasoning- Kr94, Bonn, Germany, May 1994, Morgan Kaufmann, P. 3-14.
5. [Art 98] Artale A., Franconi E., "A Temporal Description Logic For Reasoning About Actions And Plans", Journal Of Artificial Intelligence Research (Jair), Vol. 9, 1998, P. 463- 506. (Pubitemid 128636210)
6. [Art 99A] Artale A., Franconi E., "Representing A Robotic Domain Using Temporal Description Logics", Artificial Intelligence In Engineering, Design, Analysis And Manifacturing, Vol. 13, Num. 9, 1999, P. 105-117, Cambridge University Press.
7. [Art 99B] Artale A., Franconi E., "Temporal Er Modeling With Description Logics", Proceedings Of The International Conference On Conceptual Modeling (Er'99), Vol. 1728 Of Lecture Notes In Computer Science, Springer-Verlag, 1999.
8. [Art 01] Artale A., Franconi E., "A Survey Of Temporal Extensions Of Description Logics", Annals On Mathematics And Artificial Intelligence (Amai), Vol. 30, Num. 1-4, 2001, P. 171-210, Kluwer Academic Publishers.
9. [Art 02] Artale A., Franconi E., Wolter F., Zakharyaschev M., "A Temporal Description Logic For Reasoning About Conceptual Schemas And Queries", Flesca S., Greco S., Leone N., Ianni G., Eds., Proceedings Of The 8Th Joint European Conference On Logics In Artificial Intelligence (Jelia-02), Vol. 2424 Of Lnai, Springer, 2002, P. 98-110.
10. [Art 03] Artale A., Franconi E., Mandreoli F., "Description Logics For Modeling Of Dynamic Information", Chomicki J., Van Der Meyden R., Saake G., Eds., Logics For Emerging Applications Of Databases, Page 368, Springer-Verlag, 2003.
11. [Baa 00] Baader F., Sattler U., "Tableau Algorithms For Description Logics", Dyckhoff R., Ed., Proceedings Of The International Conference On Automated Reasoning With Tableaux And Related Methods (Tableaux 2000), Vol. 1847 Of Lecture Notes In Artificial Intelligence, Springer-Verlag, 2000, P. 1-18.
12. [Baa 03A] Baader F., Kü;Sters R., Wolter F., "Extensions To Description Logics", Baader F., Mcguiness D. L., Nardi D., Patel-Schneider P., Eds., The Description Logic Handbook: Theory, Implementation And Applications, Cambridge Univ. Press, 2003.
13. [Baa 03B] Baader F., Mcguiness D. L., Nardi D., Patel-Schneider P., Eds., The Description Logic Handbook: Theory, Implementation And Applications, Cambridge University Press, 2003.
14. [Ben 95] Van Benthem J., "Temporal Logic", Gabbay D., Hogger C., Robinson J., Eds., Handbook Of Logic In Artificial Intelligence And Logic Programming, Volume 4, P. 241-350, Oxford Science Publishers, 1995.
15. [Bet 97] Bettini C., "Time-Dependent Concepts: Representation And Reasoning Using Temporal Description Logics", Data & Knowledge Engineering, Vol. 22, 1997, P. 1-38. (Pubitemid 127387748)
16. [Cho 98] Chomicki J., Saake G., Eds., Logics For Databases And Information Systems, Kluwer Academic Publisher, 1998.
17. [Cho 03] Chomicki J., Van Der Meyden R., Saake G., Eds., Logic For Emerging Application Of Databases, Springer-Verlag, 2003.
18. [Eme 90] Emerson A., "Temporal And Modal Logic", Van Leeuwen J., Ed., Handbook Of Theoretical Computer Science, Vol. B, P. 995-1072, Elsevier, 1990.
19. [Gab 94] Gabbay D. M., Hodkinson I. M., Reynolds M. A., Eds., Temporal Logic: Mathematical Foundations And Computational Aspects, Volume 1, Oxford University Press, Logic Guides 28, 1994.
20. [Gab 03] Gabbay D. M., Kurucz A., Wolter F., Zakharyaschev M., Many- Dimensional Modal Logics: Theory And Applications, Num. 148 Studies In Logic And The Foundations Of Mathematics, Elsevier, 2003.
21. [Gab Ar] Gabbay D., Fisher M., Vila L., Eds., Handbook Of Time And Temporal Reasoning In Artificial Intelligence, Elsevier, To Appear.
22. [Gor 03A] Goranko V., Montanari A., Sciavicco G., "Propositional Interval Neighborhood Temporal Logics", Journal Of Universal Computer Science, Vol. 9, Num. 9, 2003.
23. [Gor 03B] Goranko V., Montanari A., Sciavicco G., "A Road Map On Interval Temporal Logics And Duration Calculi", Goranko V., Montanari A., Eds., Proc. Of The Esslli Workshop On Interval Temporal Logics And Duration Calculi, 2003, P. 1-40.
24. [Haa 01] Haarslev V., Mö;Ller R., "Racer System Description", Goré R., Leitsch A., Nipkow T., Eds., Proceedings Of The First International Joint Conference On Automated Reasoning (Ijcar'01), Num. 2083 Lecture Notes In Artifical Intelligence, Springer- Verlag, 2001, P. 701-705.
25. [Hal 91] Halpern J. Y., Shoham Y., "A Propositional Modal Logic Of Time Intervals", Journal Of Acm, Vol. 38, Num. 4, 1991, P. 935-962.
26. [Hol 90] Hollunder B., Nutt W., "Subsumption Algorithms For Concept Languages", Dfki Research Report Num. Rr-90-04, 1990, German Research Center For Artificial Intelligence (Dfki), Kaiserslautern, Germany.
27. [Hor 00] Horrocks I., Sattler U., Tobies S., "Practical Reasoning For Very Expressive Description Logics", Logic Journal Of The Igpl, Vol. 8, Num. 3, 2000, P. 239-264.
28. [Lut 97] Lutz C., Haarslev V., Mö;Ller R., "A Concept Language With Role-Forming Predicate Restrictions", Technical Report Num. Fbi-Hh-M-276/97, 1997, University Of Hamburg, Computer Science Department, Hamburg.
29. [Lut 99] Lutz C., "Complexity Of Terminological Reasoning Revisited", Ganzinger H., Mcallester D., Voronkov A., Eds., Proceedings Of The 6Th International Conference On Logic For Programming And Automated Reasoning (Lpar'99), Num. 1705 Lecture Notes In Artificial Intelligence, Springer-Verlag, 1999, P. 181-200.
30. [Lut 01] Lutz C., Sturm H., Wolter F., Zakharyaschev M., "Tableaux For Temporal Description Logic With Constant Domain", Goré R., Leitsch A., Nipkow T., Eds., Proceedings Of The First International Joint Conference On Automated Reasoning (Ijcar'01), Num. 2083 Lecture Notes In Artifical Intelligence, Springer-Verlag, 2001, P. 121-136. (Pubitemid 33291419)
31. [Lut 02A] Lutz C., "Adding Numbers To The Shiq Description Logic- First Results", Proc. Of The 8Th International Conference On Principles Of Knowledge Representation And Reasoning- Kr2002, Morgan Kaufman, 2002, P. 191-202.
32. [Lut 02B] Lutz C., "The Complexity Of Reasoning With Concrete Domains", Phd Thesis, Lufg Theoretical Computer Science, Rwth Aachen, Germany, 2002.
33. [Lut 02C] Lutz C., "Pspace Reasoning With The Description Logic Alcf(D)", Logic Journal Of The Igpl, Vol. 10, Num. 5, 2002, P. 535-568.
34. [Lut 03] Lutz C., "Description Logics With Concrete Domains- A Survey", Balbiani P., Suzuki N.-Y., Wolter F., Zakharyaschev M., Eds., Advances In Modal Logics Volume 4, King's College Publications, 2003, P. 265-296.
35. [Lut Ar] Lutz C., "Combining Interval-Based Temporal Reasoning With General Tboxes", Artificial Intelligence, To Appear.
36. [Neb 95] Nebel B., Bü;Rckert H.-J., "Reasoning About Temporal Relations: A Maximal Tractable Subclass Of Allen's Interval Algebra", Journal Of The Acm, Vol. 42, 1995, P. 43- 66.
37. [Pat 99] Patel-Schneider P., "Dlp", Lambrix P., Borgida A., Lenzerini M., Mö;Ller R., Patel-Schneider P., Eds., Proceedings Of The International Workshop On Description Logics (Dl'99), Num. 22 Ceur-Ws (http://Ceur-Ws.Org/Vol-22/), 1999, P. 9- 13.
38. [Pnu 86] Pnueli A., "Application Of Temporal Logic To The Specification And Verification Of Reactive Systems: A Survey Of Current Trends", Current Trends In Concurrency, Vol. 224 Of Lecture Notes In Computer Science, P. 510-584, Springer-Verlag, 1986.
39. [Sch 90] Schmiedel A., "Temporal Terminological Logic", Dietterich, Tom; Swartout W., Ed., Proceedings Of The 8Th National Conference On Artificial Intelligence (Aaai'90), Mit Press, 1990, P. 640-645.
40. [Sch 93] Schild K. D., "Combining Terminological Logics With Tense Logic", Filgueiras M., Damas L., Eds., Progress In Artificial Intelligence- 6Th Portuguese Conference On Artificial Intelligence, Epia'93, Vol. 727 Of Lecture Notes In Artificial Intelligence, Springer-Verlag, 1993, P. 105-120.
41. [Stu 01] Sturm H., Wolter F., "A Tableau Calculus For Temporal Description Logic: The Expanding Domain Case", Journal Of Logic And Computation, Vol. 12, Num. 5, 2001.
42. [Ven 90] Venema Y., "Expressiveness And Completeness Of An Interval Tense Logic", Notre Dame Journal Of Formal Logic, Vol. 31, Num. 4, 1990, P. 529-547.
43. [Vil 90] Vilain M., Kautz H., Van Beek P., "Constraint Propagation Algorithms For Temporal Reasoning: A Revised Report", Weld D. S., De Kleer J., Eds., Readings In Qualitative Reasoning About Physical Systems, P. 373-381, Morgan Kaufmann, 1990.
44. [Wol 98] Wolter F., Zakharyaschev M., "Satisfiability Problem In Description Logics With Modal Operators", Cohn A. G., Schubert L., Shapiro S. C., Eds., Proc. Of The 6Th International Conference On Principles Of Knowledge Representation And Reasoning- Kr98, P. 512-523, Morgan Kaufmann, San Francisco, Ca, Usa, 1998.
45. [Wol 99] Wolter F., Zakharyaschev M., "Temporalizing Description Logic", Gabbay D., De Rijke M., Eds., Frontiers Of Combining Systems, P. 379-402, Studies Press/Wiley, 1999.