描述逻辑ε切的保守扩充-计算机科学.pdfVIP

Vo 1. 43 No. 6A 第 43 卷第6A 期 计算机科学 2016 年 6 月 Computer Science June 2016 描述逻辑 ε切的保守扩充 聂登国1 余泉2 张维2 申宇铭3 (贵州工程应用技术学院理学院 毕节 551700)1 (黔南民族师范学院数学系 都匀 558000)2 (广东外语外贸大学思科信息学院 广州I 510420)3 摘 要在描述逻辑中，将本体看作一个逻辑理论，一个本体被形式化为给定的描述逻辑系统的一个 Tbox。本体是 动态的实体，为了适应新领域的发展，需要对原始本体进行扩充，但是扩充后的本体与原始本体是否保持逻辑一致性 是目前研究者们所关注的焦点。在Lutz 等人研究的基础上探究ε 凹的保守扩充问题，构建了 Ei:t 的典范模型，将包含 推理问题转换为典范模型的模拟问题;由典范模型之间的最大模拟是多项式时间复杂的，证明了 d:t的包含推理是多 项式时间复杂的;给出了描述逻辑Ei:t的保守扩充及其判定算法，证明了 E 凹的保守扩充的判定算法是指数时间复杂 的。 关键词 描述逻辑，典范模型，保守扩充，本体 中图法分类号 TP301 文献标识码 A Conservative Extensions in Description Logic ~ N1E Deng-guo 1 YU Quan2 ZHANG Wei2 SHEN Yu-ming3 (Guizhou University of Engineering Science ,Bijie 551700 ,China)1 (Ðepartment of Math ,Qiannan Normal College for Nationalities ,Duyun 558000 ,China) 2 (Cisco School of Information ,Guandong University of Foreign Studies ,Guangzhou 510420 ,China)3 Abstract 1n fact ontology is definitely the structured knowledge base in description logic. As we know ,knowledge is not always the same ,so it needs to be extended as long as new improvement appears in this field. 1t is concemed that whether it is consistent with the primitive one after extension. The conservative extension of Ei:t system was analyzed based on Lutzs work. Firstly the d :tcanonical model was constructed and the inclusion inference was reduced to the simulations between two Ei:tcanonical model. The complexity was pointed out to be polynomial based on that the ca nonical models largest simulation is polynomia l. After that the d :tconservati