基于混合推理的知识库的构建及其应用研究

摘要：

该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义；另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.

关键词：平面几何、本体、知识库、混合推理

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61073099;国家"十一五"科技支撑计划项目2009BAH46B0302;中央高校基本科研业务费专项资金ZYGX2009J059、ZYGX2009J058;电子科技大学教育教学改革研究重点专项2010XJYYB007

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

页数：共6页

页码：761-766