What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks

  title={What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks},
  author={R. Brachman},
A was quite simple. Today, however, there are almost as many meanings for this inheritance link as there are knowledge-representation systems. Many systems for representing knowledge can be conisidered semantic networks largely becau.se they feature the notion of an explicit taxonomic hierarchy, a tree or lattice-like structure for categorizing classes of things in the world being represented. The backbone of the hierarchy is proFvided by some sort of "inheritance" link betweeni the… Expand
That IS-IN Isn't IS-A: A Further Analysis of Taxonomic Links in Conceptual Modelling
This Chapter is considering an intensional IS-IN relation which also forms a taxonomic hierarchy and a lattice-like structure and can consider the hierarchy provided by an IS-In relation as a semantic network as well. Expand
Behind the inheritance relations in a semantic network
  • Y.-K. Yang
  • Computer Science, Physics
  • IEEE Proceedings on Southeastcon
  • 1990
The author makes clear, precise and consistent definitions for these inheritance relations based on the two fundamental types of information that these relations are intended to represent: classes and objects. Expand
Conceptural Representation Techniques in the Framework of Large Knowledge Based Systems
The "conceptual" Knowledge Representation Language (KRL) proper to a general environment for the construction of Large Knowledge Based Systems (LKBSs) involves two different aspects: coding of the elementary events occurring in the real world and the definitional component of the language. Expand
Ontological Analysis of Taxonomic Relationships
Taxonomies based on a partial-ordering relation commonly known as is-a, class inclusion or subsumption have become an important tool in conceptual modeling. A well-formed taxonomy has significantExpand
Understanding Implementations of IS-A Relations
The aim of this paper is to analyze IS-A relations in some detail, and to propose a wide range of correct techniques to express IS- A relations into standard constructs. Expand
A high-level representation language for the construction and use of large knowledge bases
The KRL proper to a general environment for the construction of Large Knowledge Bases (LKBs) involves two different but complementary aspects: coding of the elementary events occurring in the real world and the “definitional” component of the language. Expand
Modeling class hierarchies with contradictions
A language feature is presented to permit class definitions which contradict aspects of other classes, such as superclasses, in an object-based language, and a semantics of the resulting language is defined, which restores the condition that subclasses are both subsets and subtypes, and deals correctly with the case when an object can belong to several classes. Expand
Modeling Class Hierarchies with Contradictions
One characteristic feature of object-oriented systems and knowledge bases (semantic data models, conceptual modeling languages, Al frames) is that they offer as a basic paradigm the notion of objectsExpand
Representation of ISA relations
Generalization/specialization hierarchies (IS-A relations for short) are basic semantic constructs proposed in most information system conceptual models. At the other side of design methodologies,Expand
Inheritance reasoning and head-driven phrase structure grammar
An established approach to defeasible reasoning which defines inference in terms of the construction of paths through a network is presented and the HPSG formalism is described and the inheritance hierarchy is detailed. Expand


On Inheritance in Knowledge Representation
  • M. Fox
  • Mathematics, Computer Science
  • 1979
This paper proposes that in some cases inheritance between concepts is idiosyncratic and does not fit predefined inheritance relations and current methods of specifying inheritance modification and similarity mappings are complex to specify and understand. Expand
Distinctions and Confusions: A Catalogue Raisonne
There seams to be at least one feature of some net/frame schemes that defy simple translation into standard formalisms: "prototypes", Yet this feature is not itself without diffculties, some of which are addressed here. Expand
Encoding Knowledge in Partitioned Networks
ABSTRACT This chapter discusses network notations for encoding a number of different kinds of knowledge, including taxonomic information; general statements involving quantification; informationExpand
Cancellation in a Parallel Semantic Network
This paper explores some of the interactions between cancellation and parallelism in semantic networks, and proposes a cancellation scheme that appears to be workable for NETLIike systems. Expand
Associative Networks- Representation and Use of Knowledge by Computers
This book provides good coverage of semantic networks and related systems for representing knowledge and should be commended for the editor's efforts in putting together a wellorganized book. Expand
A Logic for Default Reasoning
  • R. Reiter
  • Mathematics, Computer Science
  • Artif. Intell.
  • 1980
This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected. Expand
Summary of the KL-ONE Language
  • Proc. 1981 KL-ONE Workshop, FLAIR tech. report
  • 1982
R . Reiter , " A Logic for Default Reasoning
  • Distinctions and Confusions : A Catalogue Raisonne , " Proc . 1981 Int ' l Joint Conf . Artificial Intelligence
  • 1979
The Logic of Frames Frame Conceptions and Text Understanding
  • The Logic of Frames Frame Conceptions and Text Understanding
  • 1979
P . J . Hayes , " In Defence of Logic , " Proc .
  • The Logic of Frames , " Frame Conceptions and Text Understanding ,
  • 1977