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

Отмечено, что динамические предметные области отражают развитие реального мира. Известные формальные модели динамических предметных областей в основном сфокусированы на базе фактов, лежащих в основе модели. Динамике структуры и семантики модели предметной области уделяется меньше внимания, несмотря на то, что влияние изменений в структуре/семантике более существенно. Моделирование динамической предметной области в информационной системе требует специальных средств для работы со временем. Предложена формальная модель онтологии динамической предметной области, включающей временную структуру. Представлены формальный язык для описания онтологии динамической предметной области и экспериментальные результаты проверки выполнимости формул предложенного языка.

Рассмотрена проблема анализа изменений, происходящих в онтологии некоторой предметной области в процессе её развития. Предложен вычислительный метод логического анализа изменений, основанный на методе семантических табло с учетом временной структуры. Применение метода для архива версий онтологий подтверждено экспериментально.

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

Можливість створення синтаксично коректних діаграм, заданих на деякій проблемно-орієнтованій мові, реалізується або процедурними засобами - вбудуванням у візуальні редактори інструментів перевірки коректності діаграми, або декларативними засобами - на рівні граматики мови діаграм. Запропоновано метод декларативного визначення граматики проблемно-орієнтованої мови діаграм. Показано застосування методу для мови ER-діаграм.

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

Отмечено, что контролируемый процесс управления изменениями в онтологиях предполагает наличие средств описания ограничений на изменения и средств их верификации. Приведена методика верификации темпоральных ограничений целостности и результаты сравнительных экспериментов по оценке качества проведения изменений в онтологиях на примере архива версий промышленных онтологий.