知识编译作为自动推理技术的一个方面,通常用来处理命题逻辑知识库,其基本思想是将给定的知识库转换成范式的形式,从而提高对命题的查询效率。最初,这种技术被广泛用来处理命题推理的难求解性,近几年随着对描述逻辑推理服务的不断研究,它已经被成功地应用到描述逻辑推理问题中。推理服务是描述逻辑长期以来的研究重点,其最基本的问题即概念的推理效率没有得到合理的提高。由于不同的描述语言表达能力也不同,因此描述逻辑中推理问题的计算复杂性与语言的表达能力成正比关系,即语言的表达能力越强,计算复杂性越高。本文分析了描述逻辑中推理服务的研究现状和存在问题,将知识编译技术应用于描述逻辑知识库中。文中,首先对知识编译基础理论作了简要的介绍包括其处理对象;然后详细介绍描述逻辑的基本语言、应用领域、体系结构及对描述逻辑推理问题进行了深入的研究,阐述了目前方法中存在的问题;针对目前编译方法中存在的不足,本文第四章提出了提出了一种编译描述逻辑知识库的数据结构。为证明新编译方法的可行性和优越性,进行了实验,并将实验结果与原有的方法进行了比对,结果表明,本文提出的方法在处理描述逻辑推理问题上有着很好的效果。