基于图的不一致容忍语义下的查询应答方法

摘要：

本体在演变的过程中常出现不一致性问题,这将导致经典的推理模式失效.不一致容忍语义能有效地解决推理失效的问题,但各类不一致容忍语义或者需要耗费大量计算,或者丢弃了本体中有效的信息.为此,一种针对IAR-语义和ICAR-语义的变种被用以解决上述的缺陷.新定义的IPAR-语义能够避免计算整个ABox关于TBox的封闭,在减少计算量的同时尽可能地保留了本体中的信息.在IPAR-语义下实现了基于图的查询应答方法,新方法将本体和查询以不同的规则构建成图,避免了传统重写导致的查询冗余的问题.最后,通过实验对比新的查询应答方法与ICAR-语义下的查询应答方法,实验结果表明:基于图的一致性查询方法执行效率要优于ICAR-语义下的查询方法;在本体规模不断增加的情况下,新方法具有更好的稳定性.

关键词：本体、不一致容忍、DL-Lite、图、查询应答

所属期刊栏目：53

分类号：TP391(计算技术、计算机技术)

资助基金：国家“八六三”高技术研究发展计划基金项目2015AA015406;国家自然科学基金项目61272378;江西省教育厅科研项目GJJ12643This work was supported by the National High Technology Research Program of China 863 Program2015AA015406;the National Natural Science Foundation of China61272378;the Foundation of Jiangxi Educational CommitteeGJJ12643

在线出版日期：2016-06-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：303-315