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

Н.Г. Кеберле
Анотації на мовах:

Динамічні предметні області відображають розвиток реального світу. Відомі формальні моделі динамічних предметних областей в основному сфокусовані на базі фактів, що складають основу моделі. Динаміці структури та семантики моделі предметної області приділяється менше уваги, незважаючи на те, що вплив змін у структурі/семантиці є більш істотним. Моделювання динамічної предметної області у інформаційній системі потрібує спеціальних засобів для роботи з часом. В статті запропоновано формальну модель онтології динамічної предметної області, що включає часову структуру. Запропоновані формальна мова для опису онтологій динамічної предметної області та експериментальні результати перевірки виконуваності формул цієї мови.
Ключові слова: модель динамічної предметної області, онтологія предметної області, темпоральна логіка, логічний вивід