Carsten Lutz, Holger Sturm, Frank Wolter, et al.  Home/Search
Context Related
| lti.informatik.rwt...aLTCS0101.ps.gz dcs.kcl.ac.uk/staff/mz/ltcs0101.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: lti.informatik.rwthaac...Reports (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 and Wolper's tableau calculus for propositional temporal logic PTL (with the temporal operators `next-time' and `until') in order to design a terminating sound and complete tableau-based satis ability-checking algorithm for the temporal description logic PTLALC of [19] interpreted in models with constant domains. We use the method of quasimodels [17, 15] to represent models with in nite domains, and the ... (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):
44.9%: A Tableau Calculus for Temporal Description Logic.. - Lutz, Sturm.. (2001) (Correct)
Active bibliography (related documents): More All
1.1: A Tableau Calculus for Temporal Description Logics: .. - Lutz, Sturm.. (2001) (Correct)
0.3: Monodic fragments of first-order temporal logics.. - Hodkinson, Wolter.. (Correct)
0.3: A tableau decision algorithm for modalized ALC with.. - Lutz, Sturm.. (2000) (Correct)
Similar documents based on text: More All
0.9: Fusions of Description Logics and Abstract Description.. - Baader, Lutz, Sturm, Wolter (2002) (Correct)
0.7: Axiomatizing Distance Logics - Kutz, Sturm, Suzuki, Wolter.. (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/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/lutz01tableau.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
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
38 Optimising description logic subsumption - Horrocks, Patel-Schneider - 1999
36 A temporal terminological logic (context) - Schmiedel - 1990
35 Temporal ER modeling with description logics (context) - Artale, Franconi - 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 Decidable fragments of rstorder temporal logics (context) - Hodkinson, Wolter et al. - 2000
12 Tableau algorithms for description logics - Baader, Sattler - 2000
11 Interval-based temporal reasoning with general TBoxes - Lutz - 2001
8 Satisability problem in description logics with modal operat.. (context) - Wolter, Zakharyaschev - 1998
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 A tableau decision algorithm for modalized ALC with constant.. - Lutz, Sturm et al. - 2000
Documents on the same site (http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html): More
Computing Least Common Subsumer in Description Logics.. - Baader, Küsters, Molitor (1998) (Correct)
Computing Most Specific Concepts in Description Logics with.. - Küsters, Molitor (2000) (Correct)
The Complexity of Reasoning with Boolean Modal Logics - Lutz, Sattler (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