一个新的DL-Lite中ABox修正算子.docVIP

  一个新的 DL-Lite 中 ABox 修正算子# 漆桂林，高四辈* （东南大学计算机科学与工程学院，南京 211189） 5 10 15 20 25 30 35 40 摘要：提出了针对描述逻辑 DL-Lite 的一个新的本体修正算子，用于修正本体的 ABox。这里 ABox 指的是 本体中的由一些断言组成的集合。证明了该算子的修正结果是唯一的。给出了新的 ABox 修正算子跟一个 已有的 ABox 修正算子的关系。然后，给出一个基于图的 ABox 修正算法。在算法中，给出了一个将 DL-Lite 本体转化成图的方法。最后，证明了提出的 ABox 修正算法实现了定义的 ABox 修正算子。 关键词：软件理论；描述逻辑；本体修正；修正算子；DL-Lite 中图分类号：TP18 A new ABox revision operator in DL-Lite Qi Guilin, Gao Sibei (School of Computer Science and Engineering, Southeast University, Nanjing, 211189) Abstract: In this paper, we propose a new ontology revision operator in description logic DL-Lite, which is used to revise the ABox of an ontology. Here an ABox is a set of assertions in an ontology. We prove that the result of revision of the operator is unique and present the relationship between our operator and an existing ABox revision operator. We then give a graph-based ABox revision algorithm. In this algorithm, we give a method to transform a DL-Lite ontology to a graph. Finally, we prove that the proposed ABox revision algorithm implements the ABox revision operator defined in this paper. Key words: Software theory; description logics; ontology revision; revision operator; DL-Lite 0 引言 随着语义 Web 的提出，作为数据共享模型的本体受到了广泛的关注。在众多的本体描 述语言中，描述逻辑[1]逐渐成为一种主要的本体描述语言。本文考虑一个重要的描述逻辑家 族—DL-Lite。DL-Lite 是一类易处理描述逻辑，它的推理复杂度是多项式时间的。在现实应 用中，我们经常需要对本体进行合并或者更新，以便为应用系统提供更加完善的服务。但是 本体的合并或者更新容易导致不一致问题[2,3]，既该本体不存在模型。本体工程中的一个重 要问题就是本体修正，即如何将一个新本体中的公理或实例断言一致性的添加到已有的本体 中，且修正结果中不包含任何的逻辑矛盾[4]。 目前，针对 DL-Lite 本体的 ABox 修正，相关研究者所做的工作还不是很多。文献[5]中 的方法是针对 DL-Lite 的 TBox 的修正。Calvanese 等在文献[6]中提出了一些基于模型的 DL-Lite 本体 ABox 修正算子，但是这样的修正算子一般会存在不可表达的问题，即修正结 果会超过 DL-Lite 的表达能力。他们还提出了一个基于语法的 DL-Lite 本体 ABox 修正算子。 跟基于模型的修正算子不一样的是，该算子直接删除原始 ABox 中的一些公理，使得原始本 体跟新的 ABox 之间没有冲突。他们还提出了一个算法来实现该算子，它的运行时间是多项 式的。但是该算法的缺点就是需要计算 ABox 相对于 TBox 的闭包，因此该算法不适合应用 于对 ABox 的规模很大的本体进行修正。因为计算 ABox 的闭包需要很多的时间和空间(即 使是离线去做)，尤其是当本体处于频繁更新的情况下。Kharlamov 等在文献[7]中提出了一个 DL-Lite 中的基于模型的 ABox 修正算子，并且证明了该算子可以用文献[6]中的算子来近似。 基金项目：高等学校博士学科点专项科研基金资助课题（新教师基金