Formalization and Specification of Geometric Knowledge Objects

Xiaoyu Chen Dongming Wang 1
1 PolSys - Polynomial Systems
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : This paper presents our work on the identification, formalization, structuring, and specification of geometric knowledge objects for the purpose of semantic representation and knowledge management. We classify geometric knowledge according to how it has been accumulated and represented in the geometric literature, formalize geometric knowledge statements by adapting the language of first-order logic, specify knowledge objects with embedded knowledge in a retrievable and extensible data structure, and organize them by modeling the hierarchic structure of relations among them. Some examples of formal specification for geometric knowledge objects are given to illustrate our approach. The underlying idea of the approach has been used successfully for automated geometric reasoning, knowledge base creation, and electronic document generation.
Type de document :
Article dans une revue
Mathematics in Computer Science, Springer, 2013, 7 (4), <10.1007/s11786-013-0167-4>
Liste complète des métadonnées

https://hal.inria.fr/hal-00913400
Contributeur : Dongming Wang <>
Soumis le : mardi 3 décembre 2013 - 16:07:09
Dernière modification le : mercredi 29 juillet 2015 - 01:25:44

Identifiants

Collections

Citation

Xiaoyu Chen, Dongming Wang. Formalization and Specification of Geometric Knowledge Objects. Mathematics in Computer Science, Springer, 2013, 7 (4), <10.1007/s11786-013-0167-4>. <hal-00913400>

Partager

Métriques

Consultations de la notice

180