The classic knowledge representation system: guiding principles and implementation rationale

From Semantic Portal Wiki

Edit

Reference:

1. Peter F. Patel-Schneider, Deborah L. McGuinness, Ronald J. Brachman, Lori Alperin Resnick, Alex Borgida. The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale , SIGART Bulletin 2 (3) pp.108-113, 1991

bibtex

@article { dblp:journals/sigart/patel-schneidermb91 ,
  author = "Peter F. Patel-Schneider, Deborah L. McGuinness, Ronald J. Brachman, Lori Alperin Resnick, Alex Borgida", 
journal = "SIGART Bulletin", 
number = "3", 
pages = "108-113", 
title = "The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale", 
volume = "2", 
year = "1991", 
} 

abstract: 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.

download:

• paper: (http://doi.acm.org/10.1145/122296.122313)
• slides: