[1]刘邱云,付雪峰.一种新的DL-Lite不一致容忍语义[J].江西师范大学学报(自然科学版),2016,40(04):382-385.
 LIU Qiuyun,FU Xuefeng.The New Inconsistency-Tolerant Semantics for DL-Lite[J].Journal of Jiangxi Normal University:Natural Science Edition,2016,40(04):382-385.
点击复制

一种新的DL-Lite不一致容忍语义()
分享到:

《江西师范大学学报》(自然科学版)[ISSN:1006-6977/CN:61-1281/TN]

卷:
40
期数:
2016年04期
页码:
382-385
栏目:
出版日期:
2016-09-01

文章信息/Info

Title:
The New Inconsistency-Tolerant Semantics for DL-Lite
作者:
刘邱云付雪峰
1.江西师范大学数学与信息科学学院,江西 南昌 330022; 2.南昌工程学院信息工程学院,江西 南昌 330099
Author(s):
LIU QiuyunFU Xuefeng
1.College of Mathematics and Information Science,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.School of Information Engineering,Nanchang Institute of Technology,Nanchang Jiangxi 330099,China
关键词:
DL-Lite 合取查询 不一致处理 不一致容忍语义
Keywords:
DL-Lite conjunction query inconsistency handing inconsistency-tolerant
分类号:
TP 391
文献标志码:
A
摘要:
在本体工程中,处于演变过程中的本体常出现不一致性问题,这将导致基于本体的推理失效.为解决推理失效的问题,提出了一种新的处理DL-Lite本体实例断言中冲突的不一致容忍语义,讨论了新的不一致容忍语义与已有的不一致容忍语义的关系,给出了在新定义的不一致容忍语义下的修复算法并做了新语义下推理任务的复杂度分析.
Abstract:
In ontology engineering,inconsistency will appear in the evolution process of ontologies and the inconsistency of ontologies will lead to the invalidity of reasoning.In order to resolve the problem of reasoning invalid,a new inconsistency-tolerant semantics for dealing with inconsistencies in DL-Lite ontologies has been proposed.The advantage of our inconsistency-tolerant semantics over existing ones has been discussed and the data complexity of union of conjunction queries entailment under the new semantics has been studied.

参考文献/References:

[1] 付雪峰,漆桂林,张勇.基于图的不一致容忍语义下的查询应答方法 [J].计算机研究与发展,2016,53(2):303-315.
[2] Schlobach S,Huang Z,Cornet R,et al.Debugging incoherent terminologies [J].Journal of Automated Reasoning,2007,39(3):317-349.
[3] Fu Xuefeng,Qi Guilin,Zhang Yong,et al.Graph-based approaches to debugging and revision of terminologies in DL-Lite [J].Knowledge Based Systems,2016,100(5):1-12.
[4] Schlobach S,Cornet R.Non-standard reasoning services for the debugging of description logic terminologies [C].San Francisco:Morgan Kaufmann Publishers,2003:355-362.
[5] Lembo D,Lenzerini M,Rosati R,et al.Query rewriting for inconsistent DL-Lite ontologies [C].Heidelberg:Spring,2011:155-169.
[6] Bienvenu M.Inconsistency-tolerant conjunctive query answering for simple ontologies [EB/OL].
[2016-03-15].http://www.ceur-ws.org/Vol-846/paper_29.pdf.
[7] Calvanese D,De Giacomo G,Lembo D,et al.Tractable reasoning and efficient query answering in description logics:the DL-Lite family [J].Journal of Automated reasoning,2007,39(3):385-429.
[8] Bienvenu M.On the complexity of consistent query answering in the presence of simple ontologies [C].Palo Alto:AAAI Press,2012:705-711.
[9] Lembo D,Lenzerini M,Rosati R,et al.Inconsistency-tolerant semantics for description logics[C] Heidelberg:Springer-Verlag,2010:103-117.
[10] Poggi A,Lembo D,Calvanese D,et al.Linking data to ontologies [J].Journal on Data Semantics,2008,10(1):133-173.
[11] 周丽平,黄厚宽,漆桂林,等.一种在DL-Lite中计算本体最小不可满足保持子集的算法 [J].计算机研究与发展,2011,48(12):2334-2342.
[12] 周丽平,黄厚宽,瞿有利.一种面向DL-Lite本体原子断言的不一致度量算法 [J].南京大学学报:自然科学版,2010,46(2):115-121.
[13] 程经纬.模糊描述逻辑本体合取查询研究 [D].沈阳:东北大学,2010.
[14] 李韧.基于Hadoop的大规模语义Web本体数据查询与推理关键技术研究 [D].重庆:重庆大学,2013.
[15] 徐德智,廖晖寰,徐连君.面向模块重用的描述逻辑SHJF本地性规则研究 [J].计算机科学,2015,42(1):249-252.

备注/Memo

备注/Memo:
收稿日期:2016-04-23基金项目:国家自然科学基金(61272378)和江西省教育厅青年科学基金(GJJ12643)资助项目.通信作者:付雪峰(1978-),男,江西高安人,讲师,博士,主要从事知识图谱中不一致性问题处理的研究.
更新日期/Last Update: 1900-01-01