On the Design and Implementation of a Geometric Knowledge Base
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.
Keywordsgeometric knowledge knowledge data knowledge object knowledge base knowledge management
Unable to display preview. Download preview PDF.
- 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), http://www.openmath.org/
- 3.GeoGebra Home, http://www.geogebra.org/cms/
- 5.Intergeo Home, http://i2geo.net/xwiki/bin/view/Main/
- 6.JDIC Home, https://jdic.dev.java.net/
- 7.MathDox Formula Editor, http://www.mathdox.org/formulaeditor/
- 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.SAXON XSLT Processor Home, http://saxon.sourceforge.net/
- 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