Martin Buchheit, Francesco M. Donini, Andrea Schaerf  Home/Search
Context Related
| cs.man.ac.uk/~tessaris...RR9310.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: Terminological Knowledge Representation Systems (TKRS) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose capabilities go beyond the ones of presently available TKRS. The new features studied, all of practical interest, can be summarized in three main points. First, we consider a highly expressive terminological language, called ALCNR, including general complements of... (Update)
Cited by: More
Moving a Robot: - The Krr Approachatwork (Correct)
Extending a Description Logic to Cope with the - Completeness Of Multimedia (Correct)
Logical and Computational Properties of the.. - Buongarzoni.. (1995) (Correct)
Similar documents (at the sentence level):
45.4%: Decidable Reasoning in Terminological Knowledge.. - Buchheit, Donini.. (1993) (Correct)
29.4%: Query Answering in Concept-Based Knowledge Representation.. - Schaerf (1994) (Correct)
Active bibliography (related documents): More All
0.7: A Refined Architecture for Terminological Systems.. - Buchheit, Donini.. (1997) (Correct)
0.5: Class Library Implementation of an Open Architecture Knowledge.. - Gaines (1994) (Correct)
0.5: Explaining Reasoning In Description Logics - McGuinness (1996) (Correct)
Similar documents based on text: More All
0.4: Terminological Systems Revisited: Terminology = Schema +.. - Buchheit, Donini, Nutt.. (1994) (Correct)
0.3: AL-log: Integrating Datalog and Description Logics - Donini, Lenzerini, al. (1998) (Correct)
0.3: TBox and ABox Reasoning in Expressive Description Logics - De Giacomo, Lenzerini (1996) (Correct)
Related documents from co-citation: More All
42: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
33: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
32: The complexity of concept languages - Donini, Lenzerini et al. - 1991
BibTeX entry: (Update)
M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Research Report RR-93-10, Deutsches Forschungszentrum fur Kunstliche Intelligenz, Saarbrucken, Germany, 1993. http://citeseer.ist.psu.edu/buchheit93decidable.html More
@techreport{ buchheit93decidable,
author = "Martin Buchheit and Francesco M. Donini and Andrea Schaerf",
title = "Decidable Reasoning in Terminological Knowledge Representation Systems",
number = "RR-93-10",
address = "Deutsches Forschungszentrum f{\"u}r K{\"u}nstliche Intelligenz GmbH\\Erwin-Schr{\"o}dinger Stra{ss}e\\Postfach 2080\\67608 Kaiserslautern\\Germany",
pages = "35",
year = "1993",
url = "citeseer.ist.psu.edu/buchheit93decidable.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
362 Dynamic logic - Harel - 1984 ACM
322 First-Order Logic and Automated Theorem Proving (context) - Fitting - 1990 ACM
231 CLASSIC: A structural data model for objects - Borgida, Brachman et al. - 1989 ACM DBLP
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991 ACM DBLP
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991 ACM DBLP
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990 ACM
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991 DBLP
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984 DBLP
112 Terminological reasoning is inherently intractable - Nebel - 1990
101 The KL-ONE family (context) - Woods, Schmolze - 1992
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1991
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990 DBLP
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
77 Tractable concept languages (context) - Donini, Lenzerini et al. - 1991 DBLP
74 The Loom knowledge representation language (context) - MacGregor, Bates - 1987
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988 ACM DBLP
72 A fundamental tradeoff in knowledge representation and reaso.. (context) - Levesque - 1984
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
63 Inside the LOOM description classifier (context) - MacGregor - 1991 ACM DBLP
56 The complexity of existential quantification in concept lang.. - Donini, Hollunder et al. - 1992 ACM DBLP
45 Undecidability of subsumption in NIKL (context) - Patel-Schneider - 1989 DBLP
43 A language facility for designing database-intensive applica.. (context) - Mylopoulos, Bernstein et al. - 1980 ACM DBLP
39 Small can be beautiful in knowledge representation (context) - Patel-Schneider - 1984
39 Classification as a query processing technique in the CANDID.. (context) - Beck, Gala et al. - 1989 ACM DBLP
38 La Sapienza (context) - Donini, Lenzerini et al. - 1992
32 Data semantics (context) - Abrial - 1974 ACM DBLP
29 Hybrid inferences in KL-ONE-based knowledge representation s.. (context) - Hollunder - 1990 ACM DBLP
26 Recent developments in NIKL (context) - Kaczmarek, Bates et al. - 1986 DBLP
17 An empirical analysis of optimization techniques for termino.. (context) - Baader, Hollunder et al. - 1992
14 Recognition algorithms for the Loom classifier - MacGregor, Brill - 1992 DBLP
10 Implementation of the BACK system version (context) - Quantz, Kindermann - 1990
9 Unpublished manuscript (context) - McAllester - 1992
7 Personal communication (context) - Nutt - 1992
5 What's needed to make a description logic a good KR citizen (context) - MacGregor - 1992
3 An empirical analysis of terminological representation syste.. (context) - Heinson, Kudenko et al. - 1992 ACM DBLP
3 Making description logic based knowledge representation syst.. (context) - McGuinness - 1992 DBLP
3 Special issue on implemented knowledge representation and re.. (context) - Rich, bulletin - 1991
2 and Programming (context) - Wand, Recursion - 1980
2 Hans-Jurgen Burckert (context) - Baader - 1990
2 Deduction as parsing: Tractable classification in the KL-ONE.. (context) - Vilain - 1991 DBLP
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