Об'єкт дослідження - створення формального опису знання про відношення, що представлені у вигляді математичних залежностей, між об'єктами предметної галузі в онтологічних базах знань. Предмет дослідження - методи та моделі розширення семантики відношень між об'єктами онтології предметної галузі на основі інтеграції до неї семантичних анотацій математичних залежностей з використанням технологій онтологічного інжинірингу. Методи дослідження базуються на комплексному використанні теорії формальних мов та систем, технології онтологічного інжинірингу, технології Semantic Web. Теоретичні та практичні результати роботи у сукупності є розв'язанням важливої науково-практичної задачі удосконалення можливостей онтологічних баз знань шляхом інтеграції моделей, що розширюють семантику відношень між об'єктами онтології за рахунок включення знання про математичні залежності між нимиї. Наукова новизна: 1) вперше запропоновано формальну модель семантичної анотації математичної залежності як особливого типу знань, яка містить в собі семантичні характеристики математичного виразу та опис засобів його реалізації в інформаційному просторі, що дозволяє створювати семантичні описи зовнішніх по відношенню до онтології інформаційних об'єктів, які реалізують обчислення математичних виразів, та інтегрувати такі описи в онтології як математичні знання; 2) вперше запропоновано формальну модель інтеграції нового знання, поданого у вигляді математичного виразу, в онтологію предметної галузі на основі застосування семантичної анотації математичної залежності, яка є сполучною ланкою між цільовою онтологією предметної галузі та онтологією опису математичного знання, що дозволяє розширити семантику відношень в онтології предметної галузі за рахунок використання формального знання про задане відношення, що створює можливість використовувати дві інтегровані онтології як одне ціле, не впливаючи на їх життєвий цикл; 3) удосконалено метод розширення семантики відношень між об'єктами онтологічної бази знань, що бере за основу метод інтеграції онтологічних структур - узгодження онтологій, який, на відміну від аналогів, передбачає уточнення семантичного опису відношень між об'єктами онтологічної структури у вигляді системи додаткових обмежень, що забезпечує можливість інтеграції онтологічних структур з різними чи непересічними контекстами застосування та дозволяє описувати об'єкти однієї онтології в термінах іншої. Ступінь впровадження - ТОВ "ІА "Інтерфакс-Україна", а також на кафедрі штучного інтелекту Харківського національного університету радіоелектроніки. Сфера використання - в організаціях, що займаються проблемами розробки систем, заснованих на знаннях, для підтримки процесів прийняття рішень, а також у навчальному процесі при підготовці фахівців у галузі систем інтелектуальної обробки інформації.
