The paper proposed approach to mathematical text
interpretation using applied ontology. An experiment on partially
automated creating of ontological conception of geometry texts
for school was described (Including axioms, theorems and tasks). В работе предложен подход к интерпретации
математических текстов с помощью прикладной
онтологии. Описан эксперимент по полуавтоматической
генерации онтологического представления текстов
школьной геометрии. Разработана структура
представления в онтологии аксиом, теорем и задач.
Представлена схема целостной системы, включающей
лингвистическую обработку текста, онтологический
решатель и средства визуализации.