Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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), http://www.openmath.org/
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)
GeoGebra Home, http://www.geogebra.org/cms/
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)
Intergeo Home, http://i2geo.net/xwiki/bin/view/Main/
JDIC Home, https://jdic.dev.java.net/
MathDox Formula Editor, http://www.mathdox.org/formulaeditor/
Quaresma, P., Janic̆ić, P.: GeoThms — Geometry Framework. Tech. Rep. CISUC TR 2006/002, Centre for Informatics and Systems, University of Coimbra (2006)
SAXON XSLT Processor Home, http://saxon.sourceforge.net/
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, X., Huang, Y., Wang, D. (2011). On the Design and Implementation of a Geometric Knowledge Base. In: Sturm, T., Zengler, C. (eds) Automated Deduction in Geometry. ADG 2008. Lecture Notes in Computer Science(), vol 6301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21046-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-21046-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21045-7
Online ISBN: 978-3-642-21046-4
eBook Packages: Computer ScienceComputer Science (R0)