Bernhard Nebel, Christof Peltason  Home/Search
Context Related
| informatik.unifre...peltason91.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: informatik.unifreibur...chapters (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning with terminological logics is a subfield in the area of knowledge representation that evolved from the representation language kl-one. Its main purpose is to automatically determine the location of a a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the development of new object-based database models. The main advantages are a uniform query and database... (Update)
Context of citations to this paper: More
...recognized by the query description. Papers such as [Tou et al. 1982] Patel Schneider et al. 1984] Beck et al. 1989] and [Nebel and Peltason 1991] have investigated the use of DLs as query languages. DLs are particularly useful for querying knowledge bases in situations...
.... order to have DDL=DML has been made in the some works on query optimization based on acyclic DLs such as candide [45] classic [51] BACK [66] and [52] 5 not to be confused with the homonymous ODL language of ODMG93 [14] 6 Views in OODB have been called virtual classes by...
Cited by: More
Loading Data into Description Reasoners - Borgida, Brachman (1993) (Correct)
Generic Update Operations Keeping Object-Oriented Databases.. - Laasch, Scholl (1992) (Correct)
Persistent Maintenance of Object Descriptions using BACK - Schmiedel (1993) (Correct)
Active bibliography (related documents): More All
0.8: Retraction of Object Descriptions in BACK - Kindermann (1992) (Correct)
0.5: An Empirical Analysis of Terminological Representation .. - Heinsohn, Kudenko.. (1994) (Correct)
0.5: C3L++: Implementing a Description Logics System on Top .. - Kessel, Schlick.. (Correct)
Similar documents based on text: More All
0.1: An Empirical Analysis of Optimization Techniques.. - Baader.. (1992) (Correct)
0.1: Feature-Based Lexicons: An Example and a Comparison to DATR - Nerbonne (1992) (Correct)
0.1: Terminological Logics with Modal Operators - Baader, Laux (1994) (Correct)
Related documents from co-citation: More All
5: Classification as a Query Processing Technique in the CANDIDE Semantic Data Mode.. (context) - Beck, Gala et al. - 1989
5: The KL-ONE family (context) - Woods, Schmolze - 1992
5: Terminological reasoning is inherently intractable - Nebel - 1990
BibTeX entry: (Update)
B. Nebel and Chr. Peltason. Terminological reasoning and information management. In D. Karagiannis, editor, Information Systems and Artificial Intelligence. Springer. http://citeseer.ist.psu.edu/article/nebel91terminological.html More
@incollection{ nebel91terminological,
author = "Bernhard Nebel and Christof Peltason",
title = "Terminological Reasoning and Information Management",
booktitle = "Information Systems and Artificial Intelligence: Integration Aspects",
publisher = "Springer-Verlag",
address = "Berlin, Heidelberg, New York, Tokyo",
editor = "D. Karagianis",
pages = "181--212",
year = "1991",
url = "citeseer.ist.psu.edu/article/nebel91terminological.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
231 CLASSIC: a structural data model for objects - Borgida, Brachman et al. - 1989
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990
189 Living with CLASSIC: When and how to use a KL-ONElike langua.. - Brachman, McGuinness et al. - 1990
164 IFO: A formal semantic database model (context) - Abiteboul, Hull - 1987
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984
89 Terminological cycles: Semantics and computational propertie.. - Nebel - 1990
88 Subsumption algorithms for concept description languages - Hollunder, Nutt - 1990
86 A deductive pattern matcher (context) - MacGregor - 1988
74 The Loom knowledge representation language (context) - MacGregor, Bates - 1987
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss - 1989
65 An essential hybrid reasoning system: Knowledge and symbol l.. (context) - Brachman, Gilbert et al. - 1985
49 A Lattice-Theoretic Approach to Computations Based on a Calc.. (context) - Ait-Kaci - 1984
47 On taxonomic reasoning in conceptual design (context) - Bergamaschi, Sartori et al. - 1990
45 Undecidability of subsumption in NIKL (context) - Patel-Schneider - 1989
39 Classification as a query processing technique in the CANDID.. (context) - Beck, Gala et al. - 1989
36 A temporal terminological logic (context) - Schmiedel - 1990
30 an object-oriented data model (context) - L'ecluse, Richard et al. - 1988
30 A four-valued semantics for terminological logics (context) - Patel-Schneider - 1989
29 Hybrid inferences in KL-ONE-based knowledge representation s.. (context) - Hollunder - 1990
26 Recent developments in NIKL (context) - Kaczmarek, Bates et al. - 1986
19 Term subsumption languages in knowledge representation (context) - Patel-Schneider, Owsnicki-Klewe et al. - 1990
18 RABBIT: An intelligent database assistant (context) - Tou, Williams et al. - 1982
17 ARGON: Knowledge representation meets information retrieval (context) - Patel-Schneider, Brachman et al. - 1984
17 Limitations of record-based information models (context) - Kent - 1979
15 Technische Universitat Berlin (context) - Schild, of et al. - 1989
12 The SB-ONE knowledge representation workbench (context) - Kobsa - 1989
11 Modelling complex structures in objectoriented databases (context) - L'ecluse, Richard et al. - 1989
10 Implementation of the BACK system version (context) - Quantz, Kindermann - 1990
9 Technische Universitat Berlin (context) - Quantz, KIT et al.
8 Technische Universitat Berlin (context) - Peltason, Schmiedel et al. - 1989
8 Future Intelligent Information Systems: AI and Database Tech.. (context) - Brodie - 1988
7 A knowledge-based software information system (context) - Devanbu, Selfridge et al. - 1989
5 Semantic retrieval and levels of abstraction (context) - Corella - 1986
5 Probabilistic inheritance and reasoning in hybrid knowledge .. (context) - Heinsohn, Owsnicki-Klewe - 1988
4 Class instances in a terminological framework -- an experien.. (context) - Kindermann - 1990
4 A self-organizing pattern retrieval system for graphs (context) - Levinson - 1984
3 Terminological Information Management in ADKMS (context) - Damiani, Bottarelli et al. - 1990
3 Terminological cycles in KL-ONE-based KR-languages (context) - Baader - 1990
2 Object Recognition and Retrieval in the BACK System (context) - Kindermann, Randi
1 On taxonomic reasoning in E/R environments (context) - Bergamaschi, Cavedoni et al. - 1988
1 QUIRK: Implementierung einer TBox zur Repr asentation von be.. (context) - Bergmann, Gerlach - 1987
1 Information Package for the Submission of Proposals to the E.. (context) - the, Communities - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-freiburg.de/~nebel/chapters.html): More
Foundations of Knowledge Representation and Reasoning - Lakemeyer, Nebel (1994) (Correct)
Attributive Description Formalisms - Nebel, Smolka (1991) (Correct)
Syntax-Based Approaches to Belief Revision - Nebel (1992) (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