1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 1(42)'2015
  5. Методика верификации темпоральных ограничений целостности на архиве версий онтологии

Методика верификации темпоральных ограничений целостности на архиве версий онтологии

Н.Г. Кеберле
УДК 005.8:111:303.725
Мова статті: російська
Анотації на мовах:

Контролируемый процесс управления изменениями в онтологиях предполагает наличие средств описания ограничений на изменения и средств их верификации. В работе приводятся методика верификации темпоральных ограничений целостности и результаты сравнительных экспериментов по оценке качества проведения изменений в онтологиях на примере архива версий промышленных онтологий.
Ключові слова: модель динамики знаний о предметной области, онтология предметной области, процесс управления изменениями в онтологии, темпоральное ограничение целостности, верификация темпорального ограничения целостности
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Кеберле Н.Г. Методика верификации темпоральных ограничений целостности на архиве версий онтологии / Н.Г. Кеберле  // Збірник наукових праць Харківського національного університету Повітряних Сил. – 2015. – № 1(42). – С. 34-38.