Abstract:
Copyright © 2020 for this paper by its authors. In this paper, we discuss the current stage of development of the educational mathematical ontology OntoMathEdu, firstly presented by us at INTED 2019 and CICM 2019. This ontology is intended to be used as a Linked Open Data hub for mathematical education, a linguistic resource for intelligent mathematical language processing and an end-user reference educational database. The ontology is organized in three layers: a foundational ontology layer, a domain ontology layer and a linguistic layer. The domain ontology layer contains language-independent concepts, covering secondary school mathematics curriculum. The linguistic layer provides linguistic grounding for these concepts, and the foundation ontology layer provides them with meta-ontological annotations. Our current work is dedicated to development of prerequisite relationships of the OntoMathEdu ontology. We introduce these relationships by manual arrangement of the concepts of OntoMathEdu by educational levels. After that, we conduct preliminary evaluation of the ontology. The ontology will be used as a foundation of the new digital educational platform of Kazan Federal University.
