Volume 40 Issue 3
May  2017
Article Contents
Article Navigation >  Journal of University of Electronic Science and Technology of China  > 2011  >  40(3): 429-434

ZHONG Xiu-Qin, FU Hong-Guang, DING Pan-Ping. Geometry Theorem Proving on Ontology and Prolog[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020
Citation: ZHONG Xiu-Qin, FU Hong-Guang, DING Pan-Ping. Geometry Theorem Proving on Ontology and Prolog[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020
shu

Geometry Theorem Proving on Ontology and Prolog

doi: 10.3969/j.issn.1001-0548.2011.03.020
  • 1.

    School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

  • Received Date: 2011-02-22
  • Rev Recd Date: 2011-04-15
  • Publish Date: 2011-06-15
  • In this paper, we propose a method to solve the problem of geometry theorem proving based on ontology theory. We describe the process of ontology construction, the reasoning based on ontology and prolog rules, and an example of a geometry theorem proving. The result shows that theorem proving based on ontology is efficient. This approach has advantages such as avoiding determining the problem repeatedly, natural language more closely, expressing the domain knowledge and the concepts hierarchy clearly. In addition this method can execute reasoning of complex relationships, and ultimately accomplishes elementary geometry theorem proving on ontology and prolog rules.
  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索
Get Citation
PDF
XML

Article Metrics

Article views(3883) PDF downloads(66) Cited by()

Related
Proportional views

Geometry Theorem Proving on Ontology and Prolog

doi: 10.3969/j.issn.1001-0548.2011.03.020
  • 1. School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054
  • Received Date: 2011-02-22
  • Rev Recd Date: 2011-04-15
  • Publish Date: 2011-06-15

Abstract: In this paper, we propose a method to solve the problem of geometry theorem proving based on ontology theory. We describe the process of ontology construction, the reasoning based on ontology and prolog rules, and an example of a geometry theorem proving. The result shows that theorem proving based on ontology is efficient. This approach has advantages such as avoiding determining the problem repeatedly, natural language more closely, expressing the domain knowledge and the concepts hierarchy clearly. In addition this method can execute reasoning of complex relationships, and ultimately accomplishes elementary geometry theorem proving on ontology and prolog rules.

ZHONG Xiu-Qin, FU Hong-Guang, DING Pan-Ping. Geometry Theorem Proving on Ontology and Prolog[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020
Citation: ZHONG Xiu-Qin, FU Hong-Guang, DING Pan-Ping. Geometry Theorem Proving on Ontology and Prolog[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(3): 429-434. doi: 10.3969/j.issn.1001-0548.2011.03.020
shu

    HTML

Catalog

    Journal Online

    Author's Notes

    Links

    Copyright © 《电子科技大学学报》编辑部

    Address: Room 350, central building, University of Electronic Science and Technology, No.4, Section 2, Jianshe North Road, Chengdu Tel: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

    本系统由 北京仁和汇智信息技术有限公司 开发 

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return