| 模糊描述逻辑知识库查询蕴涵的判定方法 |
| |
| 引用本文： | 程经纬,马宗民,严丽,张富. 模糊描述逻辑知识库查询蕴涵的判定方法[J]. 计算机学报, 2012, 35(4): 767-785 |
| |
| 作者姓名： | 程经纬 马宗民 严丽 张富 |
| |
| 作者单位： | 1. 东北大学信息科学与工程学院计算机应用技术研究所 沈阳 110819
2. 东北大学软件学院软件工程研究所 沈阳 110819 |
| |
| 基金项目： | 国家自然科学基金，教育部新世纪优秀人才支持计划，教育部中央高校基本科研业务费专项 |
| |
| 摘 要： | 大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊SH这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,汪明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.
|
| 关 键 词： | 描述逻辑 查询蕴涵 合取查询 知识库 语义Web |
Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases: The f-SH Family |
| |
| CHENG Jing-Wei , MA Zong-Min , YAN Li , ZHANG Fu. Deciding Query Entailment for Fuzzy Description Logic Knowledge Bases: The f-SH Family[J]. Chinese Journal of Computers, 2012, 35(4): 767-785 |
| |
| Authors: | CHENG Jing-Wei MA Zong-Min YAN Li ZHANG Fu |
| |
| Affiliation: | 1) 1)(Institute of Computer Application Technology,College of Information Science and Engineering, Northeastern University,Shenyang 110819) 2)(Institute of Software Engineering,School of Software,Northeastern University,Shenyang 110819) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
