一种新的DL-Lite不一致容忍语义

来源 :江西师范大学学报：自然科学版 | 被引量 : 0次 | 上传用户：yuanhongsheng1982

【摘要】

：

在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,

【作者】

：

刘邱云付雪峰

【机构】

：

江西师范大学数学与信息科学学院,南昌工程学院信息工程学院

【出处】

：

江西师范大学学报：自然科学版

【发表日期】

：

2016年4期

【关键词】

：

DL-Lite 合取查询不一致处理不一致容忍语义 DL-Lite conjunction query inconsistency handing in

【基金项目】

：

国家自然科学基金（61272378）, 江西省教育厅青年科学基金（GJJ12643）资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.

其他文献

Burgers方程的跳点紧致格式

Burgers方程是流体力学中非常重要方程.通过Hopf-Cole变换可以将Burgers方程转化为抛物型方程,把为Burgers方程构造一种高精度的、高效率的数值格式的问题变成了为抛物型方程

期刊

BURGERS方程跳点格式DuFort-Frankel格式高阶紧致格式Burgers equationjumping methodDu For

太阳能在沧州住宅建筑中的应用

结合沧州的实际情况,论述了太阳能在住宅建筑中的应用,指出了存在的问题,提出了太阳能热水系统与建筑一体化设计的解决方法。

期刊

太阳能太阳能热水系统住宅建筑高层一体化设计应用

杂谈金银花

期刊

金银花中草药保健饮品药用功能繁殖适应性