| Alternate document: Details Terminological Reasoning and Information Management (91) Bernhard Nebel, Christof Peltason |
Bernhard Nebel  Home/Search
Context Related
| informatik.unifre...nebelposn91.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: Terminological knowledge representation formalisms are intended to capture the analytic relationships between terms of a vocabulary intended to describe a domain. A term whose definition refers, either directly or indirectly, to the term itself presents a problem for most terminological representation systems because it is obvious neither whether such a term is meaningful, nor how it could be handled by a knowledge representation system in a satisfying manner. After some examples of intuitively ... (Update)
Cited by: More
Logic-Based Natural Language Understanding in Intelligent.. - Popescu (2005) (Correct)
A Model of Information Retrieval Based on a.. - Meghini, Sebastiani, .. (1993) (Correct)
Molecular Structure Databases - Darrell Conklin In (Correct)
Active bibliography (related documents): More All
1.0: What is Hybrid in Hybrid Representation and Reasoning Systems? - Nebel (1989) (Correct)
0.6: Computational Complexity of Terminological Reasoning in BACK - Nebel (1988) (Correct)
0.5: Attributive Description Formalisms - Nebel, Smolka (1991) (Correct)
Similar documents based on text: More All
0.3: Term Subsumption Languages - Term Subsumption Languages (Correct)
0.1: Integrating Textual Knowledge and Formal Knowledge for.. - Cerbah, Euzenat (2000) (Correct)
0.1: titlepageinfo[ Docnumber "4842", Doctitle "Proceedings of .. - Ronald Brachman Docdate (Correct)
Related documents from co-citation: More All
38: The complexity of concept languages - Donini, Lenzerini et al. - 1991
38: Terminological reasoning is inherently intractable - Nebel - 1990
32: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
BibTeX entry: (Update)
Nebel, B. (1991). Terminological cycles: Semantics and computational properties. In Sowa, J. F. (Ed.), Principles of Semantic Networks, pp. 331--361. Morgan Kaufmann, Los Altos. http://citeseer.ist.psu.edu/nebel91terminological.html More
@incollection{ nebel91terminological,
author = "B. Nebel",
title = "Terminological Cycles: Semantics and Computational Properties",
booktitle = "Principles of Semantic Networks: Explorations in the Representation of Knowledge",
publisher = "Morgan Kaufmann Publishers",
address = "San Mateo (CA), USA",
editor = "J. F. Sowa",
pages = "331--361",
year = "1991",
url = "citeseer.ist.psu.edu/nebel91terminological.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
356 Computers and Intractability---A Guide to the Theory of NP-C.. (context) - Garey, Johnson - 1979
259 Elements of the Theory of Computation (context) - Lewis, Papadimitriou - 1981 ACM
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
231 CLASSIC: a structural data model for objects - Borgida, Brachman et al. - 1989 ACM DBLP
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1989 ACM
133 Foundations of Logic Programming (context) - Lloyd - 1984
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984 DBLP
94 Expressiveness and tractability in knowledge representation .. (context) - Levesque, Brachman - 1987 DBLP
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990 DBLP
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss - 1989
65 the epistemological status of semantic networks (context) - Brachman - 1979
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 Department of Computer Science (context) - Schmolze, semantics et al. - 1989
41 The restricted language architecture of a hybrid representat.. (context) - Vilain - 1985 DBLP
30 A four-valued semantics for terminological logics (context) - Patel-Schneider - 1989 ACM DBLP
26 Recent developments in NIKL (context) - Kaczmarek, Bates et al. - 1986 DBLP
24 Technische Universitat Berlin (context) - von Luck, Nebel et al. - 1987
19 Configuration as a consistency maintenance task (context) - Owsnicki-Klewe - 1988
17 ARGON: Knowledge representation meets information retrieval (context) - Patel-Schneider, Brachman et al. - 1984
17 A deductive pattern matcher - MacGregor - 1988 DBLP
17 Competence in knowledge representation (context) - Brachman, Levesque - 1982 DBLP
17 Hybrid reasoning in BACK - Nebel, von Luck - 1988
15 Data models in knowledge representation systems: A case stud.. (context) - Edelmann, Owsnicki - 1986
15 Technische Universitat Berlin (context) - Schild, KIT et al. - 1988
14 KLONE: Semantics and classification (context) - Schmolze, Israel - 1983
12 and maintainable (context) - Neches, Swartout et al. - 1985
12 The SB-ONE knowledge representation workbench (context) - Kobsa - 1989
12 The CLASSIC knowledge representation system (context) - Brachman, Borgida et al. - 1989 ACM
12 A four-valued semantics for frame-based description language.. (context) - Patel-Schneider - 1986
5 The shifting terminological space: An impediment to evolvabi.. (context) - Swartout, Neches - 1986
4 A logical-form and knowledge-base design for natural languag.. (context) - Sondheimer, Nebel - 1986
4 A KL-ONE classifier (context) - Lipkis - 1982
3 The frontier of tractability for concept description languag.. (context) - Donini, Hollunder et al. - 1990
2 Schmolze and Ronald J (context) - James - 1982
1 Knowledge representation for syntactic/semantic processing (context) - Webber, Bobrow - 1980
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)
Terminological Reasoning and Information Management - Nebel, Peltason (1991) (Correct)
Attributive Description Formalisms - Nebel, Smolka (1991) (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