基于描述逻辑的复杂本体非经典知识表示和推理研究

基金项目类型：

国家自然科学基金

基金项目编号：

61403187

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

李言辉

完成单位：

南京大学

中文关键词：

描述逻辑; 本体; 语义Web; 模糊; Tableau算法;

项目类型：

青年科学基金项目

语种：

中文

开始日期：

2015-01-01

结束日期：

2017-12-31

中文摘要：

本体知识表示和推理是语义Web研究热点，本项目中拟讨论基于描述逻辑的当前本体语言OWL2的表示和推理研究。申请人将原有工作的基础上深入探讨下面三方面的问题：.(1)当前OWL2模糊扩展的主要推理手段经典转化方法被证明是不完备的，项目拟针对模糊语义下复杂的OQ算子、RBox以及复杂声明设计相应的Tableau算法并证明算法正确完备性。.(2)由于模糊语义原比经典语义复杂，包含多种不同的解释选择，不同语义的局部模糊本体难以整合。项目拟采用隶属度函数来表示模糊语义并采用局部级联技术形成全局本体。.(3)当前很多Web应用领域需要将模糊知识与动态知识综合表示，本项目拟引入动态维来表示对象的动态变化，研究动态模糊描述逻辑推理问题，设计实现推理算法。.在理论上，本项目的预期研究成果是对当前本体和描述逻辑理论的进一步完善；在应用上，本项目将为语义 Web的知识表示语言提供一种有力的待选方案。