інтелектуальні мережі, ІМ, интеллектуальные сети, ИС, Intelligent Networks ; бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; верифікація, верификация ; гібридні технології, гибридные технологии ; дескриптивна логіка, дескриптивная логика ; онтологія, онтология ; семантичні технології, семантические технологии ; Web-Content, веб-контент

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

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