A mathematical ontology for a pertinent research of didactic exercises

Abstract

This paper presents a semantic annotation of mathematics exercises based on the canonical form of variables or formulas used in the text of exercise. A MathML representation of mathematical formulas has been exploited for the extraction of canonical forms. An extension of the educational ontology Math-Bridge is used for semantic annotation. The ontology consists of all the themes and sub-themes of algebra hierarchically structured by generalization relationships. Each themes of ontology contain useful new attributes for annotation.