Carsten Lutz  Home/Search
Context Related
| cs.man.ac.uk/~tessari...ltcs9901.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: cs.man.ac.uk/~tessaris/D...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Description logics are knowledge representation and reasoning formalisms which represent conceptual knowledge on an abstract logical level. Concrete domains are a theoretically well-founded approach to the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals or spatial regions. In this paper, the complexity of combined reasoning with description logics and concrete domains is investigated. We extend ALC(D), which is the basic... (Update)
Cited by: More
Extending DL Reasoning Support for the OWL Datatyping (or "Why .. - Pan, Horrocks (Correct)
Description of the RACER System and its Applications - Haarslev, Möller (2001) (Correct)
Web Ontology Reasoning with Datatype Groups - Pan, Horrocks (2003) (Correct)
Similar documents (at the sentence level):
62.3%: The Complexity of Reasoning with Concrete Domains - Carsten Lutz (1999) (Correct)
9.6%: Reasoning with Concrete Domains - Lutz (1999) (Correct)
Active bibliography (related documents): More All
0.5: Directions In Planning: Understanding The Flow Of Time In Planning - Massey (1999) (Correct)
0.3: Graph Grammar Based Object Recognition for Image Retrieval - Klauck (1995) (Correct)
0.2: What is `multi' in Multi-Agent Learning? - Weiss, Dillenbourg (Correct)
Similar documents based on text: More All
0.4: Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2003) (Correct)
0.3: NExpTime-complete Description Logics with Concrete Domains - Lutz (2000) (Correct)
0.3: On the Complexity of Terminological Reasoning - Lutz (1999) (Correct)
Related documents from co-citation: More All
14: A scheme for integrating concrete domains into concept languages - Baader, Hanschke - 1991
6: NExpTime-complete description logics with concrete domains - Lutz - 2000
6: Extensions of concept languages for a mechanical engineering application (context) - Baader, Hanschke - 1993
BibTeX entry: (Update)
C. Lutz. The complexity of reasoning with concrete domains. LTCS-Report 99-01, LuFG Theoretical Computer Science, RWTH Aachen, Germany, 1999. http://citeseer.ist.psu.edu/article/lutz99complexity.html More
@inproceedings{ lutz99complexity,
author = "C. Lutz",
title = "Complexity of Terminological Reasoning Revisited",
booktitle = "Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {LPAR'99}",
month = "6 -- 10,",
publisher = "Springer-Verlag",
pages = "181--200",
year = "1999",
url = "citeseer.ist.psu.edu/article/lutz99complexity.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
717 Theory of Linear and Integer Programming (context) - Schrijver - 1986
340 Temporal constraint networks (context) - Dechter, Meiri et al. - 1991
284 Constraint propagation algorithms for temporal reasoning: A .. (context) - Vilain, Kautz et al. - 1990
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
231 CLASSIC: A structural data model for objects - Borgida, Brachman et al. - 1989
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild
130 A scheme for integrating concrete domains into concept langu.. - Baader, Hanschke
118 Using an expressive description logic: Fact or fiction - Horrocks - 1998
117 Reasoning about Binary Topological Relations (context) - Egenhofer - 1991
107 Combining qualitative and quantitative constraints in tempor.. - Meiri
89 KRIS: Knowledge representation and inference system (context) - Baader, Hollunder - 1991
82 Integrating metric and qualitative temporal reasoning - Kautz, Ladkin
77 The complexity of the word problem for commutative semigroup.. (context) - Mayr, Meyer - 1982
63 On binary constraint problems - Ladkin, Maddux - 1994
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
38 A temporal description logic for reasoning about actions and.. - Artale, Franconi - 1998
31 Extensions of concept languages for a mechanical engineering.. (context) - Baader, Hanschke - 1993
31 Temporal description logics - Artale, Franconi
28 A description logic with concrete domains and role-forming p.. - Haarslev, Lutz et al. - 1998
23 Description logics with concrete domains and aggregation - Baader, Sattler - 1998
15 Algorithmic Foundations of Terminological Knowledge Represen.. (context) - Hollunder - 1994
12 CTL - a description logic with expressive concrete domains - Kamp, Wache - 1996
10 Deutsches Forschungszentrum fur Kunstliche Intelligenz (context) - Hollunder, Nutt et al. - 1990
8 AAAI-Press (context) - the, Conference et al. - 1991
8 A concept language with role-forming predicate restrictions - Lutz, Haarslev et al. - 1997
6 Relationsship between nondeterministic and deterministic tap.. (context) - Savitch - 1970
3 Taxon: A concept language with concrete domains (context) - Abecker, Drollinger et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~tessaris/DL/papers.html): More
Query Answering in Concept-Based Knowledge Representation.. - Schaerf (1994) (Correct)
Description Logic Framework for Information Integration - Calvanese, De Giacomo.. (1998) (Correct)
Combining Deduction and Model Checking into Tableaux and.. - De Giacomo, Massacci (1998) (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