[发明专利]基于描述逻辑的本体不一致性分析方法

摘要

基于描述逻辑的本体不一致性分析方法属于语义及本体分析领域，其特征在于，在计算机上建立本体仓库、缓冲本体库、本体不一致性分析模块、逻辑推理机RACER和本体工具Protégé；该方法通过本体不一致性分析模块来分析缓冲本体库中存储的不一致的本体，计算该本体的最小不一致公理集合、命中集合，最后得到最小错误集合，该最小错误集合即产生本体不一致性的根源，通过删除或修改该最小错误集合可以有效恢复原本体的一致性。根据本发明，能够在语义不一致情况下对本体进行分析，找到产生本体不一致性的根源，从而有效恢复本体的一致性。

主权项

1.基于描述逻辑的本体不一致性分析方法，其特征在于，所述方法是在计算机中依次按以下步骤实现的：步骤(1)，初始化安装本体建模工具Protégé，用以建立、删除、修改本体，并把本体存储为网络本体语言OWL的格式，构建本体仓库，用于存储用所述Protégé构建的本体文件，安装本体不一致性分析系统，其中包括：缓冲本体库、逻辑推理机RACER、以及本体不一致性分析模块，其中：缓冲本体库，存储从所述本体仓库中提取到的需要分析本体不一致性的本体，逻辑推理机RACER，是一个基于描述逻辑的推理机，用于获取需要分析本体不一致性的文件中存在着不一致的概念集合，本体不一致性分析模块，用于从所述缓冲本体库中提取不一致的本体，并借助所述逻辑推理机RACER，求得本体的最小错误集合；步骤(2)，按以下步骤进行本体不一致性分析：步骤(2.1)，用本体不一致性分析模块从缓冲本体库中提取待分析的本体O；步骤(2.2)，该本体不一致性分析模块把步骤(2.1)所述的本体O送往逻辑推理机RACER，判断本体O是否描述逻辑一致：若：一致，则分析结束，返回步骤(2.1)，若：不一致，则计算不一致的概念集合，并保存；步骤(2.3)，该本体不一致性分析模块得到步骤(2.2)中所述的不一致的概念集合后，利用MUPS_bottomup算法求得最小不一致公理集合，表示为MIS＝{S1，S2，...，Sn}，其中S1，S2，...，Sn 均为本体O的最小不一致公理集合，每个集合中包含若干条不一致的公理；步骤(2.4)，从步骤(2.3)得到的集合S1，S2，...，Sn中各任意选取一条公理加入集合Hk；步骤(2.5)，若步骤(2.4)得到的集合Hk中存在重复的公理，则删去重复的公理，得到一个命中集合H；步骤(2.6)，重复执行步骤(2.4)到步骤(2.5)，一直到不存在新的集合Hk为止，再执行下一个步骤；步骤(2.7)，计算步骤(2.5)中所述命中集合H中至少一个H包含的公理数最少的集合，并保存；步骤(2.8)，把步骤(2.7)得到的集合赋给最小错误集合D，并把其返回给用户；步骤(3)，用户得到步骤(2.8)所述的最小错误集合D后，用本体建模工具Protégé删除或修改所述集合D，从而得到一致的本体O’；步骤(4)，把步骤(3)得到的本体O’存入所述本体仓库中。