Бездушный А. А. "МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИСТЕМЫ ИНТЕГРАЦИИ ДАННЫХ НА ОСНОВЕ ОНТОЛОГИЙ"

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИСТЕМЫ ИНТЕГРАЦИИ ДАННЫХ НА ОСНОВЕ ОНТОЛОГИЙ

В статье предлагается формальная модель системы интеграции данных на основе онтологий и рассматривает-ся вопрос переформулировки запросов в такой системе. Предлагается выбор диалектов дескриптивной логики и языков запросов, при которых построение требуемой переформулировки возможно, а также алгоритм построения переформулировки для важного класса систем интеграции данных.
Ключевые слова: интеграция данных, онтологии, дескриптивная логика, OWL.

A. A. Bezdushny
Formal Model of Ontology-Based Data Integration Systems
The paper proposes a formal theory for ontology-based data integration systems, and considers the query rewriting problem for such class of data integration systems. A choice of appropriate description logic dialects and query languages is studied, provided that the rewriting problem is decidable. A query rewriting algorithm is proposed for an important class of ontology-based data integration systems.
Keywords: data integration, ontologies, description logics, OWL.

http://lib.nsu.ru:8080/jspui/handle/nsu/43