模糊描述逻辑知识库查询蕴涵的判定方法

严丽张富程经纬马宗民

东北大学;

摘要：

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

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

所属期刊栏目：35

分类号：TP18(自动化基础理论)

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

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

页数：共19页

页码：767-785