Методика верификации темпоральных ограничений целостности на архиве версий онтологии
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Методика верификации темпоральных ограничений целостности на архиве версий онтологии
Методика верифікації темпоральних обмежень цілісності на архіві версій онтології Temporal integrity constraints verification technique over ontology versions archive |
|
| Creator |
Н.Г. Кеберле
Н.Г. Кеберле N.G. Keberle |
|
| Subject |
Кібернетика та системний аналіз
УДК 005.8:111:303.725 модель динамики знаний о предметной области, онтология предметной области, процесс управления изменениями в онтологии, темпоральное ограничение целостности, верификация темпорального ограничения целостности модель динаміки знань про предметну область, онтологія предметної області, процес управління змінами у онтології, темпоральне обмеження цілосності, верифікація темпорального обмеження цілісності dynamic domain knowledge model, domain ontology, ontology change management process, temporal integrity constraint, temporal integrity constraint verification |
|
| Description |
Контролируемый процесс управления изменениями в онтологиях предполагает наличие средств описания ограничений на изменения и средств их верификации. В работе приводятся методика верификации темпоральных ограничений целостности и результаты сравнительных экспериментов по оценке качества проведения изменений в онтологиях на примере архива версий промышленных онтологий.
Контрольований процес управління змінами у онтологіях застосовує засоби опису обмежень на зміни та засоби верифікації таких обмежень. У роботі наведені методика верифікації темпоральних обмежень цілісності та результати порівняльних експериментів з оцінки якості проведення змін у онтологіях на прикладі архіву версій промислових онтологій. Controlled ontology change management process uses declarative means to express modification constraints and tools to verify such constraints. In the paper reported are the technique of temporal integrity constraints verification and the results of comparative experiments on ontology change process quality given the archive of industrial ontologies. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2015
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/4148
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2015. — № 1(42). 34-38
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2015. — № 1(42). 34-38 Scientific Works of Kharkiv National Air Force University. — 2015. — № 1(42). 34-38 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/4148/zhups_2015_1_10.pdf
|
|