Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services

This publication has 14 references indexed in Scilit:

• Terminological reasoning is inherently intractable
  Artificial Intelligence, 1990
• Constructive belief and rational representation
  Computational Intelligence, 1989
• Computational complexity of terminological reasoning in BACK
  Artificial Intelligence, 1988
• Expressiveness and tractability in knowledge representation and reasoning1
  Computational Intelligence, 1987
• Making believers out of computers
  Artificial Intelligence, 1986
• Knowledge Representation and Reasoning
  Annual Review of Computer Science, 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
• What's in a concept: structural foundations for semantic networks
  International Journal of Man-Machine Studies, 1977