OntoMathEdu – Educational Mathematical Ontology: Structure and Relationships
We present the OntoMathEdu ontology of mathematical knowledge. We are developing this ontology for use in the educational process. This ontology is intended for solving such tasks as semantic markup of mathematical textbooks, automatic recommendation of training materials in accordance with the individual profile of the student, automatic generation of test tasks for knowledge testing. We describe the type hierarchy, the materialized relationships, the roles and points of view. We also present the relations between ontology concepts.