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