Interval-based temporal reasoning with general TBoxes

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2001, Pages 89-94

  Lutz, Carsten ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETE DOMAINS; DECISION PROCEDURE; DESCRIPTION LOGIC; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; DATA DESCRIPTION;

CONCRETES;

EID: 84880909156     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 1983.
2. A. Artale and E. Franconi. A temporal description logic for reasoning about actions and plans. Journal of Artificial Intelligence Research (JAIR), (9), 1998.
3. A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proc. of ER'99, Paris, France, 1999. Springer-Verlag.
4. A. Artale and E. Franconi. Temporal description logics. In Handbook of Time and Temporal Reasoning in Artificial Intelligence. MIT Press, To appear.
5. F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proc. of IJCAI-91, pages 452-457, Sydney, Australia, 1991. Morgan Kaufmann Publ. Inc.
6. D. Calvanese, M, Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In Logics for Databases and Information Systems, pages 229-263. Kluwer Academic Publisher, 1998.
7. C. Lutz, V. Haarslev, and R. Möller. A concept language with role-forming predicate restrictions. Technical Report FBI-HH-M-276/97, University of Hamburg, Computer Science Department, Hamburg, 1997.
8. C. Lutz Interval-based Temporal Reasoning with General TBoxes. LTCS-Report LTCS-00-06, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 2000. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
9. C. Lutz. NExpTime-complete description logics with concrete domains. In Proc. of IJCAR 2001, LNCS, Siena, Italy, 2001. Springer-Verlag.
10. B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235-249, 1990. (Pubitemid 20697329)
11. U. Sattler. Terminological knowledge representation systems in a process engineering application. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen, 1998.
12. K. D. Schild. A correspondence theory for terminological logics. In Proc. of IJCAI-91, pages 466-471, Sidney, Australia, 1991. Morgan Kaufmann Publ. Inc.
13. M. Y. Vardi and P. Wolper. Automatatheoretic techniques for modal logic of programs. Journal of Computer and System Sciences, 32:183-221, 1986. (Pubitemid 16586688)
14. M. Vilain. A system for reasoning about time. In Proceedings of the Second AAAI, pages 197-201, Pittsburgh, Pennsylvania, 1982.