Volker Haarslev, Carsten Lutz, Ralf Möller  Home/Search
Context Related
| kogswww.informatik.unih...jlc99.ps.gz lti.informatik.rwt...ellerJLC99.ps.gz 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: kogswww.inform...gspublications (more) From: cantor.informatik.rwtha...Papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article presents the description logic ALCRP(D) with concrete domains and a roleforming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain. The theory... (Update)
Cited by: More
Adapting Optimization Techniques to - Description Logics With (Correct)
Obstacles on the Way to Qualitative Spatial Reasoning with.. - Wessel (2001) (Correct)
Adding ternary complex roles to ALCRP(D) - A.Kaplunova, Haarslev, Möller (Correct)
Similar documents (at the sentence level):
8.2%: A Concept Language with Role-Forming Predicate Restrictions - Lutz, Haarslev, Möller (1997) (Correct)
7.1%: Fachbereich Informatik der Universitat Hamburg - Vogt-Kolln-Str Hamburg Germany (Correct)
6.8%: Foundations of Spatioterminological Reasoning with.. - Haarslev, Lutz, Möller (1998) (Correct)
Active bibliography (related documents): More All
0.5: Spatioterminological Reasoning: Subsumption Based on.. - Haarslev, Möller (1997) (Correct)
0.4: Querying GIS with Animated Spatial Sketches - Haarslev, Wessel (1997) (Correct)
0.4: Description Logics with Concrete Domains - A Survey - Lutz (2003) (Correct)
Similar documents based on text: More All
0.6: A Logic-based Formalism for Reasoning about Visual Representations - Haarslev (1998) (Correct)
0.6: Practical Reasoning in Racer with a Concrete Domain for.. - Haarslev, Möller (2002) (Correct)
0.5: Adapting Optimization Techniques to Description Logics with.. - Turhan, Haarslev (2000) (Correct)
Related documents from co-citation: More All
13: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
12: A spatial logic based on regions and connection - Randell, Cui et al. - 1992
8: Extensions of concept languages for a mechanical engineering application (context) - Baader, Hanschke - 1993
BibTeX entry: (Update)
V. Haarslev, C. Lutz, and R. Moller. A description logic with concrete domains and role-forming predicates. Journal of Logic and Computation, 9(3), 1999. http://citeseer.ist.psu.edu/haarslev99description.html More
@article{ haarslev99description,
author = "V. Haarslev and C. Lutz and R. M{\"o}ller",
title = "A Description Logic with Concrete Domains and Role-forming Predicates",
journal = "Journal of Logic and Computation",
volume = "9",
number = "3",
pages = "351--384",
year = "1999",
url = "citeseer.ist.psu.edu/haarslev99description.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
225 A spatial logic based on regions and connections - Randell, Cui et al. - 1992
197 The complexity of concept languages - Donini, Lenzerini et al. - 1997
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke - 1991
117 Reasoning about binary topological relations (context) - Egenhofer - 1991
112 Terminological reasoning is inherently intractable - Nebel - 1990
107 Combining qualitative and quantitative constraints in tempor.. - Meiri - 1996
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
82 Integrating metric and qualitative temporal reasoning - Kautz, Ladkin - 1991
64 the complexity of qualitative spatial reasoning: A maximal t.. - Renz, Nebel - 1997
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
55 Combining terminological logics with tense logic (context) - Schild - 1993
53 Modal logics for qualitative spatial reasoning - Bennett - 1995
36 A temporal terminological logic (context) - Schmiedel - 1990
31 Temporal description logics - Artale, Franconi
31 A computational account for a description logic of time and .. - Artale, Franconi - 1994
28 A complete axiom system for polygonal mereotopology of the r.. - Pratt, Schoop - 1997
22 Foundations of spatioterminological reasoning with descripti.. - Haarslev, Lutz et al.
21 Formal semantics of visual languages using spatial reasoning (context) - Haarslev - 1995
19 Specifying role interaction in concept languages (context) - Hanschke - 1992
19 A canonical model of the region connection calculus - Renz
18 McGraw-Hill Book Company (context) - Spanier - 1966
16 A fully formalized theory for describing visual notations - Haarslev - 1998
13 GenEd---an editor with generic semantics for formal reasonin.. - Haarslev, Wessel - 1996
12 Description logics with aggregates and concrete domains - Baader, Sattler - 1998
10 Representing and reasoning with qualitative spatial relation.. - Cohn, Bennett et al.
8 Defined topological relations in description logics - Lutz, Moller - 1997
8 A concept language with role-forming predicate restrictions - Lutz, Haarslev et al. - 1997
6 Kluwer Academic Publishers (context) - Stock, Spatial et al. - 1997
4 SBox: A qualitative spatial reasoner---progress report - Haarslev, Moller - 1997
4 A family of temporal terminological logics (context) - Bettini - 1993
4 A propositional model logic of time intervals (context) - Halpern, Shoham - 1991
3 Representation of Topological Information in Description Log.. (context) - Lutz - 1998
1 cient methods for qualitative spatial reasoning (context) - Renz, Nebel - 1998
1 Reasoning about time and actions in artificial intelligence:.. (context) - Gerevini
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://kogs-www.informatik.uni-hamburg.de/PUBLICATIONS/kogs-publications.html): More
Semantics-Based Information Retrieval - Möller, Haarslev, Neumann (1998) (Correct)
A Concept Language with Role-Forming Predicate Restrictions - Lutz, Haarslev, Möller (1997) (Correct)
Thin-Plate Spline Approximation for Image Registration - Sprengel, Rohr, Stiehl (1996) (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