| Alternate document: Details Subsumption Algorithms for Concept Languages (90) Bernhard Hollunder, Werner Nutt |
Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß  Home/Search
Context Related
Links: DBLP | dfki.unisb.de/pub...subsumption.ps.gz dfki.de/~nutt/Publ...subsumption.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 Problem Downloading? From: dfki.de/~tacos/...OSPublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate subsumption algorithms for logic-based knowledge representation languages of the kl-one family. We define an attributive concept description language that contains the logical connectives conjunction, disjunction, and negation, as well as role quantification, number restrictions and role intersection. We describe a rule based calculus to decide subsumption in this language, that closely resembles the tableaux calculus of first order predicate logic. Furthermore, we give... (Update)
Cited by: More
A Sequent Calculus for Reasoning in Four-valued Description Logics - Straccia (1997) (Correct)
On Sets of Terms: - Study Of Generalisation (Correct)
Unknown - Formalization And Experimentation (Correct)
Similar documents (at the sentence level):
77.6%: Subsumption Algorithms for Concept Languages - Hollunder, Nutt (1990) (Correct)
Active bibliography (related documents): More All
0.1: Terminological Cycles: Semantics and Computational Properties - Nebel (1991) (Correct)
0.1: What is Hybrid in Hybrid Representation and Reasoning Systems? - Nebel (1989) (Correct)
0.1: Resolution Methods for Decision Problems and Finite-Model Building - Tammet (1992) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: A SAT-Based Decision Procedure for ALC - Giunchiglia, Sebastiani (1996) (Correct)
0.2: Task Acquisition with a Description Logic Reasoner - Buchheit, Bürckert.. (1995) (Correct)
0.2: Subsumption between Queries to Object-Oriented Databases - Buchheit, Jeusfeld, Nutt.. (1993) (Correct)
Related documents from co-citation: More All
45: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
44: The complexity of concept languages - Donini, Lenzerini et al. - 1991
33: An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
BibTeX entry: (Update)
B. Hollunder, W. Nutt, and M. Schmidt-Schauss. Subsumption algorithms for concept description languages. In ECAI-90, Pitman Publishing, London, 1990. http://citeseer.ist.psu.edu/hollunder90subsumption.html More
@inproceedings{ hollunder90subsumption,
author = "Bernhard Hollunder and Werner Nutt and Manfred Schmidt-Schaus",
title = "Subsumption Algorithms for Concept Description Languages",
booktitle = "European Conference on Artificial Intelligence",
pages = "348-353",
year = "1990",
url = "citeseer.ist.psu.edu/hollunder90subsumption.html" }
Citations (may not include all citations):480 An overview of the KL-ONE Knowledge Representation System (context) - Brachman, Schmolze - 1985 DBLP
118 The tractability of subsumption in frame based description l.. (context) - Brachmann, Levesque - 1984
81 Combinatorial Algorithms (context) - Nijenhuis, Wilf - 1975 ACM
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988 ACM DBLP
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss - 1989 ACM DBLP
65 An essential hybrid reasoning system: knowledge and symbol l.. (context) - Brachman, Gilbert et al. - 1985
45 Undecidability of subsumption in NIKL (context) - Patel-Schneider - 1989 DBLP
41 The restricted language architecture of a hybrid representat.. (context) - Vilain - 1985 DBLP
26 Recent developments in NIKL (context) - Kaczmarek, Bates et al. - 1986 DBLP
17 Hybrid reasoning in BACK - Nebel, von Luck - 1988 DBLP
15 Attributive Concept Descriptions with Unions and Complements (context) - Schmidt-Schauss, Smolka
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dfki.de/~tacos/TACOS-Publications.html): More
The Complexity of Existential Quantification in.. - Donini, Hollunder.. (1992) (Correct)
Combination Problems for Commutative/Monoidal Theories or How.. - Baader, Nutt (1996) (Correct)
Tractable Reasoning in a Universal Description Logic (Extended.. - Schild (1994) (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