Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| dcs.kcl.ac.uk/staff/mz/ijcar.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.kcl.ac.uk/staff/mz/papers1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how to combine the standard tableau system for the basic description logic ALC with Wolper's tableau calculus for propositional temporal logic PTL in order to design a terminating sound and complete tableau-based satisfiabilitychecking algorithm for the temporal description logic PTLALC of [19] interpreted in models with constant domains. We use the method of quasimodels [16, 14] to represent models with infinite domains, and the technique of minimal types [9] to maintain these... (Update)
Context of citations to this paper: More
...combination of the modal logic K with ALC interpreted in models with constant domains. The paper is accompanied by a technical report [12] containing full proofs of all theorems. 2 Basic de nitions We begin by introducing the temporal description logic PTLALC of [20] Let...
Cited by: More
Towards an Implementation of the Temporal Description Logic.. - Günsel, Wittmann (Correct)
Tableaux for Temporal Description Logic With Constant.. - Lutz, Sturm, Wolter.. (2001) (Correct)
Similar documents (at the sentence level):
52.0%: A Tableau Calculus for Temporal Description Logics: .. - Lutz, Sturm.. (2001) (Correct)
44.3%: A Tableau Calculus for Temporal Description Logic: The.. - Lutz, Sturm, Wolter, al. (2001) (Correct)
Active bibliography (related documents): More All
1.2: A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (Correct)
0.4: A tableau decision algorithm for modalized ALC with.. - Lutz, Sturm.. (2000) (Correct)
0.2: A Temporal Description Logic for Reasoning over.. - Artale, Franconi, .. (2002) (Correct)
Similar documents based on text: More All
0.8: Axiomatizing Distance Logics - Kutz, Sturm, Suzuki, Wolter.. (Correct)
0.8: Fusions of Description Logics and Abstract Description.. - Baader, Lutz, Sturm, Wolter (2002) (Correct)
0.7: Decidable and Undecidable Fragments of First-Order.. - Hodkinson, Wolter.. (2002) (Correct)
Related documents from co-citation: More All
2: Temporal description logics - Artale, Franconi
2: Temporal ER modeling with description logics (context) - Artale, Franconi - 1999
2: The tableau method for temporal logic: An overview (context) - Wolper - 1985
BibTeX entry: (Update)
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.rwthaachen. de/Forschung/Reports.html. http://citeseer.ist.psu.edu/article/lutz01tableau.html More
@techreport{ lutz01tableau,
author = "C. Lutz and H. Sturm and F. Wolter and M. Zakharyaschev",
title = "A Tableau Calculus for Temporal Description Logic: The Constant Domain Case",
number = "LTCS-01-01",
address = "Germany",
year = "2001",
url = "citeseer.ist.psu.edu/article/lutz01tableau.html" }
Citations (may not include all citations):148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
81 The tableau method for temporal logic: An overview (context) - Wolper - 1985
55 Combining terminological logics with tense logic (context) - Schild - 1993
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2001
45 Temporalizing description logic - Wolter, Zakharyaschev - 2000
43 Decidable fragments of firstorder temporal logics - Hodkinson, Wolter et al. - 2000
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
36 A temporal terminological logic (context) - Schmiedel - 1990
33 Modal description logics: modalizing roles - Wolter, Zakharyaschev - 1999
33 Terminological logics with modal operators - Baader, Laux - 1995
31 Temporal description logics - Artale, Franconi - 2001
24 Multi-dimensional description logics - Wolter, Zakharyaschev - 1999
23 A tableau calculus for temporal description logic: The expan.. - Sturm, Wolter - 2001
12 Tableau algorithms for description logics - Baader, Sattler - 2000
11 Interval-based temporal reasoning with general tboxes - Lutz - 2000
8 Temporal description logics for conceptual modelling: expres.. (context) - Artale, Franconi et al. - 2001
6 Tableau calculus for local cubic modal logic and its impleme.. - Marx, Mikulas et al. - 1999
5 the complexity of description logics with modal operators - Mosurovic, Zakharyaschev - 1999
5 A tableau decision algorithm for modalized ALC with constant.. - Lutz, Sturm et al. - 2000
Documents on the same site (http://www.dcs.kcl.ac.uk/staff/mz/papers1.html): More
Multi-Dimensional Modal Logic as a Framework for.. - Bennett, Cohn, Wolter, .. (2000) (Correct)
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC