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

  Скачати повний текст