本体间的逻辑差问题在本体维护中占重要地位,对于本体工程师理解本体不同版本间表达含义上的差别有重要的帮助作用。这是一个新兴的研究领域。本文研究了本体间的逻辑差问题,重点讨论了以下3个方面:(1)ε(?)术语集间概念包含型逻辑差的分层:在改进的插值方法的基础上,我们提出最一般子概念、概念差等概念,在其上,给出算法对概念包含型逻辑差进行分层。对于这一方法,给出其在信念修正中的应用。(2)模糊ε(?)术语集间的逻辑差:在定义模糊ε(?)术语集间的逻辑差,给出各种预处理规则,在避免重新计算的情况下判断各种结论是否受到影响。(3)不同类型逻辑差间联系的分析:对于ε(?)术语集间概念包含型逻辑差和实例型逻辑差间的联系进行分析,尝试用后者来表达前者。对于DL_Lite本体间概念包含型逻辑差和询问型逻辑差间的联系进行分析,尝试得到后者的紧致性表示。未来的工作将在实现和理论两个方面进行。在系统的实现方面,尝试不同的优化算法,以获得系统的可扩展性和重用性。在理论上继续探讨不同类型的逻辑差间的联系,以及相互表达、紧致性表示问题。