Об'єкт дослідження - процес верифікації знань в розподілених інформаційних інтелектуальних системах. Предмет дослідження - методи та моделі верифікації знань для інтелектуалізації Web-контенту. Методи дослідження базуються на на комплексному використанні теорії систем, теорії штучного інтелекту, теорії графів, формалізмів дескрипційних логік, що базуються на численні предикатів першого порядку, Web-технологій (зокрема, технологій Semantic Web) згідно з провідними дослідженнями консорціуму «The World Wide Web Consortium». Теоретичні та практичні результати роботи у сукупності є розв'язанням актуальної науково-практичної задачі, пов'язаної з інтелектуалізацією Web-контенту шляхом його верифікації. Наукова новизна: 1) вперше розроблено метод семантичної верифікації знань, який полягає в обґрунтуванні достовірності знань, поданих у Web-просторі за допомогою онтологічної моделі, на основі аналізу інформації, яка автоматично вилучається з розподілених різнорідних джерел, що дозволило підвищити рівень довіри до Web-контенту; 2) вперше розроблено метод інтерпретації верифікаційних елементів, який полягає у визначенні еквівалентності деревоподібних структур з урахуванням семантики вузлів, що дозволило класифікувати онтологічні знання за способом їх виведення та віднаходити зміни в механізмах виведення знань; 3) удосконалено модель подання онтологій, яка відрізняється від існуючих моделей, побудованих на основі дескрипційних логік, наявністю верифікаційної складової, яка розширює множину базових концептів та відношень, та додаванням верифікаційного компонента до існуючої триплетної форми опису тверджень, що дало можливість обґрунтовувати та пояснювати гібридне виведення знань; 4) вдосконалено модель Web-орієнтованих розподілених систем менеджменту різнорідних ресурсів, яка відрізняється від існуючих наявністю верифікаційних компонентів, що дозволило забезпечити виконання семантичної верифікації контенту в системах такого типу. Ступінь впровадження - ТОВ «КОДА», а також на кафедрі штучного інтелекту Харківського національного університету радіоелектроніки. Сфера використання - в організаціях, що займаються проблемами розробки систем, заснованих на знаннях, для підтримки процесів прийняття рішень, а також у навчальному процесі при підготовці фахівців у галузі систем інтелектуальної обробки інформації.
