Онтология математического знания OntoMath$^{\operatorname{PRO}}$

Представлена онтология OntoMath$^{\operatorname{PRO}}$ – первая семантическая веб-онтология профессионального математического знания, предназначенная для классификации и систематизации математических понятий. Концепты онтологии организованы в две иерархии: математических объектов и материализованных отношений. Учтены мета-онтологические различия, определенные в онтологии верхнего уровня, проведено разделение концептов на типы и роли. Отношения между понятиями заданы в материализованном виде. Аргументами материализованных отношений являются концепты-роли. В онтологии определены также многоязычные лексиконы для выражения математических концептов в текстах на естественном языке. Эти лексиконы представлены в виде наборов лингвистических открытых связанных данных. Проект построения OntoMath$^{\operatorname{PRO}}$ находится в развитии и предусматривает пополнение онтологии новыми разделами математики и расширение сферы ее практического применения.