Кеберле Н. Г. Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях.

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