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

作者：程经纬; 马宗民; 严丽; 张富

来源：计算机学报, 2012, (04): 767-785.

• 描述逻辑
• 查询蕴涵
• 合取查询
• 知识库
• 语义Web description logic
• query entailment
• conjunctive query
• knowledge base
• semantic Web

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

• 出版日期2012
• 单位东北大学