Автоматическая разметка семантического содержимого документа явля-ется важной задачей при создании образовательных и энциклопедических ре-сурсов. В данной работе мы предлагаем алгоритм и программное обеспечение для разметки математических текстов терминами из онтологии школьной мате-матики OntoMathEdu, а также визуализации и ручного редактирования автома-тической разметки. Представленные результаты будут использоваться при раз-работке курса по обучению планиметрии в системе дистанционного образова-ния КФУ.
Automatic markup of the semantic content of a document is a popular task when creating educational and encyclopedic resources. In this paper, we propose an algorithm and software for marking mathematical texts with terms from the ontology of school mathematics OntoMathEdu, as well as visualization and manual editing of automatic markup. The presented results will be used in the development of a course on teaching planimetry in the digital education platform in KFU.