On the Design and Implementation of a Geometric Knowledge Base

  • Xiaoyu Chen
  • Ying Huang
  • Dongming Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6301)


This paper presents the design of a geometric knowledge base that stores standardized, formalized, and structured geometric knowledge data. Emphasis is placed on the classification and organization of such knowledge data. In order to master the complexity of data relations, we adopt a key strategy that works by encapsulating certain interrelated knowledge data into knowledge objects and then organizing the knowledge objects according to the hierarchic structure of their relations. We also present our preliminary implementation of a geometric knowledge base system that provides functionalities for creating, rendering, and managing knowledge data with basic query services.


geometric knowledge knowledge data knowledge object knowledge base knowledge management 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaëtano, M., Kohlhase, M.: The OpenMath Standard, Version 2.0. Tech. rep., The OpenMath Society (2004),
  2. 2.
    Chen, X.-Y., Wang, D.: Towards an Electronic Geometry Textbook. In: Botana, F., Recio, T. (eds.) ADG 2006. LNCS (LNAI), vol. 4869, pp. 1–23. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
  4. 4.
    Gräbe, H.-G.: The SymbolicData GEO Records – A Public Repository of Geometry Theorem Proof Schemes. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 67–86. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
  6. 6.
  7. 7.
    MathDox Formula Editor,
  8. 8.
    Quaresma, P., Janic̆ić, P.: GeoThms — Geometry Framework. Tech. Rep. CISUC TR 2006/002, Centre for Informatics and Systems, University of Coimbra (2006)Google Scholar
  9. 9.
    SAXON XSLT Processor Home,
  10. 10.
    Wang, D.: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 194–215. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  11. 11.
    Wang, D.: Formalization and Specification of Geometric Knowledge Objects. In: Hu, Z., Zhang, J. (eds.) Proceedings of the Sixth Asian Workshop on Foundations of Software (AWFS 2009), Tokyo, Japan, pp. 86–98 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Xiaoyu Chen
    • 1
  • Ying Huang
    • 1
  • Dongming Wang
    • 2
  1. 1.LMIB – SKLSDE – School of Mathematics and Systems ScienceBeihang UniversityBeijingChina
  2. 2.Laboratoire d’Informatique de Paris 6Université Pierre et Marie Curie – CNRSParis cedex 05France

Personalised recommendations