Давидовський М. В. Модель та метод міграції екземплярів онтологій у децентралізованих системах

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