轻量级描述逻辑系统.docVIP

基于典范模型的描述逻辑系统的保守扩充 摘 要：分析了现有的描述逻辑的保守扩充及其相应的判定算法，提出描述逻辑系统的保守扩充，并构造描述逻辑系统典范模型，证明描述逻辑系统的保守扩充的判定算法是指数时间复杂的。 关键词 ：描述逻辑 保守扩充 本体 系统 中图法分类号 TP301 0 引言 近几年来，本体作为知识库表示知识已经成为计算机理论与应用的研究热点。本体是共享概念模型的明确的形式化规范说明[1]。在描述逻辑中，一个本体被形式化为给定的描述逻辑系统的一个TBox。目前，保守扩充[2]( Conservative Extensions ) 被广泛认为是本体进化和本体合并中的一个重要的性质，在本体设计和本体集成中扮演重要的角色，它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并[3]中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充，如果不是，那么进化后的本体与原始本体将不能保持一致的逻辑结论。从形式上看，本体是本体关于的保守扩充，当且仅当能推出的结论在中也能推出，直观地看，就是把本体中的公理增加到本体中不改变原有的性质。 目前，国内涉及本体进化的研究多侧重于本体变化及进化的关键技术层面，而对本体推理的理论研究几乎为零，国外德累斯顿大学计算机理论研究所的Carsten Lutz[4]等人提出基于描述逻辑的保守扩充对本体进化的理论方面进行了研究，Carsten Lutz，Frank Wolter[5]等人研究了基于描述逻辑的保守扩充，并证明了判定描述逻辑的保守扩充是多项式时间复杂的，描述逻辑语言的保守扩充是2指数时间复杂的，而描述逻辑ALCQIO语言的保守扩充是不可判定的。本文在以上研究的基础提出描述逻辑系统的保守扩充，并证明描述逻辑系统的保守扩充的判定算法是指数时间复杂的。 1、预备知识 1.1描述逻辑[6]系统 在描述逻辑中，概念是通过描述逻辑的各系统的构造子归纳定义的，的语言只含构造子 ?和，令与是可数无限不交的两个集合，其中表示的所有概念名的集合，表示的所有角色名的集合。的概念定义如下： C,D((| A | C ? D | 其中A是原子，即，C、D是中的概念。 的语义将概念解释为一定论域的子集,关系是该论域上的二元关系。形式上,一个解释I=(ΔI,(I)由解释论域ΔI和解释函数(I所构成,其中解释函数把每个原子概念A(NC映射到ΔI的子集,而把每个关系R(NR映射到ΔI×ΔI的子集。即的语义解释如下: AI (ΔI； RI (ΔI×ΔI； (I = ( I； (C ? D )I =CI (DI； ()I ={d(ΔI | (e(CI, d,e(rI }； 给定概念C,如果存在一个解释I,使得CI((,则称C是可满足的；否则称C是不可满足的。给定概念C和D,如果对任意解释I,使得CI(DI,则称D包含C(记为C ?D)。 的TBox是概念包含公理C?D的有限集合,其中C和D是的概念.如果C?D和D?C同时成立，记为C(D,称为概念等价公理。 给定解释I,如果有CI(DI，则I满足概念包含公理C?D。给定解释I，以及的TBox T，如果I满足T的所有概念包含公理,则I是T的一个模型.如果TBox T存在一个模型，则称T是可满足的。 用NI表示所有个体名的集合,对任意个体a(NI，解释函数(I把a映射到ΔI的一个元素，即aI(ΔI。给定个体a和概念C，如果a是C的实例(记为C(a))，当且仅当存在解释I，使得aI(CI成立.给定个体a、b，以及关系R，如果a,b是R的实例(记为R(a,b))，当且仅当存在解释I，使得aI,bI(RI成立。 的ABox是概念断言公理C(a)和关系断言公理R(a,b)的有限集合，其中C是的概念，R是的关系。 给定解释I，如果有aI(CI，则I满足C(a)。如果有aI,bI(RI，则I满足R(a,b)。给定解释I，以及的ABox A,如果I满足A的所有断言公理,则I是AB的一个模型。如果ABox AB存在一个模型，则称A是可满足的.相对于ABox A，个体a(NI是概念C的实例(记为a(AC)，当且仅当对A的任意模型I，有aI(CI。 1.2保守扩充中几个重要概念的定义 定义1[7]（蕴含（(Entailment），不可辩分（Inseparability），保守扩充（Conservative Extension）），令QL是一个查询语言，是的非逻辑符号的有限集合，与是描述逻辑的两个TBox，那么； 对所有QL中的句子(，若(((，则相对于QL，记作?； 若相对于QL且相对于QL，则与相对于QL是-不可辩分的； 若且与相对于QL是不可辩分的，则是相对于QL的-保守扩充； 若是相对于QL的-保守扩充，则是相对于QL的保守扩充，其中。 定