Classification of Individuals and Concepts CLASSIC

CLASSIC is a successor of the KL-ONE approach. The framework allows representing concepts, attributes, objects, and rules in either primitive frames or in object-oriented manner [12], Concepts underlie an automatic generalization, and objects are automatically made instances of all concepts for which they pass a membership test. CLASSIC notation uses the following terminology to represents concepts, instances, and attributes. 

A series of operators — such as AND, FILLS, ONE-OF, ALL, and AT-LEAST — allow for comparison and for defining restrictions on attributes. Individuals are specified in the following manner  

The hrst two statements define instances of an object Wasp is a species Philanthotoxin is a toxin of the class of venoms. The third line defines a specific instance of the wasp philanthotoxin and adds several attributes in terms of slots. A concept 

two instances of venom — species and toxicity — are assigned a list of possible valnes. The concept of toxin is finally derived from the concept of molecnles and inclndes certain constraints for toxicity and species. Finally, a specific instance of the wasp toxine receives a constraint for the corresponding species. 

This kind of knowledge representation is designed for applications where rapid responses to qnestions are essential rather than expressive power. The CLASSIC is available in the original LISP version that was developed for research pnrposes, as well as in C and C++, the latter of which is called NeoCLASSlC. 

---