Chen, Xiaoyu; Huang, Ying; Wang, Dongming On the design and implementation of a geometric knowledge base. (English) Zbl 1302.68252 Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 22-41 (2011). Summary: 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.For the entire collection see [Zbl 1214.68020]. Cited in 1 Document MSC: 68T30 Knowledge representation 51-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry Keywords:geometric knowledge; knowledge data; knowledge object; knowledge base; knowledge management Software:GEOTHER 1.1; MathDox; SymbolicData; GeoThms; GeoGebra; Intergeo PDFBibTeX XMLCite \textit{X. Chen} et al., Lect. Notes Comput. Sci. 6301, 22--41 (2011; Zbl 1302.68252) Full Text: DOI