w.r.t. General TBoxes Sebastian Brandt Institut fur Theoretische Informatik...  @ NUS Home/Search
Context
Related
| sunsite.informatik...03Brandtfinal.pdf Cached: PS.gz PS PDF Image Update Help From: sunsite.informatik.rwthaachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, it was shown for the DL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems remain tractable even when admitting general concept inclusion axioms and simple role inclusion axioms. (Update)
Active bibliography (related documents): More All
2.3: On Subsumption and Instance Problem in - General Tboxes Sebastian (Correct)
0.3: Epistemology and Ontology in Core Ontologies: FOLaw and.. - Breuker, Hoekstra (Correct)
0.2: Subsumption of concepts in FL_0 with respect to descriptive .. - Kazakov, de Nivelle (Correct)
Similar documents based on text: More All
0.2: Finite Model Reasoning in ALCQI is ExpTime-complete - Lutz, Sattler, Tendera (Correct)
0.2: Implementing Matching in ALE - First Results - Brandt (2003) (Correct)
0.2: Complexity of Terminological Reasoning Revisited - Lutz (1999) (Correct)
BibTeX entry: (Update)
@misc{ sebastian-subsumption,
author = "General Tboxes Sebastian",
title = "On Subsumption and Instance Problem in",
url = "citeseer.comp.nus.edu.sg/711419.html" }
Citations (may not include all citations):152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
148 Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
127 Information and Computation (context) - Givan, McAllester et al. - 2002
118 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
73 The grail concept modelling language for medical terminology (context) - Rector, Bechhofer et al. - 1997
56 The complexity of existential quantification in concept lang.. - Donini, Lenzerini et al. - 1992
38 Goals for concept representation in the galen project - Rector, Nowlan et al. - 1993
17 An overview of tableau algorithms for description logics - Baader, Sattler - 2001
13 A description logic based schema for the classification of m.. - Horrocks, Rector et al. - 1996
9 Complexity of reasoning (context) - Donini - 2003
8 The equivalence of model-theoretic and structural subsumptio.. (context) - Dionne, Mays et al. - 1993
4 Lecture Notes in Computer Science (context) - Haarslev, Moller et al. - 2001
4 Terminological cycles in a description logic with existentia.. (context) - Baader - 2003
3 Medical informatics (context) - Rector - 2003
2 Institute for Theoretical Computer Science (context) - Brandt, instance et al. - 2004
2 The instance problem and the most specific concept in the de.. (context) - Baader - 2003
Documents on the same site (http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-104/): More
The Instance Store:Description Logic Reasoning with.. - Horrocks, Li, Turi.. (2004) (Correct)
Extending DL Reasoning Support for the OWL Datatyping (or "Why .. - Pan, Horrocks (Correct)
Semantics Driven Support for Query Formulation - Dongilli, Franconi, Tessaris (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.