描述逻辑手册 理论、实现及应用，第二版

知识表示属于人工智能领域，该领域把注意力放在了形式方法的设计上，而形式方法对于一个特定域的知识表示在认识论上和计算上都是足够的。知识应该用对象的特征类以及它们之间的关系来表示，用来描述感兴趣的“类”的组织是建立在层次结构上的，该结构不仅提供了信息的有效与简洁的表示，而且还允许相关推理任务以一个在计算上有效的方式完成。