Моделирование динамических предметных областей в онтологиях
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Моделирование динамических предметных областей в онтологиях
Моделювання динамічних предметних областей в онтологіях Modeling dynamic universes of discource in ontologies |
|
| Creator |
Н.Г. Кеберле
Н.Г. Кеберле N.G. Keberle |
|
| Subject |
Кібернетика та системний аналіз
УДК 004.82:510.643:519.688 модель динамической предметной области, онтология предметной области, временная логика, логический вывод модель динамічної предметної області, онтологія предметної області, темпоральна логіка, логічний вивід model of dynamic universe of discourse, domain ontology, temporal logic, logical reasonong |
|
| Description |
Динамические предметные области отраж ают развитие реального мира. Известные формальные модели динамических предметных областей в основном сфокусированы на базе фактов, леж ащих в основе модели. Динамике структуры и семантики модели предметной области уделяется меньше внимания, несмотря на то, что влияние изменений в структуре/семантике более существенно. Моделирование динамической предметной области в информационной системе требует специальных средств для работы со временем. В статье предлагается формальная модель онтологии динамической предметной области, включающей временную структуру. Представлены формальный язык для описания онтологии динамической предметной области и экспериментальные результаты проверки выполнимости формул предлож енного языка.
Динамічні предметні області відображають розвиток реального світу. Відомі формальні моделі динамічних предметних областей в основному сфокусовані на базі фактів, що складають основу моделі. Динаміці структури та семантики моделі предметної області приділяється менше уваги, незважаючи на те, що вплив змін у структурі/семантиці є більш істотним. Моделювання динамічної предметної області у інформаційній системі потрібує спеціальних засобів для роботи з часом. В статті запропоновано формальну модель онтології динамічної предметної області, що включає часову структуру. Запропоновані формальна мова для опису онтологій динамічної предметної області та експериментальні результати перевірки виконуваності формул цієї мови. Dynamic domains reflect evolving nature of the world. Known formal models of a dynamic domain are mainly focused on evolution of the factual base underlying the model. Structural and semantic evolution is paid less attention although the impact of structural/semantic evolution of a domain model on an information system is much more influent. Modeling of a dynamic domain in an information system requires special means to deal with time. The paper proposes a formal model of ontology for a dynamic domain, including a time frame. Presented is a formal language for dynamic domain ontology description and experimental results of satisfiability checking problem for formulae of this language. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2009
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/3983
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 121-127
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 121-127 Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 121-127 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/3983/zhups_2009_3_30.pdf
|
|