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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Кеберле Наталія Геннадіївна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"