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={Ronald J. Brachman},
  • R. Brachman
  • Published 1 October 1983
  • Computer Science
  • Computer
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… 

Figures and Tables from this paper

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.

Behind the inheritance relations in a semantic network

  • Y.-K. Yang
  • Computer Science
    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.

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.

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 significant

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.

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.

On the use of WordNet for semantic interoperability: towards "cognitive computing"

  • C. Veres
  • Computer Science
    CAiSE Workshops
  • 2004
It is argued that WordNet is an invaluable tool for describing the conceptualized structure of the authors' world, and should be used as a fundamental resource.

On the Structural Link Between Ontologies and Organised Data Sets

The proposed framework, called the domain-information structure, enables us to link concepts to data sets through a number of typed data operators and enhances concurrent reasoning on data for knowledge generation, which is essential for handling big data.

ER ' 96-( 24 / 06 / 03 ) 1 Understanding the implementation of ISA 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.



On Inheritance in Knowledge Representation

  • M. Fox
  • 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.

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.

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.

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.

A Logic for Default Reasoning

  • R. Reiter
  • Philosophy, Computer Science
    Artif. Intell.
  • 1980

Defence of Logic Proc. 1977Int'lJoint Conf. Artificial Intelligence

  • Defence of Logic Proc. 1977Int'lJoint Conf. Artificial Intelligence

P . J . Hayes , " In Defence of Logic , " Proc .

  • The Logic of Frames , " Frame Conceptions and Text Understanding ,
  • 1977

1981 Int'l Joint Conf. ArtificialIntelligence

  • 1981 Int'l Joint Conf. ArtificialIntelligence

The Logic of Frames Frame Conceptions and Text Understanding

  • The Logic of Frames Frame Conceptions and Text Understanding
  • 1979