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

 Наукова періодика України 

---

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

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

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