论文部分内容阅读
随着万维网的不断发展,与日俱增的Web信息给人们带来丰富的资源,但同时也导致人们无法通过自动化手段比较准确地获取自己所需的内容。语义网便是应对该问题的产物,促使计算机和人们可以更好地协同工作。截至目前,语义网已经获得了巨大的发展。在语义网中,本体作为形式化的知识表示,为不同领域提供共享的词汇,给计算机处理Web信息提供了方便。基于描述逻辑的本体语言OWL是国际万维网联盟推荐的标准,为语义网提供了坚实的逻辑基础,特别是其子语言OWL DL具有在有限时间内可终止的推理机制。通过对OWL DL本体进行推理,可以从一个本体明确声明的知识中推导出蕴含的知识。但是,在本体的构建、演化和映射等过程中,往往存在逻辑冲突,即不一致性和不协调性。由于对不一致本体进行标准推理会得到无意义的结论,不协调性是导致不一致性的主要潜在因素,因此迫切需要对逻辑冲突进行处理。逻辑冲突的主要处理方法包括本体调试与本体修补。但是已有的本体调试方法效率较低,本体调试系统缺乏有效性度量标准和多样化的本体数据集,本体修补方法很少利用本体中的偏序结构。针对这些问题,本文主要进行以下研究:1)在本体调试方法方面,提出一种新的基于模式的高效本体调试方法。针对各种模式设计实例化算法并给出其合理性证明。试验结果表明,该调试方法在大多数情况下可以计算出更多的解释,具有比白盒算法更高的效率,而且这些解释更容易理解。2)在本体调试系统方面,首次给出本体调试系统有效性度量的形式化定义,构建多样化的本体数据集,并首次对已有的本体调试系统进行全面评估。试验结果表明,已有的本体调试系统在正确性、完备性和效率上各有利弊,用户可以根据不同的维度选择本体调试系统。3)在本体修补方法方面,首次提出一种解决偏序本体冲突的理论框架,该框架通过冲突划分和冲突排序以计算尽可能小的优先碰集。基于该框架,提出两个新的解决偏序本体冲突的算法。试验结果表明,冲突划分可以提高本体修补的效率,冲突排序可以减少优先碰集的冗余。