Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry

Abstract

The work presented in this paper deals with the formalization of the ontology underlying projective geometry. This formalization is done by using the conceptual graph model which has been defined in the Artificial Intelligence community. Through this experiment, we endeavour to show that applying knowledge representation techniques to mathematical fields is… (More)
DOI: 10.1023/A:1022911730013

Topics

15 Figures and Tables

Cite this paper

@article{Frst2003OntologicalEA, title={Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry}, author={Fr{\'e}d{\'e}ric F{\"u}rst and Michel Lecl{\`e}re and Francky Trichet}, journal={Annals of Mathematics and Artificial Intelligence}, year={2003}, volume={38}, pages={65-89} }