文献类型：期刊文章

作　　者：程经纬[1] 马宗民[1] 严丽[2] 张富[1]

机构地区：[1]东北大学信息科学与工程学院计算机应用技术研究所,沈阳110819 [2]东北大学软件学院软件工程研究所,沈阳110819

出　　处：《计算机学报》

基　　金：国家自然科学基金(60873010;61073139);教育部新世纪优秀人才支持计划(NCET-05-0288)和教育部中央高校基本科研业务费专项(N090504005;N090604012;N100604017)资助~~

年　　份：2012

卷　　号：35

期　　号：4

起止页码：767-785

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20122415119535)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊#0这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-#0123的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-#0123是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,证明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.

关 键 词：描述逻辑 查询蕴涵  合取查询  知识库 语义WEB

分 类 号：TP18]