Представлена онтология математического знания OntoMath^Edu, разрабатываемая с целью использования в образовательном процессе. Эта онтология предназначена для решения таких задач, как семантическая разметка математических учебников, автоматическая рекомендация учебных материалов в соответствии с индивидуальным профилем обучаемого, автоматическая генерация тестовых заданий для проверки знаний. Описаны иерархии типов, материализованных отношений, ролей и точек зрения. Приведены отношения между концептами онтологии.

онтология, математическое образование, OntoMath^Edu, планиметрия

Шакирова Лилиана Рафиковна,  ,  orcid.org/0000-0001-5758-4076,  Казанский федеральный университет

Фалилеева Марина Викторовна,  ,  Казанский федеральный университет

Кириллович Александр Витальевич,  ,  Казанский федеральный университет

Липачев Евгений Константинович,  ,  orcid.org/0000-0001-7789-2332,  Институт математики и механики им. Н.И. Лобачевского Казанского (Приволжского) федерального университета; Высшая школа информационных технологий и информационных систем Казанского (Приволжского) федерального университета

Невзорова Ольга Авенировна,  ,  orcid.org/0000-0001-8116-9446,  Высшая школа информационных технологий и информационных систем Казанского (Приволжского) федерального университета; Институт прикладной семиотики Академии Наук Республики Татарстан

Невзоров Владимир Николаевич,  ,  orcid.org/0000-0002-1887-5791,  Казанский национальный исследовательский технический университет им. А.Н. Туполева