Oliver Kutz, Frank Wolter, Mikael Zakhariaschev  Home/Search
Context
Related
| informatik.unileipzig.de/~...kr2002.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: informatik.unileipzig.de/~wol... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of the aspects. It is difficult because the computational behavior of the resulting hybrids is often much worth than the behavior of it components. In this paper we propose a... (Update)
Active bibliography (related documents): More All
0.7: Qualitative Spatio-Temporal Representation and Reasoning.. - Wolter, Zakharyaschev (2001) (Correct)
0.6: Axiomatizing Distance Logics - Kutz, Sturm, Suzuki, Wolter.. (Correct)
0.3: A Survey of Temporal Extensions of Description Logics - Artale, Franconi (2000) (Correct)
Similar documents based on text: More All
0.4: A Note on Concepts and Distances - Kutz, Wolter, Zakharyaschev (2001) (Correct)
0.2: Application Development - Using Objects Tsichritzis (1994) (Correct)
0.2: Logics of Metric Spaces - Kutz, Sturm, Suzuki, Wolter.. (2001) (Correct)
BibTeX entry: (Update)
@misc{ kutz-connecting,
author = "Oliver Kutz and Frank Wolter and Mikael Zakhariaschev",
title = "Connecting Description Systems",
url = "citeseer.ist.psu.edu/kutz02connecting.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
225 A spatial logic based on regions and connection - Randell, Cui et al. - 1992
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
74 A propositional modal logic of time intervals - Halpern, Shoham - 1991
54 Many-Dimensional Modal Logics: Theory and Applications (context) - Gabbay, Kurucz et al. - 2001
53 Modal logics for qualitative spatial reasoning - Bennett - 1996
50 Reasoning with individuals in concept languages - Schaerf - 1994
38 A temporal description logic for reasoning about actions and.. - Artale, Franconi - 1998
37 Satisfiability problem in description logics with modal oper.. - Wolter, Zakharyaschev - 1998
33 Terminological logics with modal operators - Baader, Laux - 1995
33 Modal description logics: modalizing roles - Wolter, Zakharyaschev - 1999
31 the expressivity of feature logics with negation (context) - Baader, Burckert et al. - 1993
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1992
30 A multi-dimensional terminological knowledge representation .. - Baader, Ohlbach - 1995
28 A description logic with concrete domains and role-forming p.. - Haarslev, Lutz et al. - 1999
24 Multi-dimensional description logics - Wolter, Zakharyaschev - 1999
22 Fusions of description logics and abstract description syste.. - Baader, Lutz et al. - 2002
22 Fusions of modal logics revisited - Wolter - 1998
22 Spatio-temporal representation and reasoning based on RCC - Wolter, Zakharyaschev
19 NEXPTIME-Complete Description Logics with Concrete Domains - Lutz
19 A canonical model of the Region Connection Calculus - Renz - 1998
14 Reasoning with concrete domains - Lutz - 1999
13 Beliefs in multi-agent worlds: A terminological approach (context) - Laux - 1994
13 Der Aussagenkalkul und die Topologie (context) - Tarski - 1938
9 Fusions of description logics - Baader, Lutz et al.
8 Defined topological relations in description logics - Haarslev, Lutz et al. - 1998
7 Everywhere (context) - Shehtman - 1999
7 Time-dependent concepts: Representation and reasoning using .. (context) - Bettini - 1997
7 Semi-qualitative reasoning about distances: a preliminary re.. - Sturm, Suzuki et al.
6 Spatial reasoning in RCC-8 with Boolean region terms (context) - Wolter, Zakharyaschev
4 Temporalizing tableaux (context) - Lutz, Sturm et al. - 2001
2 Logics of metric spaces - Kutz, Sturm et al. - 2001
1 Ontology reasoning in the SHIQ (context) - Horrocks, Sattler - 2001
1 DFKI Research Report RR-90-04 (context) - Hollunder, Nutt et al. - 1990
Documents on the same site (http://www.informatik.uni-leipzig.de/~wolter/): More
Decidable Fragments of First-Order Modal Logics - Wolter, Zakharyaschev (1999) (Correct)
Spatio-temporal representation and reasoning based on RCC-8 - Wolter, Zakharyaschev (1999) (Correct)
All finitely axiomatizable subframe logics containing the.. - Wolter (1997) (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