×

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].

MSC:

68T30 Knowledge representation
51-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry
PDFBibTeX XMLCite
Full Text: DOI