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

  Скачати повний текст

Запропоновано формальну модель динаміки знань про предметну область, що враховує темпоральну структуру, в межах якої розвивається динамічна предметна область. Розроблено метричні темпоральні логічні числення для формального подання моделі динаміки знань. Для розроблених числень на базі методу семантичних табло побудовано методи перевірки виконуваності формул. Формалізовано поняття темпорального обмеження цілісності в межах моделі динаміки знань. Розроблено обчислювальний метод верифікації темпоральних обмежень цілісності, який базується на методах перевірки виконуваності формул метричних темпоральних числень. Запропоновані моделі та методи використано для перевірки якості моделей знань в процесі управління змінами в онтологіях інформаційних систем підтримки технічної підготовки виробництва. Розроблено прототип програмного комплексу підтримки процесу автоматизованої верифікації темпоральних обмежень цілісності, заданих на етапі специфікації модифікацій у процесі управління змінами в онтологіях.

  Скачати повний текст