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

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

Динамические предметные области отраж ают развитие реального мира. Известные формальные модели динамических предметных областей в основном сфокусированы на базе фактов, леж ащих в основе модели. Динамике структуры и семантики модели предметной области уделяется меньше внимания, несмотря на то, что влияние изменений в структуре/семантике более существенно. Моделирование динамической предметной области в информационной системе требует специальных средств для работы со временем. В статье предлагается формальная модель онтологии динамической предметной области, включающей временную структуру. Представлены формальный язык для описания онтологии динамической предметной области и экспериментальные результаты проверки выполнимости формул предлож енного языка.
Ключові слова: модель динамической предметной области, онтология предметной области, временная логика, логический вывод
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Кеберле Н. Г. Моделирование динамических предметных областей в онтологиях / Н. Г. Кеберле  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3. — С. 121-127.