Franz Baader  Home/Search
Context
Related
| SunSITE.Informatik.RWTHAa...baader.pdf 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: SunSITE.Informatik.RWTHAachen... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic which allows conjunctions, existential restrictions, and the top concept, and have shown that the subsumption problem remains polynomial for all three types of semantics usually considered for cyclic definitions in description logics. (Update)
Active bibliography (related documents): More All
0.5: Towards A Broad-Coverage Biomedical Ontology Based On.. - Hahn, Schulz (2003) (Correct)
0.5: Computing Least Common Subsumers for FLE+ - Brandt, Turhan (Correct)
0.4: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
Similar documents based on text: More All
0.2: Matching in Description Logics with Existential Restrictions - Baader, Küsters (1999) (Correct)
0.2: Matching Concept Descriptions with Existential Restrictions - Baader, Küsters (1999) (Correct)
0.2: Computing Least Common Subsumer in Description Logics.. - Baader, Küsters, Molitor (1998) (Correct)
BibTeX entry: (Update)
@misc{ baader-restricted,
author = "Franz Baader",
title = "Restricted Role-Value-Maps in a Description Logic with Existential Restrictions
and Terminological Cycles",
url = "citeseer.ist.psu.edu/677586.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
65 Computing simulations on finite and infinite graphs - Henzinger, Henzinger et al. - 1995
29 Using automata theory for characterizing the semantics of te.. (context) - Baader - 1996
27 Terminological cycles in KL-ONE-based knowledge representati.. (context) - Baader - 1990
14 SNOMED RT: A reference terminology for health care (context) - Spackman, Campbell et al. - 1997
11 re-usable medical ontology using a description logic with tr.. (context) - Rector, Horrocks et al. - 1997
10 A concept language extended with di#erent kinds of transitiv.. (context) - Sattler - 1996
8 The complexity of regularity in grammar logics and related m.. (context) - Demri - 2001
8 Simple examples of undecidable associative calculi (context) - Matijasevic - 1967
7 The systematized nomenclature of human and veterinary medici.. (context) - Cote, Rothwell et al. - 1993
7 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989
5 Managing clinical terminology hierarchies using algorithmic .. (context) - Spackman - 2000
4 Terminological cycles in a description logic with existentia.. (context) - Baader - 2003
4 Obstacles on the way to qualitative spatial reasoning with d.. - Wessel - 2001
2 Normal forms for description logic expressions of clinical c.. (context) - Spackman - 2001
2 and role-valuemaps in a description logic with existential r.. (context) - Baader, subsumers et al. - 2002
1 Description logics with complex role inclusion axioms (context) - Horrocks, Sattler - 2003
Documents on the same site (http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-81/):
Handling Boolean ABoxes - Areces, Blackburn, Hernandez, Marx (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