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

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

项目编号： No.61403187

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 李言辉

作者单位： 南京大学

项目金额： 25万元

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

中文关键词： 知识表示；推理；缺陷预测；Web服务；

英文摘要： Ontology Representation and Reasoning is an attractive research field in Semantic Web. This proposal focuses on description-logic-based representation and reasoning of current Ontology language OWL2. From existing research work, this proposal talks about

英文关键词： Knowledge Representation；Reasoning；Defect Prediction；Web Service；