інтелектуальні технології, интеллектуальные технологии ; бази даних, БД, базы данных, databases, bases de donnees, bases de connaissances ; верифікація, верификация ; гібридні технології, гибридные технологии ; дескриптивна логіка, дескриптивная логика ; онтологія, онтология ; семантичні мережі, семантические сети ; Web-Content, веб-контент

Метою дослідження є розробка моделі та методів верифікації знань, що вилучаються з розподілених різнорідних джерел, шляхом доведення їх достовірності згідно з концепцією Semantic Web для інтелектуалізації Web-контенту. Вперше розроблено метод сематичної верифікації знань, який полягає в обгрунтуванні достовірності знань, поданих у Web-просторі за допомогою онтологічної моделі, на основі аналізу інформації, яка автоматично вилучається з розподілених різнорідних джерел, що дозволило підвищити рівень довіри до Web-контенту. Також розроблено метод інтерпретації верифікаційних елементів, який полягає у визначенні еквівалентності деревоподібних структур з урахуванням семантики вузлів. Це дозволило класифікувати онтологічні знання за способом їх виведення та віднаходити зміни в механізмах виведення знань.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Прикладні системи штучного інтелекту. Інтелектуальні системи, основані на знаннях