Key points are not available for this paper at this time.
KL-ONE is o system for representing knowledge in Artificial Intelligence programs. It has been developed and refined over o long period ond hos been used in both basic research and implemented knowledge-based systems in a number of places in the Al community. Here we present the kernel ideas of KL-ONE, emphasizing its ability to form complex structured descriptions. In addition to detailing oil of KL-ONE’s description-forming structures, we discuss o bit of the philosophy underlying the system, highlight notions of taxonomy and clossificotion that ore central to it, ond include on extended example of the use of KL-ONE and its classifier in a recognition task.
Brachman et al. (Sat,) studied this question.