Ontological engineering and mathematical knowledge management: A formalization of projective geometry

DOI10.1023/A:1022911730013MaRDI QIDQ1810912zbMATH OpenOpenAlexFDO

Authors Frédéric Fürst, Francky Trichet, Michel Leclère

Publication date 9 June 2003

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022911730013

zbMATH Keywords

projective geometryontologyconceptual graphsoperationalization

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Contribution of the ontology engineering to mathematical knowledge management
• Mathematical knowledge representation: semantic models and formalisms
• Formalization and specification of geometric knowledge objects
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization

Cited in

(6)

• Mathematical knowledge representation: semantic models and formalisms
• Contribution of the ontology engineering to mathematical knowledge management
• The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization
• Semantic representation of general topology in the Wolfram language
• Formalization and specification of geometric knowledge objects
• \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge

This page was built for publication: Ontological engineering and mathematical knowledge management: A formalization of projective geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1810912)