Впервые предложена формальная модель семантической аннотации математической зависимости, которая содержит в себе семантические характеристики математического выражения и средств его реализации в информационном пространстве, а также описывает знания об отношениях между объектами предметной области. Предложенные метод и модели формального описания математического знания нашли свою практическую реализацию при расширении возможностей языков Semantic Web - OWL и RDFS, a также при совершенствовании возможностей среды онтологического моделирования TopBraid Composer за счет придания ему возможности обрабатывать предложенные модели с помощью вычислительных возможностей пакета Mathematica.