原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
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 ，
子角色 是原子角色的逆 是基本概念 它的语
， ，
技术 而知识库中的本体并非静态的实体 常处于扩 Ｒ ， Ｒ ，
法形式为原子概念或者为
文档评论（0）