Интеграция аксиоматики дескриптивных логик с реляционной моделью данных

Abstract

Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2 и отображения базовых концептов логики ALC в RDM.

Робота є логічним продовженням раніше опублікованих досліджень, які були присвячені опису відображень між дескриптивною логікою та реляційною моделлю даних. За допомогою попередньо створеної бінарної реляційної структури даних здійснюється відображення аксіоматики дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були отримані у минулих дослідженнях, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM.

The paper is a logical continuation of the previously published work, which was dedicated to the creation of mappings from the description logic into binary relational data model. On base of the previously created binary relational data structure we perform mappings of the ALC axiomatic into relational data model (RDM). The results of previous research namely data structure RM2, mappings of the basic ALC concepts were used in this paper.