UNDERSTANDING SUBSUMPTION AND TAXONOMY

This publication has 11 references indexed in Scilit:

• THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS
  Published by Elsevier ,1991
• TERMINOLOGICAL CYCLES
  Published by Elsevier ,1991
• Terminological reasoning is inherently intractable
  Artificial Intelligence, 1990
• Default reasoning in semantic networks: A formalization of recognition and inheritance
  Artificial Intelligence, 1989
• Undecidability of subsumption in NIKL
  Artificial Intelligence, 1989
• Computational complexity of terminological reasoning in BACK
  Artificial Intelligence, 1988
• Important issues in knowledge representation
  Proceedings of the IEEE, 1986
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985
• Krypton: A Functional Approach to Knowledge Representation
  Computer, 1983
• What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks
  Computer, 1983