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

Постачальник даних: УкрІНТЕІ (Український Інститут науково-технічної експертизи та Інформації)

  Завантажити автореферат