文献类型：期刊文章

作　　者：钟秀琴[1] 刘忠[2] 丁盘苹[1]

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054 [2]四川建筑职业技术学院,四川德阳618000

出　　处：《计算机学报》

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

年　　份：2012

卷　　号：35

期　　号：4

起止页码：761-766

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20122415119534)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP311]