基于混合推理的知识库的构建及其应用研究-计算机学报.PDFVIP

第卷第期 计 算 机 学 报 ３５ ４ 　 　　　　　　　　 Ｖｏｌ．３５Ｎｏ．４ 年月 ２０１２４ Ａｒ．２０１２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｐ 　 基于混合推理的知识库的构建及其应用研究 ） ） ） １ ２ １ 钟秀琴 刘忠 丁盘苹 　　　 ） １（电子科技大学计算机科学与工程学院成都 ） ６１００５４ 　 　 ） ２（四川建筑职业技术学院四川德阳 ） ６１８０００ 　 　 摘要 ， 该文提出了基于 本体与 规则的平面几何知识库的构建方法从而可形式化地表示平面几何 ＯＷＬ Ｐｒｏｌｏ 　　 ｇ ， 、 、 、 、 、 ， 中丰富的语义信息一方面用类型定义域值域分类属性实例等本体描述来表达结构化的知识为领域内概 ． 念与概念之间关系的描述提供形式化的语义另一方面用 规则来解决本体不能有效表达的诸如属性之间 ； ，Ｐｒｏｌｏ ｇ 的关系和操作等问题，从而支持复杂关系间的推理在此基础上，用 和 构建了一个基于本体和规则 ． ＰｒｏｔééＰｒｏｌｏ ｇ ｇ 的平面几何知识库实验证明：此知识库可实现知识和语义层次上的信息查询，还可进行复杂问题求解，其丰富的 ． 语义描述和混合推理能力弥补了传统知识库的不足． 关键词 ； ； ； 平面几何本体知识库混合推理 　 中图法分类号 号： ／ ＴＰ３１１ 犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１２．００７６１ 　　　 犆狅狀狊狋狉狌犮狋犻狅狀狅犳犓狀狅狑犾犲犱犲犅犪狊犲狅狀犎犫狉犻犱犚犲犪狊狅狀犻狀犪狀犱犐狋狊犃犾犻犮犪狋犻狅狀 犵 狔 犵 狆狆 ） ）