An order-sorted logic for knowledge representation systems

摘要

Hybrid knowledge representation systems (such as those of the KL-ONE family) distinguish between taxonomical information (that is represented in the T-Box) and assertional information (which is contained in the A-Box). The basic concepts that establish a particular view of the world are considered static and given, once the knowledge base is set up, and these concepts are represented in the taxonomical hierarchy of the T-Box.