Tableaux for temporal description logic with constant domains

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2083 LNAI, Issue , 2001, Pages 121-136

  Lutz, Carsten ^a   Sturm, Holger ^b   Wolter, Frank ^c   Zakharyaschev, Michael ^d  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF KONSTANZ   (Germany)

^c UNIVERSITY OF LEIPZIG   (Germany)

^d KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DATA DESCRIPTION; FORMAL LANGUAGES; TEMPORAL LOGIC; COMPUTATION THEORY; COMPUTER CIRCUITS; FORMAL LOGIC; RECONFIGURABLE HARDWARE; SEMANTICS;

DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; FIRST-ORDER TEMPORAL LOGIC; INFINITE DOMAINS; SATISFIABILITY-CHECKING ALGORITHMS; SOUND AND COMPLETE; TABLEAU SYSTEMS; TEMPORAL OPERATORS;

COMPUTER CIRCUITS; DATA DESCRIPTION;

EID: 84867760693     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_10     Document Type: Conference Paper

References (20)

1. A. Artale and E. Franconi. Temporal description logics. In L. Vila et al. eds., Handbook of Time and Temporal Reasoning in AI. MIT Press, 2001. (To appear.)
2. A. Artale and E. Franconi. Temporal ER modeling with description logics. In Proceedings of ER'99, 1999. Springer-Verlag.
3. A. Artale, E. Franconi, M. Mosurovic, F. Wolter, and M. Zakharyaschev. Temporal description logics for conceptual modelling: expressivity and complexity. Submitted, 2001.
4. F. Baader and A. Laux. Terminological logics with modal operators. In Proceedings of IJCAI'95, pp. 808-814, 1995. Morgan Kaufmann.
5. F. Baader and U. Sattler. Tableau algorithms for description logics. In R. Dyckhoff, ed., Proceedings of Tableaux 2000, vol. 1847 of LNAI, pp. 1-18, Springer, 2000.
6. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
7. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2001. (To appear.)
8. I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106:85-134, 2000.
9. I. Horrocks and P. F. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, 1999.
10. C. Lutz. Interval-based temporal reasoning with general TBoxes. In Proceedings of IJCAI'01, Morgan-Kaufmann, 2001.
11. C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev. A tableau decision algorithm for modalized ALC with constant domains. Submitted, 2000.
12. C. Lutz, H. Sturm, F. Wolter, and M. Zakharyaschev. A tableau calculus for temporal description logic: The constant domain case. See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.
13. M. Marx, Sz. Mikulas, and S. Schlobach. Tableau calculus for local cubic modal logic and its implementation. Journal of the IGPL, 7:755-778, 1999.
14. K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on AI, pp. 105-120, Porto, 1993.
15. A. Schmiedel. A temporal terminological logic. In Proceedings AAAI'90, pp. 640-645, 1990.
16. H. Sturm and F. Wolter. A tableau calculus for temporal description logic: The expanding domain case. Journal of Logic and Computation, 2001. (In print.)
17. P. Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 28:119-152, 1985.
18. F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In A. Cohn, et al. eds., KR'98, pp. 512-523, 1998.
19. F. Wolter and M. Zakharyaschev. Multi-dimensional description logics. In D. Thomas, ed., Proceedings of IJCAI'99, pp. 104-109, 1999.
20. F. Wolter and M. Zakharyaschev. Temporalizing description logic. In D. Gabbay and M. de Rijke, eds., Frontiers of Combining Systems 2, pp. 379-402. Studies Press/Wiley, 2000.