Integration of the family of extended description logic languages with relational data model

Integration of the family of extended description logic languages with relational data model

The paper is a logical continuation of the previously published work, which was dedicated to the creation of the data manipulation methods. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previ...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2018
Автори: Reznichenko, V.A., Chystiakova, I.S.
Формат: Стаття
Мова:rus
Опубліковано: Інститут програмних систем НАН України 2018
Теми:
semantic web
description logic mspping
ALC
RDM
relational data model
description logic extensions
binary relational structure
RM2
UDC 004.62
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/179
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming
id pp_isofts_kiev_ua-article-179
record_format ojs
resource_txt_mv ppisoftskievua/9b/04609be0634508b89cb8c93cdb4f709b.pdf
spelling pp_isofts_kiev_ua-article-1792024-04-28T13:09:54Z Integration of the family of extended description logic languages with relational data model Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных Інтеграція сімейства розширених дескриптивних логік з реляційною моделлю даних Reznichenko, V.A. Chystiakova, I.S. semantic web; description logic mspping; ALC; RDM; relational data model; description logic extensions; binary relational structure; RM2 UDC 004.62 семантический веб; отображения дескриптивной логики; ALC; RDM; дескриптивная логика; реляционная модель данных; расширения дескриптивной логики; бинарная реляционная структура данных; RM2 УДК 004.62 семантичний веб; відображення дескриптивної логіки; ALC; RDM; дескриптивна логіка; реляційна модель даних; розширення дескриптивної логіки; бінарна реляційна структура даних; RM2 УДК 004.62 The paper is a logical continuation of the previously published work, which was dedicated to the creation of the data manipulation methods. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previous research namely data structure RM2 and mappings of the basic ALC concepts into RDM was used in this paper.Problems in programming 2016; 2-3: 32-37 Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение расширений дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2, отображения базовых концептов логики ALC в RDM.Problems in programming 2016; 2-3: 32-37 Робота є логічним продовженням раніше опублікованого дослідження, яке було присвячено створенню засобів маніпулювання даними. За допомогою раніше створеної бінарної реляційної структури даних здійснюється відображення розширень дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були попередньо отримані, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM.Problems in programming 2016; 2-3: 32-37 Інститут програмних систем НАН України 2018-07-06 Article Article application/pdf https://pp.isofts.kiev.ua/index.php/ojs1/article/view/179 10.15407/pp2016.02-03.032 PROBLEMS IN PROGRAMMING; No 2-3 (2016); 32-37 ПРОБЛЕМЫ ПРОГРАММИРОВАНИЯ; No 2-3 (2016); 32-37 ПРОБЛЕМИ ПРОГРАМУВАННЯ; No 2-3 (2016); 32-37 1727-4907 10.15407/pp2016.02-03 rus https://pp.isofts.kiev.ua/index.php/ojs1/article/view/179/174 Copyright (c) 2017 ПРОБЛЕМИ ПРОГРАМУВАННЯ
institution Problems in programming
baseUrl_str https://pp.isofts.kiev.ua/index.php/ojs1/oai
datestamp_date 2024-04-28T13:09:54Z
collection OJS
language rus
topic semantic web
description logic mspping
ALC
RDM
relational data model
description logic extensions
binary relational structure
RM2
UDC 004.62
spellingShingle semantic web
description logic mspping
ALC
RDM
relational data model
description logic extensions
binary relational structure
RM2
UDC 004.62
Reznichenko, V.A.
Chystiakova, I.S.
Integration of the family of extended description logic languages with relational data model
topic_facet semantic web
description logic mspping
ALC
RDM
relational data model
description logic extensions
binary relational structure
RM2
UDC 004.62
семантический веб
отображения дескриптивной логики
ALC
RDM
дескриптивная логика
реляционная модель данных
расширения дескриптивной логики
бинарная реляционная структура данных
RM2
УДК 004.62
семантичний веб
відображення дескриптивної логіки
ALC
RDM
дескриптивна логіка
реляційна модель даних
розширення дескриптивної логіки
бінарна реляційна структура даних
RM2
УДК 004.62
format Article
author Reznichenko, V.A.
Chystiakova, I.S.
author_facet Reznichenko, V.A.
Chystiakova, I.S.
author_sort Reznichenko, V.A.
title Integration of the family of extended description logic languages with relational data model
title_short Integration of the family of extended description logic languages with relational data model
title_full Integration of the family of extended description logic languages with relational data model
title_fullStr Integration of the family of extended description logic languages with relational data model
title_full_unstemmed Integration of the family of extended description logic languages with relational data model
title_sort integration of the family of extended description logic languages with relational data model
title_alt Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
Інтеграція сімейства розширених дескриптивних логік з реляційною моделлю даних
description The paper is a logical continuation of the previously published work, which was dedicated to the creation of the data manipulation methods. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previous research namely data structure RM2 and mappings of the basic ALC concepts into RDM was used in this paper.Problems in programming 2016; 2-3: 32-37
publisher Інститут програмних систем НАН України
publishDate 2018
url https://pp.isofts.kiev.ua/index.php/ojs1/article/view/179
work_keys_str_mv AT reznichenkova integrationofthefamilyofextendeddescriptionlogiclanguageswithrelationaldatamodel
AT chystiakovais integrationofthefamilyofextendeddescriptionlogiclanguageswithrelationaldatamodel
AT reznichenkova integraciâsemejstvarasširennyhdeskriptivnyhlogiksrelâcionnojmodelʹûdannyh
AT chystiakovais integraciâsemejstvarasširennyhdeskriptivnyhlogiksrelâcionnojmodelʹûdannyh
AT reznichenkova íntegracíâsímejstvarozširenihdeskriptivnihlogíkzrelâcíjnoûmodellûdanih
AT chystiakovais íntegracíâsímejstvarozširenihdeskriptivnihlogíkzrelâcíjnoûmodellûdanih
first_indexed 2024-09-16T04:07:30Z
last_indexed 2024-09-16T04:07:30Z
_version_ 1818527780531339264
fulltext Теоретичні та методологічні основи програмування © В.А. Резниченко, И.С. Чистякова, 2016 38 ISSN 1727-4907. Проблеми програмування. 2016. № 2–3. Спеціальний випуск УДК 004.62 ИНТЕГРАЦИЯ СЕМЕЙСТВА РАСШИРЕННЫХ ДЕСКРИПТИВНЫХ ЛОГИК С РЕЛЯЦИОННОЙ МОДЕЛЬЮ ДАННЫХ В.А. Резниченко, И.С. Чистякова Работа является логическим продолжением ранее опубликованного исследования, посвященного созданию способов манипулирования данными. На основе созданной ранее бинарной реляционной структуры данных, осуществляется отображение расширений дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2, отображения базовых концептов логики ALC в RDM. Ключевые слова: семантический веб, отображения дескриптивной логики, ALC, RDM, дескриптивная логика, реляционная модель данных, расширения дескриптивной логики, бинарная реляционная структура данных, RM2. Робота є логічним продовженням раніше опублікованого дослідження, яке було присвячено створенню засобів маніпулювання даними. За допомогою раніше створеної бінарної реляційної структури даних здійснюється відображення розширень дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були попередньо отримані, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM. Ключові слова: семантичний веб, відображення дескриптивної логіки, ALC, RDM, дескриптивна логіка, реляційна модель даних, розширення дескриптивної логіки, бінарна реляційна структура даних, RM2. The paper is a logical continuation of the previously published work, which was dedicated to the creation of the data manipulation methods. Based on the previously created binary relational data structure we perform mappings of the ALC extension into relational data model (RDM). The results of previous research namely data structure RM2 and mappings of the basic ALC concepts into RDM was used in this paper. Key words: semantic web, description logic mspping, ALC, RDM, relational data model, description logic extensions, binary relational structure, RM2. Введение Данная работа является логическим продолжением исследований в области создания механизмов отображения между дескриптивными логиками и реляционной моделью данных. В работе [1] был приведен детальный обзор комплексной проблемы интеграции данных в семантическом вебе. Она состоит из трех основных компонент: выработка схем интеграции данных, выработка отображений между моделями, выработка способов манипулирования данными. Основываясь на результатах этой работы, авторами была проработана вторая составляющая комплексной проблемы интеграции данных, в результате чего был создан механизм отображения базовых концептов дескриптивной логики ALC в реляционную модель данных (RDM), который детальным образом изложен в работе [2]. Данный механизм относится к таким, которые осуществляют взаимодействие между знание- ориентированными системами, и позволяет преодолеть следующие трудности [2]:  устранение признаков, порождающих гетерогенность данных [1];  взаимодействие систем, в основе которых лежат классические модели данных, с современными онтолого-ориентированными системами;  устранение дублирования данных;  возможность повторного использования различных компонентов системы;  возможность построения комплексных информационных систем из разнородных составляющих. Ввиду ряда особенностей комплексной проблемы интеграции данных, приведенных в обзоре [1], в основу механизма отображений легли следующие компоненты:  центральная схема интеграции данных;  GAV/LAV представление;  формально-логический уровень абстракции. Суть центральной интеграции данных подробно изложена в [1]. О сущности GAV/LAV представлений рекомендуем ознакомиться в [3]. Под формально-логическим уровнем абстракции авторы понимают решение проблемы на уровне моделей, а не на уровне прикладных реализаций. Мы рассматриваем создание механизмов отображений не на уровне прикладных реализаций (онтологий, баз данных и пр.), а на уровне моделей, лежащих в их основе. Механизм отображения [2], который применяем в текущем исследовании, базируется на трех этих особенностях. В качестве центральной схемы интеграции он использует бинарную реляционную структуру данных, в основе которой лежит дескриптивная логика ALC. Согласно GAV-представлению, механизм должен иметь схему источника. В текущей работе мы продолжаем использовать в этой роли реляционную Теоретичні та методологічні основи програмування 39 модель данных. Также не выходим за рамки GAV-представлений, оставляя создание отображений на основе LAV-представлений предметом дальнейших исследований. В разделе 1 кратко изложена суть упоминаемого механизма, с помощью которого проводятся исследования, результаты которых мы представляем в текущей работе. В разделе 2 рассматривается создание отображений расширений логики ALC в RDM. Раздел 3 посвящен основным выводам. Интеграция базовых концептов DL ALC в RDM Поскольку дескриптивная логика (DL) призвана решать совершенно иные задачи, нежели модель данных, постольку был сформулирован тезис: DL можно рассматривать в качестве модели данных. Обоснование этого утверждения приведено в [2]. Проанализировав ряд публикаций, посвященных созданию отображений между реляционной моделью данных и онтологией, мы пришли к выводу, что описанный нами подход имеет ряд преимуществ над прочими. Прежде всего, следует отметить, что независимо от вариантов установления отображения следует отслеживать и управлять следующими ситуациями:  возможная потеря данных. Преобразование должно быть таким, что результирующая модель содержала в себе все данные исходной модели;  возможная потеря семантики. Возможна ситуация, когда данные не теряются, но их семантика при преобразовании «теряется». К таким семантическим характеристикам, например, в реляционной модели относятся ограничения целостности. При преобразовании следует либо гарантировать сохранение семантики, либо указывать, в каких случаях какая именно семантика теряется;  полнота преобразования. Полнота предполагает, что все, что представимо в исходной модели, может быть преобразовано в результирующую модель;  взаимная однозначность. Она предполагает, что результат преобразования при обратном отображении дает исходный объект исходной модели. Существует следующая классификация направлений исследований и разработок в области описания отображений между онтологической и реляционной моделью данных [4, 5]. 1. Использование промежуточной модели данных. Именно этот подход подробно изложен в фундаментальной работе [2]. Его идея заключается в том, что преобразование производится не непосредственно, а с использованием промежуточной модели, предполагая, что описание отображений между такой моделью-посредником, с одной стороны, и онтологией и реляционной моделью, с другой стороны, производится намного легче и естественнее. В зависимости от исследования, в качестве центральной схемы предлагается использовать UML, ER и др. 2. Непосредственное отображение онтологии в реляционную базу данных. Суть этого подхода заключается в том, что предлагается алгоритм преобразования онтологии в базу данных. Исследователи рассматривают различные модели баз данных для такого преобразования – реляционную, объектную, объектно- реляционную. Смысл всегда один и тот же: набор правил, согласно которым каждый конкретный элемент онтологии преобразуется в элемент реляционной базы данных (RDB). Авторы таких методологий отмечают серьезные трудности, возникающие при попытке сохранить семантику данных онтологии. 3. Непосредственное отображение реляционной базы данных в онтологию. Это наиболее популярное направление среди всех, имеющих отношение к установлению взаимосвязи между онтологиями и RDB. Его суть не сильно отличается от предыдущего пункта. Каждый метод представляет собой некоторые правила, согласно которым каждый элемент базы данных преобразовывается в элемент онтологии. В зависимости от исследования выделяются три направления: отображения схемы (метаданных) RDB в онтологию, отображения с учетом анализа данных БД, отображения с учетом анализа запросов к БД. 4. Создание и использование онтолого-ориентированной базы данных. Суть заключается в создании специализированных БД, которые в качестве данных будут содержать онтологию и её данные. Приведем здесь краткие выводы, которые мы сформулировали в результате анализа текущих исследований [2], раскрывая суть и основные преимущества нашего метода. 1. Отсутствие формального подхода. В качестве информационной модели семантического веба выбирается онтология и, как правило, в ее лице берется OWL. В связи с тем, что язык OWL сам по себе не является формальным языком, описание механизма отображений дается на содержательном уровне в виде набора описательных правил. В нашем случае для описания отображений мы берем DL, что дает возможность поставить проблему отображений на более формальный уровень. 2. Односторонний механизм описания отображений. Как правило, независимо описываются отображения из онтологии в RDM и наоборот, проблема установления взаимно-однозначного соответствий при этом не решается. Мы стремимся к тому, чтобы в нашем подходе эта проблема была решена. 3. Отображаются только структурные составляющие моделей. Существующие механизмы описывают отображение только структурных компонент модели данных. Абсолютно ничего не говорится об отображении конструкторов концептов и ролей, с одной стороны, и операций реляционной алгебры – с другой. Наш подход Теоретичні та методологічні основи програмування 40 заключается в том, чтобы также отразить и эту составную часть отображений. 4. Конструкции, которые не отображаются. Совершенно не понятно, каким образом отображать в классическую реляционную модель аксиомы DL (равенства, включения и непересекаемости концептов). Мы предлагаем реляционную структуру, которая предоставляет такие возможности. 5. Гипотезы открытого мира и не уникальности имен. DL строится в предположении существования гипотез открытого мира и не уникальности имен. В свою очередь, реляционная модель формулируется из предположения существования гипотез замкнутого мира и уникальности имен. Предлагая свой вариант реляционной структуры, мы отчасти решаем эти противоречия. Как было сказано, основополагающей частью механизма отображений является центральная схема, в роли которой выступает DL ALC, представленная в виде модели данных. В работе [2] приводится обоснование такого выбора. Для текущего исследования приведем лишь наиболее важные аспекты. 1. ALC является базой для многих современных DL. Логики ALCF, ALCN, ALCQ, ALCI, ALC(o), представленные в текущем исследовании, расширяют синтаксис ALC. Это означает, что все базовые понятия ALC обязательно представлены в каждой из этих логик. 2. ALC представлена в виде модели данных. Для этого мы создали реляционную структуру, которая является специальным вариантом классической реляционной структуры, в терминах которой мы описали эту модель. Это сделано с помощью языка ER при посредничестве ER-модели. Графическое представление ER- схемы приведено в [2]. 3. Структура не содержит сущностей, которые представляют n-арные отношения. В структуре присутствуют только те сущности, которые представляют унарные и бинарные отношения, т.к. в DL ALC n-арные отношения и их экземпляры отсутствуют. Следует отметить, что DL с n-арными отношениями существуют, однако они представляют собой специальные расширения ALC, поэтому на данном этапе мы решили отказаться от них. 4. В нашей структуре представлена как модельная, так и метамодельная часть. Метамодельная часть – сущности Concept и Role, содержащие перечни имен концептов и ролей соответственно. Модельная часть – Concept Individual и Role Individual, которые представляют собой индивиды концептов и индивиды ролей. В явном виде таких элементов, как индивиды ролей нет в DL, однако мы вводим данную сущность для связывания индивидов концептов с именами ролей. 5. Наличие сущностей-связок. С помощью сущностей-связей, которые обозначены как «=», «⊑» и «∅» для сущностей концептов и ролей, представляются аксиомы равенства, включения и непересекаемости концептов и ролей логики DL ALC. Сущность-связка «=» представлена для индивидов концептов и предназначена для представления аксиом равенства индивидов в DL. Она показывает, что у одного индивида может быть множество имен, то есть не выполняется принцип уникальности. Однако по-прежнему одно имя именует только один индивид. Следует отметить, что для индивидов ролей мы не вводим такую аксиому, потому что на данный момент этот вопрос недостаточно исследован, и у нас нет никаких оснований утверждать, что одна и та же связь между одними и теми же индивидами может иметь несколько имен. Поэтому, в нашей структуре верно лишь утверждение о том, что экземпляр роли существует и представляет собой пару индивидов концептов, связанную определенной ролью. 6. Роль существует как самостоятельная единица. В любой DL роль не может существовать отдельно. В нашей структуре это возможно, и роль представлена её именем, а также именем концепта-домена и именем концепта-диапазона. 7. Представление бинарной реляционной структуры данных в терминах RDM. Такую структуру мы обозначили как RM2, где индекс 2 показывает наличие не более чем бинарных отношений. Схематическое представление бинарной реляционной структуры данных приведено в [2]. Поскольку мы будем пользоваться понятиями этой структуры, приведем их текстовое описание. Отношение Concept. Относится к метамодельной части. Содержит в себе кортежи с именами концептов. Атрибуты: ConceptPK – primary key отношения. ConceptName – имя концепта. Отношение Role. Относится к метамодельной части. Содержит в себе кортежи с именами ролей. Атрибуты: RolePK – primary key отношения. Теоретичні та методологічні основи програмування 41 RoleName – имя роли. Отношение ConceptIndividual. Относится к модельной части. Содержит в себе кортежи с именами индивидов. Атрибуты: ConIndPK – primary key отношения. ConIndName – имя индивида. Отношение RoleIndividual. Относится к модельной части. Содержит в себе кортежи, которые представляют собой индивиды ролей. В явном виде таких экземпляров в DL нет, поэтому в нашей структуре это отношение определяется через foreign key на индивид R-последователя, foreign key на индивид R-преемника и primary key, определяющий конкретный экземпляр, соединяющий оба конкретных индивида. Атрибуты: RoleIndPK – primary key отношения. DomainConIndFK – foreign key на индивид R-преемника. RangeConIndFK – foreign key на индивид R-последователя. Отношения LinkConceptIndividual и LinkRoleIndividual. Дополнительные отношения RM2. Поскольку один концепт может иметь множество индивидов, а один и тот же индивид может принадлежать нескольким концептам, то для разрешения связи многие-ко-многим мы вводим дополнительное отношение LinkConceptIndividual. Аналогично, отношение LinkRoleIndividual разрешает связь многие-ко-многим между ролями и индивидами, которые она связывает. Каждая роль имеет много экземпляров, связывающих два индивида. С другой стороны, каждая конкретная пара индивидов может быть связана несколькими ролями. Атрибуты LinkConceptIndividual: LinkConFK – foreign key на отношение Concept. LinkConIndFK – foreign key на отношение ConceptIndividual. Атрибуты LinkRoleIndividual: LinkRoleFK – foreign key на отношение Role. LinkRoleIndFK – foreign key на отношение RoleIndividual. Для описания отображений нам также потребуются операции реляционной алгебры. Их полный перечень вместе с синтаксисом и семантикой приведены в [2]. Для описания отображений нам потребуется синтаксис ALC. Приведем его: ⊤ | ⊥ | A | ¬C | C⨅D | C⨆D | ∃R.C | ∀R.C Согласно определениям [6, 7]:  синтаксис DL описывает, какие выражения (концепты, роли, аксиомы и т. п.) считаются правильно построенными в данной логике;  семантика указывает, как интерпретировать синтаксические выражения, т. е. придать им формальный смысл. На основании описания реляционной структуры RM2:  синтаксические концепты ALC будут считаться правильно построенными в RM2;  классическая семантика полностью сохраняется в ALC;  интерпретация синтаксиса ALC в терминах структуры RM2 и является искомым набором отображений, описывающим интерпретацию синтаксиса DL ALC в RDM. Приведем набор обозначений, необходимых для описания отображений. В таблице приведены все базовые составляющие синтаксиса ALC. Индекс DL обозначает классическое семантическое обозначение, отличное от обозначений отображений в структуре RM2. Показатель Е (экстенсионал) обозначает синтаксические конструкции, которые интерпретируются в RM2. Как уже упоминалось, в DL не существует роль как самостоятельная единица, поэтому для нее не приводится семантическое обозначение в строке ALC. Однако, она существует в описываемой нами реляционной структуре, потому для ее обозначения вводится специальный символ. Теоретичні та методологічні основи програмування 42 Таблица. Набор обозначений для описания отображений C D R C C ⊓ D C ⊔ D ∃R.C ∀R.C ALC I DLC I DLD – I DLC)( I DLDC )(  I DLDC )(  I DLCR ).( I DLCR ).( RM2 E RM C 2 E RM D 2 E RM R 2 E RM C 2)( E RM DC 2)(  E RM DC 2)(  E RM CR 2).( E RM CR 2).( Приведем отображения всех этих конструкций. Мы не будем углубляться в объяснение, поскольку оно присутствует в [2]. Приведем лишь конечные формулы. Согласно [7], все выражения в семантике ALC интерпретируются индукцией по построению концепта, с помощью интерпретирующей функции. Следуя этому правилу:  каждому атомарному концепту А соответствует произвольное подмножество АI⊆∆;  каждой атомарной роли R соответствует произвольное подмножество RI⊆∆∆;  концепт истина (Thing) представляет собой всю область определения ⊤I⊆∆;  концепт ложь (Nothing) представляет собой пустое множество. В нашей структуре данные выражения будут интерпретироваться следующим образом:  каждый концепт (атомарный и обычный) будут представлять собой экземпляр отношения Concept;  каждая роль будет представлять собой экземпляр отношения Role;  концепт истина (Thing) представляет собой отношение ConceptIndividual;  концепт ложь (Nothing) останется пустым множеством. Отображения концептов С и D. E RM C 2 = πConIndName (σConceptName=’C’ (ConceptIndividual ⋈ConIndPK=LinkConIndFK (LinkConceptIndividual⋈LinkConFK=ConceptPK Concept))). Описание концепта D происходит аналогично концепту С, но на шаге 2 селекция производится не по «С», а по «D». Отображение роли R. E RM R 2 = πDomain, Range (ρConIndName/Domain (ConceptIndividual⋈ContIndPK=DomainConIndFK (ρConIndName/Range ( ConceptIndividual⋈ContIndPK=RangeConIndFK(σ RoleName=’R’(RoleIndividual ⋈RoleIndPK=LinkRoleIndFK(LinkRoleIndividual⋈LinkRoleFK=RolePKRole))))))). Отображение дополнения концепта ¬С. E RM SC)( = π ConIndName (ConceptIndividual) – E RM SC . Отображение объединения концептов (C ∪ D). (C ⊔ D) E RM 2 = E RM C 2 ⋃ E RM D 2 . Отображение пересечения концептов (C ∩ D). (C ⊓ D) E RM 2 = E RM C 2 ⋂ E RM D 2 . Теоретичні та методологічні основи програмування 43 Отображение конструктора экзистенциального ограничения (∃R.C). E RM CR 2).( = π Domain( E RM R 2 ⋈ Range = ConIndName E RM C 2 ). Отображение конструктора ограничения значения (∀R.C).  E RM CR 2).( π Domain E RM R 2 -π Domain( E RM R 2 ⋂ (π Domain E RM R 2  (πRange E RM R 2 -πConIndName E RM C 2 ))). Отображение расширений DL ALC в RDM Существуют многочисленные расширения логики ALC путем добавления новых конструкторов для построения концептов и ролей, либо добавления новых видов аксиом. В работе [8] выделяют две категории расширений: «классические» и «не классические». Строго формального определения у категорий нет, есть лишь существенные отличия. К «классическим» относятся такие расширения, чья семантика может быть интерпретирована с помощью теоретико-модельного подхода, в то время как определение семантики «не классических» конструкторов проблематичнее, и требует расширения теоретико-модельного подхода. Ввиду отсутствия строгой классификации, «классические» расширения можно так же разделить на условные две категории:  расширения путем добавления конструкторов концептов;  расширения путем добавления операций над ролями. К первой категории относятся такие, которые добавляют к стандартному набору конструкторов концептов новые конструкторы, с помощью которых получаются выражения, также являющиеся концептами. Ко второй категории относятся такие расширения, которые вводят в дескриптивную логику операции над ролями. В текущей публикации мы рассматриваем первую категорию расширений, путем добавлений новых концептов, а также обратные роли, которые относятся ко второй категории расширений операциями над ролями. Имеется неформальное соглашение об именовании получающихся при этом логик: обычно каждому конструктору или виду аксиом сопоставляют букву, которую (за редкими исключениями) добавляют к имени логики. Например, если логика содержит только базовый синтаксис ALC и качественное ограничение, обозначаемое буквой Q, то такая логика будет называться ALCQ. Если к этой логике добавить инверсию ролей, обозначаемую буквой I, то такая логика будет называться ALCIQ. Это универсальный механизм, которым пользуется большинство исследователей дескриптивных логик. В нашей статье для каждого расширения мы будем указывать: букву, добавляемую к имени логики; название новой связки (или аксиомы); ее синтаксис и семантику; а также формулу отображения. Описание некоторых расширений для DL ALC. Приведем ряд определений, необходимых для описания расширений [7]. Семантика логики ALC задается с помощью интерпретаций I = (∆,·I). Здесь интерпретирующая функция ·I сопоставляет каждому атомарному концепту A ∈ CN подмножество AI ⊆ ∆, атомарной роли R ∈ RN – бинарное отношение RI ⊆ ∆ × ∆, а имени индивида a ∈ IN (если таковые были в языке, например, в ABox) – элемент aI ∈ ∆. Введем также удобное обозначение: для элемента e ∈ ∆ множество его R- последователей будем обозначать как RI (e) = {d ∈ ∆ | <e, d> ∈ RI}. Мощность какого-либо множества M будем обозначать #M, а множество имен индивидов IN. R-последователь – это такой индивид, который является правой частью роли R. R-преемник – это такой индивид, который является левой частью роли R. Следующие конструкторы называются численными ограничениями на роли:  (F) функциональность: это концепт, у которого количество R-последователей не превышает 1. Если R – роль, то (≤1R) – концепт. Очевидно, что в этом языке, используя отрицание, можно выразить концепт (≥2R) как ¬(≤1R). Другие ограничения недоступны.  (N) количественное ограничение: это концепт, у которого количество R-последователей ≥ n или ≤ n. Если R – роль, а n ≥ 0 натуральное число, то (≤nR) и (≥nR) – концепты. На основании отношений ≥ и = с помощью операции пересечения можно построить отношение равенства, например, (≤n ∩ ≥n) => =n. А на основании ≤, ≥ и = можно выразить строгое неравенство, например (≤n ∩ ¬=n) => <n.  (Q) качественное ограничение: это концепт, у которого количество R-последователей ≥ n или ≤ n, и все R-последователи принадлежат концепту C. Если R – роль, C концепт, а n > 0 натуральное число, то (≤n R.C) и (≥n R.C) – концепты. Проведя, аналогичную предыдущему пункту, цепочку логических рассуждений, Теоретичні та методологічні основи програмування 44 становится ясно, что выразимы также ограничения вида (<n R.C) и (>n R.C). Далее рассмотрим ещё два конструктора, рассмотренные в текущей работе, первое из которых относится к операциям над ролями, а второе – к «расширениям концептами», но не входит в группу численных ограничений.  (I) обратные роли: если R – атомарная роль, то R – является ролью. Обратные роли можно использовать там, где использовались обычные (атомарные) роли, т. е. в выражениях с кванторами, в численных ограничениях на роли (если они доступны в языке), а также в аксиомах для ролей.  (O) номиналы: если a – имя индивида (т. е. a ∈ IN), то {a} – концепт. В текущей публикации мы не рассматриваем отображение для данного концепта. Перейдем к семантике приведенных концептов и описанию их отображений. Отображения логик ALCF, ALCN, ALCQ в RDM. Исходя из этих определений семантики расширений F, N, Q, приведенных выше, мы можем сказать, что семантика численных ограничений одинакова, и представлена следующим образом: (≤nR)I = {e∈∆ | #RI(e) ≤ n}, (≤nR.C)I = {e∈∆ | #(RI(e) ∩ CI) ≤ n}. Для наглядности, рассмотрим каждое ограничение по отдельности, с применением обозначений таблицы. Семантика функциональности имеет следующий вид: (≤1R)I DL = {e∈∆ | #RI(e) ≤ 1}, (≥2R)I = {e∈∆ | #RI(e) ≥ 2}. Как было сказано, другие ограничения недоступны. Если мы найдем отображение для концепта (≥2R)I DL, то оно будет справедливо также для выражения ¬(≤1R)I DL. Исходя из отображений, полученных в результате предыдущих исследований, мы знаем, что отображение роли E RM R 2 имеет два столбца Domain и Range. Перейдем к созданию отображения: 1) сначала соединим E RM R 2 самим с собой по условию равенства доменов. ( E RM R 2 ⋈Domain=Domain E RM R 2 ); 2) Далее сделаем выборку по условию неравенства диапазонов. σRange≠Range( E RM R 2 ⋈Domain=Domain E RM R 2 ); 3) Выполняем проекцию по домену. πDomain (σRange≠Range( E RM R 2 ⋈Domain=Domain E RM R 2 )). Таким образом, в результирующую выборку попадут те R-преемники, у которых два и более R- последователей. Итак, отображение для концепта (≥2R)I имеет вид: E RM R 2)2( = πDomain (σRange≠Range( E RM R 2 ⋈Domain=Domain E RM R 2 )). Для концепта I DLR)1( справедливо выражение ∆ – E RM R 2)2( . Исходя из вышеизложенного, отображение для данного концепта будет иметь следующий вид: E RM R 2)1( = ∆ – πDomain (σRange≠Range( E RM R 2 ⋈Domain=Domain E RM R 2 )). Теоретичні та методологічні основи програмування 45 Перейдем к семантике количественного ограничения, которое имеет следующий вид: I DLnR)( = {e∈∆ | #RI(e) ≤ n}, I DLnR)( = {e∈∆ | #RI(e) ≥ n}. Отображения данных концептов являются общением функциональности. Мы должны выполнить схожие шаги n раз, за одним исключением. Вместо обычного соединения, на первом шаге выполним естественное соединение (обозначается *) – соединение по равенству атрибутов, после которого дубликаты атрибутов удаляются. Покажем это детальнее: 1. Выполним естественное соединение E RM R 2 по условию равенства доменов n раз с предварительным переименованием как самого отношения, так и атрибута Range. ( ni1 * ρRi(Domain, Rangei)( E RM R 2 )). Здесь мы выполнили операцию переименования E RM R 2 , чтобы отличать порядковый номер i отношения в соединении. Обозначение ni1 * показывает, что необходимо выполнить n естественных соединений отношения. 2. Далее сделаем выборку по условию попарного неравенства всех диапазонов. ni1  Ri.Rangei≠Rj.Rangej ( ni1 * ρRi(Domain, Rangei)( E RM R 2 )). 3. Выполняем проекцию по домену. πDomain nji 1  Ri.Rangei≠Rj.Rangej ( ni1 * ρRi(Domain, Rangei)( E RM R 2 )). Итак, мы нашли отображение для концепта I DLnR)( , которое выглядит следующим образом:  E RM nR 2)( πDomain nji 1  Ri.Rangei≠Rj.Rangej ( ni1 * ρRi(Domain, Rangei)( E RM R 2 )). Исходя из этого, отображение для концепта I DLnR)( будет иметь следующий вид:  E RM nR 2)( - E RM Rn 2))1((  . Как было сказано, концепты I DLnR)( и I DLnR)( можно отобразить E RM nR 2)( , E RM nR 2)( и E RM nR 2)( . Для этого покажем, что такое E RM nR 2)( :  E RM nR 2)( E RM nR 2)( ∩ E RM nR 2)( . Таким образом, отображения концептов I DLnR)( и I DLnR)( имеют вид:  E RM nR 2)( E RM nR 2)( - E RM nR 2)( ,  E RM nR 2)( E RM nR 2)( - E RM nR 2)( . Перейдем к семантике качественного ограничения, имеющего следующий вид: (≤nR.C)I = {e∈∆ | #(RI(e) ∩ CI) ≤ n}, (≥nR.C)I = {e∈∆ | #(RI(e) ∩ CI) ≥ n}. Теоретичні та методологічні основи програмування 46 Отображения для качественного ограничения похожи на отображения количественного ограничения, с одним уточнением: индивиды диапазона должны принадлежать концепту С, что достигается предварительным соединением E RM R 2 с E RM C 2 : Отбросим из E RM R 2 те кортежи, у которых R-последователи не принадлежат E RM C 2 : E RM R 2 ⋈ Range = ConIndName E RM C 2 . Далее выполняем точно те шаги, что и для количественного ограничения, применяя их к полученному выше отношению. В результате получим: πDomain( nji 1  Ri.Rangei≠Rj.Rangej ( ni1 * ρRi(Domain, Rangei)( E RM R 2 ⋈ Range = ConIndName E RM C 2 ))). Таким образом, отображения для качественного ограничения имеют вид: E RM CnR 2).( = πDomain( nji 1  Ri.Rangei≠Rj.Rangej ( ni1 * ρRi(Domain, Rangei)( E RM R 2 ⋈ Range = ConIndName E RM C 2 ))), E RM CnR 2).( = ∆ - E RM CRn 2).)1((  , E RM CnR 2).( = E RM CnR 2).( - E RM CnR 2).( , E RM CnR 2).( = E RM CnR 2).( - E RM CnR 2).( . Отображение ALCI в RDM. Семантика обратных ролей выглядит следующим образом: (R¯)I DL = {<e, d> ∊ ∆ ⨉ ∆ | <d, e> ∊ RI}. В бинарном отношении четко разграничены R-последователи и R-преемники. В обратных ролях они меняются местами. В реляционной модели такая операция перестановки выражается путем перестановки имен атрибутов (сами колонки атрибутов не переставляются). Исходя из этого, отображение для концепта (R-)I DL будет иметь следующий вид: ))(()( 22 ),( E RMDomainRange E RM RR  . Выводы В данном исследовании, на основании ранее полученных результатов, мы установили отображения для численных ограничений дескриптивной логики ALC, а также для обратных ролей. Таким образом, мы специфицировали механизмы отображений семейства дескриптивных логик, которое основано на добавлении к базовой логике ALC новых конструкторов концептов, а также логику ALCI, которая образуется путем добавления операции обратной роли к базовым конструкторам концептов ALC. 1. Чистякова И.С. Онтолого-ориентированная интеграция данных в семантическом вебе // Проблеми програмування. 2014. – № 2–3. – С. 188 – 196. 2. Резниченко В.А., Чистякова И.С. Отображение дескриптивной логики ALC в бинарную реляционную структуру данных // Проблеми програмування. – 2015. – № 4. – С. 13–30. 3. Lenzerini M. Data Integration: A Theoretical Perspective // Proc. of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2002). – N. Y.: ACM Press. – 2002. – P. 233–246. 4. Vysniauskas E., Nemuraite L. Transforming ontology representation from OWL to relational database. Information Technology and Control. – 2006, Vol. 35. N 3A. – P. 333–343. 5. Carmen Martinez-Cruz • Ignacio J. Blanco • M. Amparo Vila. Ontologies versus relational databases: are they so different? A comparison. Artif Intell Rev. – 2012. – 38. – P. 271–290. 6. Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. F., editors. The Description Logic Handbook. Cambridge University Press, 2003. 7. Evgeny Zolin. Description logics (lections). [Online] Available from: http://lpcs.math.msu.su/~zolin/dl/ [Accessed: 2009]. Теоретичні та методологічні основи програмування 47 References 1. CHYSTIAKOVA I.S. (2014). Ontology-oriented data integration on the Semantic Web (Онтолого-ориентированная интеграция данных в семантическом вебе). Problems in programming. №2-3, pp.188-196. 2. REZNICHENKO V.A. (2014). Ontology-oriented data integration on the Semantic Web (Онтолого-ориентированная интеграция данных в семантическом вебе). Problems in programming. №4, pp.. 3. LENZERINI M. (2002). Data Integration: A Theoretical Perspective. Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. New York, NY, USA. 2002. New York: ACM. 4. VYSNIAUSKAS E. et al. (2006). Transforming ontology representation from OWL to relational database. Information Technology and Control. Information Technology and Control. №35(3A)., pp.333-343.. 5. MARTINEZ-CRUZ C. et al. (2012). Ontologies versus relational databases: are they so different? A comparison. Artificial Intelligence Review. №38, pp. 271-290. 6. BAADER F. et al. (2003). The Description Logic Handbook pp.47-65, p.95. 7. EVGENY ZOLIN (2009) Description logics (lections). [Online] Available from: http://lpcs.math.msu.su/~zolin/dl/ [Accessed: 2009]. Об авторах: Резниченко Валерий Анатольевич, кандидат физико-математических наук, старший научный сотрудник. Количество научных публикаций в украинских изданиях – 57. Количество научных публикаций в иностранных изданиях – 3. http://orcid.org/0000-0002-4451-8931, Чистякова Инна Сергеевна, младший научный сотрудник. Количество научных публикаций в украинских изданиях – 8. Количество научных публикаций в иностранных изданиях – 0. http://orcid.org/0000-0001-7946-3611. Место работы авторов: Институт программных систем НАН Украины 03187, Киев, проспект Академика Глушкова, 40. Тел.: (044) 526 5139; (044) 526 6249. E-mail: vreznichenko_47@mail.ru, inna_islyamova@ukr.net.

Схожі ресурси