Представлена новая версия онтологии профессионального математического знания OntoMathPRO. Эта онтология спроектирована как концептуальная модель основных разделов математики. Текущая версия онтологии дополнена новыми разделами профессиональной математики. Разработана сеть пререквизитных отношений между классами онтологии, что расширило возможности создания приложений в области преподавания математики. В новой версии онтологии OntoMathPRO введены материализованные отношения между концептами. Для этого концепты онтологии дополнительно разделены на типы и роли. Концепты-роли выступают в качестве аргументов материализованных отношений. Одной из особенностей новой версии онтологии является включение многоязычных лексиконов для выражения математических концептов в текстах на естественном языке. Указаны некоторые важные применения онтология OntoMathPRO в различных областях знания.

концептуальная модель математики, математическая онтология, онтология OntoMathPRO, материализованное отношение, предметная онтология, представление математического знания.

Елизаров Александр Михайлович,  amelizarov@gmail.com,  orcid.org/0000-0003-2546-6897,  Институт информационных технологий и интеллектуальных систем Казанского федерального университета; Институт математики и механики им. Н.И. Лобачевского КФУ; Казанский филиал Межведомственного суперкомпьютерного центра Российской академии наук

Кириллович Александр Витальевич,  alik.kirillovich@gmail.com,  orcid.org/0000-0001-9680-449X,  Казанский филиал Межведомственного суперкомпьютерного центра Российской академии наук

Липачёв Евгений Константинович,  elipachev@gmail.com,  orcid.org/0000-0001-7789-2332,  Институт информационных технологий и интеллектуальных систем Казанского федерального университета; Институт математики и механики им. Н.И. Лобачевского КФУ

Невзорова Ольга Авенировна,  onevzoro@gmail.com,  orcid.org/0000-0001-8116-9446,  Казанский федеральный университет