]> 2012-02-11T02:15:50-05:00 The classic knowledge representation system: guiding principles and implementation rationale Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical foundation, based on a formal "terminological" logic. The logical foundation provides the semantics of a term description language, which is used to define structured concepts and make assertions about individuals in a knowledge base. These concepts and individuals are organized into a generalization hierarchy by classification and subsumption algorithms. The CLASSIC system explores the expressiveness vs. tractability tradeoff, driven by concerns of usefulness and usability in several real applications. Within this context, it embodies our views of what a knowledge representation system should be: useful, comprehensible and usable, predictable, non-subvertable, and at bottom, based on a formal logic. article dblp:journals/sigart/patel-schneidermb91 3 108-113 The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale 1991 Year 2 Volume Title Computer science Tag Source Paper url Pages Number June Month Key SIGART Bulletin Journal Bibtype Alex Borgida Lori Alperin Resnick Ronald J. Brachman Deborah L. McGuinness Peter F. Patel-Schneider Author Abstract Publication Journal Paper