Frank Wolter, Michael Zakharyaschev  Home/Search
Context Related
| doc.ic.ac.uk/~mz6/ffro.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: doc.ic.ac.uk/~mz6/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aim of this paper is to construct decidable combinations of certain concept description logics and temporal propositional logics. Description logics have been designed and used as an effective formalism for representing and processing knowledge about static application domains. The addition of a temporal dimension to description logics makes it possible to capture the dynamic features of those domains as well. This provides us with expressive and decidable alternatives to temporal predicate ... (Update)
Cited by: More
Fibring Of Logics As A Universal Construction - Caleiro, Carnielli, Rasga.. (Correct)
Combining Logic Systems: Why, how, what for? - Sernadas, Sernadas (2003) (Correct)
Towards an Implementation of the Temporal Description Logic.. - Günsel, Wittmann (Correct)
Similar documents (at the sentence level):
67.4%: Temporalizing Description Logics - Wolter, Zakharyaschev (1998) (Correct)
Active bibliography (related documents): More All
0.4: A Tableau Calculus for Temporal Description Logic: The.. - Sturm, Wolter (2000) (Correct)
0.4: The product of converse PDL and polymodal K - Wolter (1999) (Correct)
0.4: Modal Description Logics: Modalizing Roles - Wolter, Zakharyaschev (1999) (Correct)
Similar documents based on text: More All
0.4: Multi-Dimensional Description Logics - Wolter, Zakharyaschev (1999) (Correct)
0.4: Dynamic Description Logics - Wolter, Zakharyaschev (2000) (Correct)
0.3: Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (Correct)
Related documents from co-citation: More All
30: Combining terminological logics with tense logic (context) - Schild - 1993
19: A tableau calculus for temporal description logic: The expanding domain case - Sturm, Wolter - 2000
19: Temporal description logics - Artale, Franconi
BibTeX entry: (Update)
F. Wolter and M. Zakharyaschev. Temporalizing description logics. Manuscript, http://www.informatik.uni-leipzig.de/wolter, 1998. 11 http://citeseer.ist.psu.edu/article/wolter98temporalizing.html More
@misc{ wolter98temporalizing,
author = "F. Wolter and M. Zakharyaschev",
title = "Temporalizing description logics",
text = "F. Wolter and M. Zakharyaschev. Temporalizing description logics. Manuscript,
http://www.informatik.uni-leipzig.de/wolter, 1998. 11",
year = "1998",
url = "citeseer.ist.psu.edu/article/wolter98temporalizing.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
231 CLASSIC: A structural data model for objects - Borgida, Brachman et al. - 1989
115 Representing and using interschema knowledge in cooperative .. - Catarci, Lenzerini - 1993
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
74 A propositional modal logic of time intervals - Halpern, Shoham - 1991
71 Description logics in data management - Borgida - 1995
61 Multi dimensional modal logic (context) - Marx, Venema - 1997
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
55 Combining terminological logics with tense logic (context) - Schild - 1993
52 Oxford University Press (context) - Gabbay, Hodkinson et al. - 1994
51 TBox and ABox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996
48 Products of modal logics (context) - Gabbay, Shehtman - 1998
47 Nominal tense logic (context) - Blackburn - 1993
44 Boosting the correspondence between description logics and p.. - De Giacomo, Lenzerini - 1994
41 Terminological reasoning with constraint networks and an app.. - Weida, Litman - 1992
40 A knowledgebased configurator that supports sales - Wright, Weixelbaum et al. - 1993
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
36 A temporal terminological logic (context) - Schmiedel - 1990
33 Terminological logics with modal operators - Baader, Laux - 1995
31 A computational account for a description logic of time and .. - Artale, Franconi - 1994
31 Complexity of products of modal logics (context) - Marx - 1997
30 A multidimensional terminological knowledge representation l.. - Baader, Ohlbach - 1995
28 Plan-based terminological reasoning (context) - Devanbu, Litman - 1991
14 Decidability of Class-Based Knowledge Representation Formali.. - De Giacomo - 1995
13 Department of Mathematics and Computer Science - Spaan, Modal et al. - 1993
11 Incompleteness of first-order temporal logic with until (context) - Szalas, Holenderski - 1988
10 the interpretability of arithmetic in temporal logic (context) - Kroger - 1990
7 A decidable temporal logic of parallelism - Reynolds - 1996
1 On taxonimic reasoning in conceptual design (context) - Bergamaschi, Sartori - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.doc.ic.ac.uk/~mz6/papers.htm): More
Multi-Dimensional Description Logics - Wolter, Zakharyaschev (1999) (Correct)
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Modal Description Logics: Modalizing Roles - Wolter, Zakharyaschev (1999) (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