一种新的DL-Lite不一致容忍语义-江西师范大学学报.PDFVIP

40 4 ( ) Vol． 40 No． 4 第 卷 第 期 江西师范大学学报 自然科学版 2016 7 Journal of Jiangxi Normal University (Natural Science) Jul． 2016 年 月 文章编号:1000-5862 (2016)04-0382-04 一种新的DL-Lite 不一致容忍语义 1 2* ， 刘邱云 付雪峰 (1． 江 ， 330022 ;2． ， 330099) 西师范大学数学与信息科学学院 江西南昌 南昌工程学院信息工程学院 江西南昌 摘 : ， ， ． 要 在本体工程中 处于演变过程中的本体常出现不一致性问题 这将导致基于本体的推理失效 为解 ， DL-Lite ， 决推理失效的问题 提出了一种新的处理 本体实例断言中冲突的不一致容忍语义 讨论了新的不 ， 一致容忍语义与已有的不一致容忍语义的关系 给出了在新定义的不一致容忍语义下的修复算法并做了 新语义下推理任务的复杂度分析． :DL-Lite ; ; ; 关键词 合取查询 不一致处理 不一致容忍语义 中图分类号:TP 391 文献标志码:A DOI :10． 16357 /j． cnki． issn1000-5862． 2016． 04． 10 ［7］ 时间的推理复杂度 ． DL-Lite 中的角色和概念的形 0 B A | Ｒ ，Ｒ P | P － ，C B |  B ， 引言 式化定义为 →  → → E Ｒ |  Ｒ． A ，P → 在形式化定义中 是原子概念 是原 － 在 ， 实际应用中 知识库的构建往往借助于本体 ，P ，B ， 子角色 是原子角色的逆 是基本概念 它的语 ， ， 技术 而知识库中的本体并非静态的实体 常处于扩 Ｒ ， Ｒ ， 法形式为原子概念或者为