计算机技术与发展Issue(8)：89-93,5.DOI:10.3969/j.issn.1673-629X.2014.08.021
应用本体和AllegroGraph实现几何定理证明
Realization of Geometry Theorem Proving with Ontology and AllegroGraph
摘要
Abstract
As traditional theorem mechanical proving methods are based on the rules,making the geometry theorem proving occurs rapid growth,reasoning and calculations inefficient,and process poor readability. For the above cases,a design method of the geometry theorem proving based on ontology and AllegroGraph is presented. This method constructs the model of geometric theorem proposition through ontology,and then uses the Prolog rule description language to describe the nature of geometry theorems. At the same time,through the a-nalysis of the correspondence between ontology model and rules described,propose semi-automatic method for the generation of theorem rules. Finally complete geometric theorem proving based on AllegroGraph ( AG) ,taking the reasoning mechanism of graphic database as the foundation. The experimental results show that the ontology and the AllegroGraph inference engine used in the field of geometry theo-rem proving can get rid of geometry theorem proving algebraic, geometric proof process is easy to understand, reasonably control the growth of information and support sustainable prove theorem.关键词
本体推理/AllegroGraph(AG)/Prolog规则/几何/定理证明Key words
ontology reasoning/AllegroGraph (AG)/Prolog rules/geometry/theorem proving分类
信息技术与安全科学引用本文复制引用
吴店年,李云清..应用本体和AllegroGraph实现几何定理证明[J].计算机技术与发展,2014,(8):89-93,5.基金项目
江西省教育科技项目(GJJ12195) （GJJ12195）
