Методы обработки реляционных данных в объектных дескриптивных логиках тема диссертации и автореферата по ВАК РФ 05.13.17, кандидат физико-математических наук Казаков, Илья Анатольевич

• Казаков, Илья Анатольевич
• кандидат физико-математических наук
• 2012

Оглавление диссертации кандидат физико-математических наук Казаков, Илья Анатольевич

Введение

1 Базы данных как онтологии

1.1 Обзор литературы и имеющийся .мировой опыт.

1.2 Дескриптивные логики и общие проблемы

1.2.1 Дескриптивные логики

1.2.2 Система вывода в БЬ

1.2.3 Проблемы использования логики.

1.2.4 Проблема объединения логической и реляционной .модели данных

1.2.5 Наш подход.

1.3 Дескриптивные логики и объектные теории.

1.3.1 Основные понятия дескриптивных логик.

1.3.2 Логика ООТ>С и объектные теории.

1.4 Базы данных.

1.5 Объектные теории баз данных.

1.6 Аксиомы замкнутости.

2 Формализация операций алгебры Кодда

2.1 Операции алгебры Кодда.

2.1.1 Операция выборки.

2.1.2 Операция проекции

2.1.3 Операция объединения.

2.1.4 Операция вычитания.

2.1.5 Операция декартова произведения.

2.2 Формализация операций алгебры Кодда в объектных теориях

2.2.1 Формализация операции выборки .5G

2.2.2 Формализация операции проекции.

2.2.3 Формализация операции объединения.

2.2.4 Формализация операции вычитания.

2.2.5 Формализация операции декартова произведения

3 Реализация Libretto на реляционных базах данных

3.1 Описание системв1 Libretto

3.2 Отображение структуры БД в Libretto

3.3 Метод подмены хранилища.

3.4 Трансляция Libretto в SQL.

3.4.1 Трансляция элементарных запросов.

3.4.2 Трансляция путей

3.4.3 Трансляция инверсных свойств.

3.4.4 Вложенные запросы.

3.4.5 Предикаты

3.4.6 Сравнение реализаций.

Введение диссертации (часть автореферата) на тему «Методы обработки реляционных данных в объектных дескриптивных логиках»

Актуальность проблемы

За десятилетия существования баз данных в глобальной информационной среде накоплен огромный объем информации из самых разнообразных сфер. Вовлечение этого ресурса в системы логической обработки знаний является естественной и важной задачей, направленной на интеллектуализацию глобальных механизмов обработки информации. Сегодня основным направлением для интеграции логических и реляционных структур считается построение гибридных формальных систем, включающих как логическую, так и реляционную компоненты [79]. К сожалению, в силу различий в базовых формализмах, гибридный подход имеет очень высокий уровень сложности как с а очки зрения вычислимости [91]. так и с точки зрения использования рядовыми разработчиками. Таким образом, методы, связанные с построением гибридных формализмов, приводят не только к большой сложности вычислений, но и к большим неудобствам в работе из-за своей громоздкое! и. Поэтому, насколько нам известно, ло сих пор не существует широко распространенных .методов, позволяющих задействовать обширные ресурсы, хранящиеся сегодня в базах данных, в интеллектуальных системах обработки знаний.

С другой стороны, интеграционный подход к обработке информации, основанный на работе с л01 ическими и реляционными структурами данных в рамках единого логического формализма, также сталкивается с трудностями в связи с несовместимостью парадигм замкнутого и открытого мира, на которых основаны реляционные базы данных и дескриптивные логики, соответственно [74].

Заметим, что проблема взаимодействия реляционных и объектных типов данных возникает и внутри теории программирования, поскольку объектно-ориентированные модели языков программирования также не очень хорошо взаимодействуют с реляционными моделями баз данных. Современные подходы к интеграции объектных и реляционных типов данных, в основном, опираются на механизмы погружения реляционных структур в более изощренные и развитые объектные структуры. Наша работа при решении данной проблемы опирается на ту же методологию, но на уровне логической обработки информации.

Цели исследования

Разработка метода обработки реляционных данных в рамках объектной дескриптивной логики, а также реализация и апробирование данного метода на основе системы распределенной обработки информации.

Основные задачи диссертационной работы

1. Разработка метода формализации реляционных структур данных в рамках объектных дескриптивных логик ООТ>£.

2. Разработка метода аксиоматизации замкнутого мира баз данных на языке дескриптивной логики.

3. Разработка подхода к построению алгебр Кодда в рамках логики OOVC.

4. Реализация и апробирование метода распределенной обработки реляционных данных в OOVC в рамках системы обработки знаний Libretto.

Методы исследования

В диссертации используются методы математической логики и теории п р о г р а м м и р о в а н и я.

Научная новизна

В рамках работы введено понятие объектной теории базы данных, строящейся на языке логики OOVC. Также показано, что объектная теория корректно моделирует реляционные структуры данных и позволяет работать с ними средствами дескриптивной логики OOVC. Особое внимание уделялось проблеме несоответствия замкнутой парадигмы баз данных и открытой парадигмы дескриптивных логик. Показано, что свойство замкнутости аксиоматизируемо в достаточно простой дескриптивной логике, являющейся расширением OOVC. Ограничения, накладываемые аксиомами замкнутости, позволяют выделять множество моделей объектных теорий БД; корректных с точки зрения реляционных структур. Также нами была решена проблема моделирования алгебр Кодда средствами дескрип-i и в 1! ы х логик, что завершает комплекс работ по моделированию баз данных и механизмов работы с ними логическими средствами. Разработанная геория обосновывает возможность работы с реляционными данными в рамках самих дескриптивных логик без привлечения гибридных формализмов высокой сложности.

Таким образом, новизна полученных результатов заключается в разработке нового средства представления реляционных данных как знаний и создания онтологий реляционных баз данных. Для интеграции знаний из логических и реляционных формализмов используются только дескриптивные логики, а не производится построение гибридного формализма, объединяющего в себе инструменты для работы с онтологиями (дескриптивные логики) и инстументы для работы с реляционными структурами (реляционная алгебра, или язык

Научная и практическая значимость работы

Метод,ы. разработанные в рамках данной работы, имеют потенциал для использовании в двух основных группах приложений. Во-первых, данный метод может быть использован в иптеллектуализированных системах обработки знаний. Аксиоматизация поведения баз данных в рамках логических сислем позволяет вовлечь в сферу работы 'систем обработки знаний огромный объем фактов и данных, хранящихся сегодня в базах данных, включая сферы науки и образования.

Во-вторых, поскольку базы данных погружаются в объектную дескриптивную логику ООТ>С. основной задачей которой является моделирование Л01 ических объектных описаний, совместимых с типами данных объектно-ориентированных языков программирования, то разработанные нами методы могут стать основой для объектного подхода к манипулированию базами данных в рамках объектно-ориентированных сред программпровапия. В частности, использование этих .методов планируется в рамках системы Libretto для построения многоплатформенных решений, которые ориентированы па разработку приложений, работающих в распределенных информационных пространствах, в частности, в рамках облачных вычис-лени й.

Основные положения, выносимые на защиту:

1. Метод формализации реляционных структур данных в логике ООТ>С и его обоснование.

2. Аксиоматическая система, описывающая парадигму замкнутого мира баз данных на языке дескриптивных логик, и теорема о минимальной .модели.

3. Метод определения операций алгебры Кодда в рамках объектных теорий баз данных и его обоснование.

4. Апробация подхода к логической обработке реляционных данных на основе экспериментальной реализации метода формализации реляционных структур в рамках системы Libretto.

Структура и объем диссертации

Основные результаты диссертации опубликованы в следующих работах:

По результа1ам диссертации опубликовано 7 научных статей, тезисов докладов.

1. Казаков И. А. Алгебры Кодда и дескриптивные логики / И. А. Казаков // Изв. Иркут. гос. ун-та. Сер.: Математика. - 2011-Т. 4. 3. -С. 68-7-3

2. Казаков И, А. Базы данных как онтологии / И. А. Казаков. А. В. Ман-цивода // Изв. Иркут. гос. ун-та. Сер.: Математика. - 2011- Т. 4, № 1. -С. 20-30

3. Gavryushkina A.A. Kazakov LA. A formalization of the Codd's relational algebra in logic SHOIN(D) [Text] // International conference "Mal'tsev meeting". - Novosibirsk., 2011. - P. 134-135.

4. Казаков И.А. Объектные теории баз данных |Текст] // 'Труды 4-й Всероссийской мультиконференции по проблемам управления «А1КПУ-2011». - 2011. - С. 145-147.

5. Казаков И.А. Управление базами данных в системах онтологии [Текст] // Труды XVIII Всероссийской научно-методической конференции "Те-лсматпка;201Г. - С-Пб., 2011. - С. 266-268.

6. Манцивода А.В. Казаков И.А. Система поддержки деятельности аспирантуры ИРУ на базе OntoBox // Труды XVI Всероссийской научно-методической конференции "Телематика'2009". - С-Иб.; 2009. - С. 47.

7. Малых А.А. Казаков И.А. Доступ к онтологиям через VYEB. Вазовый подход в системе Мета2 // Труды XV Всероссийской научно-методической конференции "Телематика''20087 - С-Пб. 2008. - С. 314.

В число указанных работ входят две статьи |1. 2] из «Перечня ведущих и рецензируемых журналов и изданий ВАК РФ». Работа [2] выполнены в нераздельном соавторстве с научным руководителем. Из совместной публикации [2] в диссертационную работу включены результаты, полученные автором самостоятельно и не затрагивающие интересы других соавторов.

Апробация результатов

Основные положения диссертационной работы были представлены на следующих конференциях и семинарах, и подтверждены свидетельствами:

1. Свидетельство о регистрации программы для ЭВМ No. 2011610184 «Система разработки метаданных для мультимедийных ресурсов» от 11 января 2011 г. Правообладатель ГОУ ВПО «ИГУ». Авторы Москвина A.C. Казаков И.А. Манцивода A.B. Кохо A4.А.

2. Свидетельство о регистрации программы для ЭВМ No. 2010610789 «Онлайн система поддержки работы отдела аспирантуры высшего учебного заведения» от 22 января 2010 г. Правообладатель ГОУ ВГ10 «ИГУ». Авторы Казаков И.А. Малых A.A. Манцивода A.B.

3. Всероссийская научно-методическая конференция «Телематика» (Санкт-Петербург. 2008., 2009, 2011 гг.).

4. Международная конференция «Мальцевские чтения».

Личный вклад автора

Личный вклад авюра состоит в следующем:

1. Построен логический формализм, позволяющий интерпретировать реляционные базы данных как объектные теории в лоптке (ЭОТ>С{в нераздельном соавторстве с руководителем):

2. Построена теория замкнутого мира CW. позволяющая разрешить те противоречия которые есть в семантике баз данных и теориях в дескриптивных логиках (в нераздельном соавторстве с руководителем):

3. Формализованы базовые операции алгебры Кодда в логике ÖÖDL. показана их выразимость на языке Libretto, а так же доказано, что преобразования терий баз данных полностью соответсвуют преобразованиям баз данных при аналогичных операция алгебры Кодда (в нераздельном соавторстве с руководителем и A.A. Гаврюшкиной):

4. Разработан программный модуль к системе Libretto, реализующий разработанные формализмы и позволяющий взаимодействовать с релици-онными базами данных на языке Libretto.

Благ одар мости

Хочется выразить благодарность моему научному руководителю проф. A.B. Манциводс за неоценимую помощь в написании диссертации, а также коллективу преподавателей, студентов и аспирантов кафедры информационных систем ИГУ за ценную помощь.

Заключение диссертации по теме «Теоретические основы информатики», Казаков, Илья Анатольевич

Заключение

В данной работе была построена модель реляционных баз данных в терминах объектных теорий [6] в рамках логической архитектуры OOVC С SH01J\f(D). Показано, что предлагаемый подход позволяет смоделировать не только структуру реляционных баз данных, но и парадигму замкнутого мира, действующую в этих базах. Так же средствами объектных теорий были смоделированы основные операции алгебры Код-да. такие как выборка, проекция, объединение, вычитание и декартово произведение.

В работе рассматривается подход к отображению реляционных баз данных в логическую среду объектных дескриптивных логик. На основе этого подхода, связанного с моделированием информации из баз данных с помощью объектных теорий Q^s и их расширений Oj^. определяется метод работы с базами данных в рамках декларативного подмножества языка Libretto. Также исследуются вопросы эффективности данного метода с точки зрения построения Libretto-запросов и их трансляции в язык SQL. Проводится анализ экспериментальной реализации данного метода в рамках языка Libretto 0.9.

Основным результатом работы является формализация реляционных баз данных в дескриптивной логике S7iOTj\f(IJ). Формализация подразумевает под, собой.

1. Описание реляционных данных средствами логики OOVC через построение объектных теорий баз данных:

2. Решение проблемы несоответствия парадигм замкнутого мира баз дан-пых и открытого мира дескриптивных логик через расширение объектных теорий баз данных аксиомами замкнутости:

3. Моделирование реляционных структур на алгебраическом уровне через представление операций алгебры Кодда в терминах логики OOVC:

4. Апробация подхода к логической обработке реляционных данных на основе экспериментальной реализации метода формализации реляционных структур в рамках системы Libretto.

Новизна полученных результатов заключается в разработке нового средства представления реляционных данных как знаний и создания он-тологий реляционных баз данных. Для интеграции знаний из логических и реляционных формализмов используются только дескриптивные логики, а не производится построение гибридного формализма, объединяющего в себе инструменты для работы с онтологиями (дескриптивные логики) и инструменты для работы с реляционными структурами (реляционная алгебра, или язык Datalog).

Список литературы диссертационного исследования кандидат физико-математических наук Казаков, Илья Анатольевич, 2012 год

1. Гончаров. С.С. Свириденко. Д.И. Е-программирование // В кн.: Логико-математические проблемы МОЗ. - Вычислительные системы. Вып. 107. - Новосибирск. 1985. - С.3-29.

2. Казаков H.A. Алгебры Кодда и дескриптивные логики // Изв. Иркут. гос. ун-та. Сер.: Математика. 201L- Т. 4. № 3. -С. 68-73

3. Казаков H.A. Манцивода A.B. Вазы данных как онтологии // Изв. Иркут. гос. ун-та. Сер.: Математика. 2011- Т. 4. № 1. -С. 20-30

4. Казаков И. А. Объектные теории баз данных Текст. // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». 2011. - С. 145-147.

5. Казаков И.А. Управление базами данных в системах онтологий Текст. // Труды XVIII Всероссийской научно-методической конференции ;;Те-лематика'2011". С-Пб., 2011. - С. 266-268.

6. Малых A.A. Манцивода A.B. Объектно-ориентированная дескриптивная логика // Известия ИГУ. Серия математика. Хо.1. - 2011.

7. Малых. A.A. Манциво/1а A.B. Ульянов B.C. Логические архитектуры и объектно-ориентированный подход // Вестник НГУ. Серия: Математика. механика, информатика. 2009. - Т9. - .VQ3. - С. 64-85.

8. Малых A.A. B.C. Ульянов. Модульность в системе А/1ета2 с использованием JavaFX. // Труды Всероссийской конференции «Телемати-ка'2008». С.-Петербург, 2008

9. Малых A.A., Ульянов B.C. Организация пользовательского интерфейса информационных систем на основе онтологии // Вестник Бурятского университета. Серия 13: Математика и информатика. Улан-Удэ.: Изд-во Бурят, ун-та, - Вып. 3. 2007, С. 250-253.

10. Малых A.A., МанциводаА.В. Онтобокс: онтологии для объектов // Известия Иркутского государственного университета. Иркутск. - Серия «Математика». Том 3. 2009 с. 94-104.

11. Малых A.A., Казаков И.А. Доступ к онтологиям через WEB. Базовый подход в системе Мета2 // Труды XV Всероссийской научно-методической конференции "Телематика'2008". С-Пб. 2008. - С. 314.

12. Маигдивода A.B. Липовченко В.А. Применение логического программирования к обработке знаний // Вестник Бурятского университета. Серия 13. Математика и информатика. Улан-Удэ: Изд-во Бурят, унта, 2006. - Вып. 2. - С.50-57.

13. Мапцивода A.B., Стукушин П.О. Спецификации как онтологии // Журнал "Программные продукты и системы1'. М., 2009. - №4.-0.37-43.

14. Мапцивода A.B., Малых A.A. Представление и обработка знаний в Интернете: Информационные ( пстемы и логика. Иркутск: Издательство Иркутского ун-та, 2005. - Вып. 2. - 1Пс.

15. Машдивода A.B. Малых A.A. OnLoBox: ядро системы «Мета-2» // Труды Всероссийской научно-методической конференции «Телемати-ка;2009». С-Пб., 2008. - С.120-121.

16. Машдивода A.B. Романова O.A. Создание информационно-справочной системы по математическому анализу на основе оплайн-консультации. // Труды Всероссийской научно- мед одической конференции «Телема-тика;2009». С-Пб., 2008.

17. Мапцивода A.B. Ульянов B.C. Онтологические системы и задачи управления контентом // Труды Всероссийской конференции «Теле-матика'2005». С.-Петербург. 2005.

18. Манцивода A.B. Петухин В. А. Компилятор функционально-логического языка Флэнг // Вычислительные системы, вып. 146. 1992, с. 61-75.

19. Манцивода A.B. Флэнг язык искусственного интеллекта // Кибернетика, 1993, No. 5, с.350-367.

20. A.B. Манцивода. Е-программирование и проблемы дискретной оптимизации// Иркутск, 1994, 245с. ¡Электронный ресурс. URL: http://teacode.com/flang'/book/sigma-book.pdf-За гл. с экрана (дата обращения: 26.04.12).

21. Манцивода A.B. Казаков LI.А. Система поддержки деятельности аспирантуры ИВУ па базе OntoBox /,/ Труды XVI Всероссийской научно-методпчес кои конференции "Те.ломатпка;2009!\ С-Пб., 2009. - С. 47.

22. Манцивода A.B. Москвина A.C. Хранение метаданных в мультимедийных файлах // Труды Всероссийской научно-методической конференции «Телематика'2009». С-Г16.; 2009. - С.147.

23. Стукушин И.О. Малых A.A. Формализация стандартов через дескриптивные логики // Труды Всероссийской научно-методической конференции « Те л е м а т и к а; 2009 ». С-Пб., 2009. - С. 420-421.

24. Ульянов B.C. Создание системы управления ресурсами. Труды Всероссийского конкурса «Информационно-телекоммуникационные системы»., С-П6., 2005. -С. 95-96.

25. Ульянов B.C. Использование онтологий в задачах построения биологических информационных ресурсов // Материалы VII школы-семинара «Математическое моделирование и информационные технологии». -Иркутск: Изд-во ИДСТУ, 2005. С.31.

26. Братко. И. Программирование на языке Пролог для искусственного интеллекта. VI.: Мир. 1990. - 560с.

27. Ульянов B.C. Бесконечные ленивые маркированные деревья // Известии Иркутского государственного университета. Иркутск. - Серия «Математика». Том 3. 2009 с. 183-193.

28. Хоггер. К. Введение в логическое программирование. М.:Мир. 1988.- 348с.

29. Чень Ч. Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука. 1983. - 360 с.

30. Чери С. Готлоб Г. Танка Л. Логическое программирование и базы данных. — AT: Мир., 1992. 352с.

31. Abiteboul S. Hull R.B. Vianu V. Poundations of Databases Addison-Wesley. 1995. - 68op.

32. Baader F. The Description Logic Handbook: Theory. Implementation. Applications / P. Baader. D. Calvanese . D.L. McGuinness. D. Xardi. P.P. Patel-Schneider. Cambridge. - 2003. - P.574.

33. Baader P. Sattler U. Xumber restrictions on complex roles in description logics ,// In Proceedings 0f KR-96. 1996. - P. 328-339.

34. Bergamaschi S.;nd Bernhard Nebel. Acquisition and validation of complex object database schemata supporting multiple inheritance. Applied Intelligence. 4(2): 185-203, 1994.

35. Bergamaschi S., Sartori C. On taxonomic reasoning in conceptual design, ACM Transactions on Database Systems (TODS), v.17 n.3, p.385-422, Sept. 1992.

36. Borgida A. Etherington D. Hierarchical knowledge bases and efficient disjunctive reasoning. Proceedings of the first international conference on Principles of knowledge representation and reasoning, p.33-43, December 1989.

37. Borgida A., Lenzerini M., Rosati R. Description Logics for Data Bases

38. Borgida A. On the relative expressiveness of description logics and predicate logics // Artificial Intelligence. 1996. - Vol. 82. - P.353-367.

39. Brachman R. A Structural Paradigm for Representing Knowledge // BBN Report No.3605. Cambridge, 1978.

40. Brachman R., Schmolze J. An Overview of the KL-ONE Knowledge Representation System // Cognitive Sci. 1985. - Vol.9.

41. Calvanese D. Lenzerini VI., Xardi D. Unifying class-based representation formalisms. ,J. of Artificial Intelligence Research, 11:199-240, 1999.

42. Damasio C.V. et al. Supporting Open and Closed World Reasoning on the Web / Carlos Viegas Damasio. Anastasia Analyti. Grigoris Antoniou and Gerd Wagner // Lecture Notes in Computer Science. 2006. Volume 4187.- 2006. P. 1-49-163.

43. DatalogDL: Datalog Rules Parameterized by Description Logics. / J. .Mei and others // Canadian Semantic Web. Springer Scries: Semantic Web and Beyond. Canada. 2006. - V.2. - P.171-188.

44. Donini F. Lenzcrini M. Nardi D. Schaerf A. AL-log: integrating Datalog and description logics //J. of Intelligent and Cooperative Information Systems. 1998. - V.10. - P.227-252.

45. Ershov. Yu.L. Goncharov. S.S. Sviridenko. D.I. Semantic Programming // Information piocessing. Pioc. IFIP 10th World Comput. Congress. Dublin.- v. 10. 1986. - P. 1093-1100.

46. Gavryushkina A.A. Kazakov LA. A formalization of the Codcl's relational algebra in logic SI40L\(D) Text. // International conference "MaLtsev meeting". Xovosibiisk, 2011. - P. 134-135.

47. Goncharov S.; Ershov Yu. Sviridenko D. Semantic programming // 10th Woild Congress Inclination Piocessing;86. Dublin. 1986. - P. 1093-1100.

48. Haarslev. V. On the scalability of description logic instance retrieval. /'/ Haarslev V., Moeller R. // Journal of Auromated Reasoning 41(2) -August 2008. P. 99-142.

49. Haarslev V. Moller R. Racer: An OWL Reasoning Agent for the Semantic Web // In Proc. Products and Services of Web-basecl Support Systems, in conjunction with the 2003 1EEE/WIC International Conference on Web Intelligence. Canada, 2003. - P.91-95.

50. Hibernate: Mapping an Object-Oriented Domain A4odel to a Relational Database Электронный pecypc|. URL: hups://'www.hibernate.org/ -Загл. с экрана (дата обращения: 2G.04.12).

51. Horrocks I. Using an expressive description logic: FaCT or fiction? //' Proceedings of the Sixth International Conference «Principles of Knowledge Representation and Reasoning». San Francisco:Morgan Kaufmann, L998. - P.636-647.

52. Horrocks I. Parsia В., Patel-Schneider P., Hencller ,J. Semantic web architecture: Stack or two towers? // Principles and Practice of Semantic Web Reasoning. Berlin:Springer, 2005. - Lecture Notes in Computer Science. - Vol. 3703. - P.37-41.

53. Horrocks I., Patel-Schneider P. Reducing OWL entailment to description logic satisfiability. .J. of Web Semantics, 1 (4):345-357, 2004.

54. Hustadt U., Mot.ik В. Sattler U. Data complexity of reasoning in very expressive description logics. In Proc. of IJCAI 2005, pages 466-47L 2005.

55. Hustadt. U. Reasoning in Description Logics by a Reduction to Disjunctive Datalog.// Iiystaclt Ullrich. Motik Boris. Sattler Ulrike // Journal of Automated Reasoning 39(3). 2007. - P. 351-384.

56. KAON2 | Электронный ресурс. URL: http://kaon2.semanticweb.org/ -Загл. с экрана (дата обращения: 26.04.2012).

57. Levy. A. Combining horn rules and description logics in CARIN / A. Levy. M. Rousset // Artificial Intelligence. 1998. - V.104. - P.163-209.

58. Libretto Электронный ресурс. URL: http://ontobox.org/ - Загл. с экрана (дата обращения: 26.04.12).

59. Malykh A. A-lantsivoda A. A Query Language for Logic Architectures // Proceedings of 7th International Conference "Perspectives of System Informatics". Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science 5947. - 2010. - P.294-305.

60. Adantsivoda. A. Semantic Programming for Semantic Web /'/ Invited Talk. Proceedings of the 9th International Asian Logic Conference. .Novosibirsk. 2005. - P. 17-21.

61. Mantsivoda A. Petukhin V. Compiling Liang // Proceedings of 2nd Russian Conference on Logic Programming. St.Petersburg. 1991. No. 592 in1.cture Notes in Computer Science. Springer, pp. 286-293; Springer-Verlag, 1992.

62. Mantsivoda A. Petukhin V. Weimann A. Memory Management of Constraints' in Plang// Proc. of 10th Int. Conf on Logic Programming, (eel. by D.S.Warren), MIT Press, 1993, p.633-646.

63. Mantsivoda A. Logic and Large Combinatorial Problems (invited talk) // Workshop on Non-standard Logics and Logical Aspects of Computer Science, Kanazawa, Japan, December 5-8, 1994, p.24-33.

64. Mantsivoda A. Flang: A Functional-Logic Language // Lecture Notes in Computer Science. Berlin: Springer. 1992. - Vol. 567. - P.257-270.

65. Mantsivoda A., Lipovchenko V., Malvkh A. Logic Programming in Knowledge Domains // Lecture Notes in Computer Science. Berlin: Springer, 2006. - P.451-452.

66. Mantsivoda A., Lipovchenko V., Malvkh A. Logic Programming in Knowledge Domains (Full version) // Известия ИГУ. Серия .математика. T.l. Иркутск: '

67. Mazzocchi S. Closed World vs. Open World: the First Semantic Web Battle ¡Электронный ресурс. URL: http://www.betavc.rsion.org/ stefano/linotype/news/91/ - Загл. с; экрана (дата обращения: 26.0Т12).

68. Minsky М. A Framework for Representing Knowledge // The Psychology of Computer Vision. Xew York. 1975. P.211-277.

69. Motik B., Sattler U., Studer R. Query answering for OWL-DL with rules. •J. of Web Semantics., 3(l):41-60, 2005

70. Motik B. Horrocks I. Sattler U. Bridging the Gap Between OWL and Relational Databases. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 7(2):74—89, 2009.

71. Motik, B. Representing Structured Objects using Description Graphs // A4otik Boris, Grau Bernardo Cuenca. Horrocks Ian, Sattler Ulrike. // KR. 2008. - P. 296-306.

72. Motik B. Bridging the Gap Between OWL and Relational Databases // In proc.: The 16 th International Conference on World Wide Web. ACAd Press, 2007. P.807-816

73. Parchunov, D. GABEIv for Ontology Generation// Zeiger, Josef: Herclina, Philip: Oberprantacher. Andreas (Hrsg.): Lernen und Entwicklung in Organisationen, Wien: LIT-publishing Company, 2006, p. 87-107.

74. Palchunov, D. Lattices of relatively axiomatizable classes// S.O.Kuznetsov and S. Schmidt (Eds.), ICFCA 2007. Lecture Notes in Artificial Intelligerice \o. 4390, Springer-Verlag, Berlin Heidelberg, 2007, pp. 221-239

75. Pellet 9.;ioKTpowHbiii peeypcj. URL:liUp://www.mindswap.org/2003/pellet,/ Заг.л. с экрана (дата обращения: 26.04.12).

76. Pierce. Benjamin. Types and Programming Languages. MIT Press, p. 339 (2002).

77. Pin-shan Chen. P. The Entity-Relationship .Model: Toward a Unified View of Data // ACM Transactions on Database Systems. 1976. - V.l. - P. 9-36.

78. Proc. of the First International Conference «Rules and Rule Markup Languages for the Semantic Web». Berlin.- Springer-Verlag.- 2005.

79. Proc. of the Second International Conference «Rules and Rule Markup Languages for the Semantic Web». Berlin - Springer-Verlag.- 2006.

80. Puleston. C. Integrating Object-Oriented and Ontological Representations //' Puleston Colin. Parsia Bijan, Cunningham James. Rector Alan L. // A Case Study in Java and OWL. P. 130-145.

81. Riazanov A. Voronkov A. The Design and Implementation of Vampire // AI Communications. -2002. Vol.15. - P.91-110.

82. Rosati. R. The limits and possibilities of combining Description Logics and Datalog/ R. Rosati // Rules and Rule Markup Languages for the Semantic Web. Second International Conference. November 2006. - P.3-4

83. Rosati R. On Combining Description Logic Ontologies and Nonrecursive Datalog Rules // Lecture Notes in Computer Science. Springer. 2008. V. 341. Web Reasoning and Rule Systems. P. 13-27

84. Rosati R. On the decidability and complexity of integrating ontologies and rules. .J. of Web Semantics. 3(l):61-73, 2005.

85. Rosati R. On Combining Description Logic Ontologies and Nonrecursivc Datalog Rules / R. Rosati // Lecture Notes in Computer Science. 2008.- Vol. 341. Web Reasoning and Rule Systems. - P. 13-27.

86. Schmidt-Schauss M. Smolka G. Attributive concept descriptions with complements // Artificial Intelligence. 1991. - V.48. - P.1-2G.

87. SWRL. A Semantic Web Rule Language Combining OWL and RuleML Электронный ресурс. URL: http://www.w3.oig/Submission/SWRL/- Загл. с экрана (дата обращения: 26.04.12).

88. The Rule Markup Initiative Электронный ресурс. URL: http://ruleml.org/ - Загл. с экрана (дата обращения: 26.04.2012).

89. Tsarkov D. Riazanov A. Bechhofer S. Horrocks I. Using Vampire to reason with OWL. // Proc. of ISWC 2004. Lecture Notes in Computer Science. -Berlin: Springei, 2004. Vol.3298. - P.471-485.

90. W3C: About the World Wide Web Consortium Электронный ресурс. -URL: http://www.w3.org/Consoitium/ Загл. с экрана (дата обращения: 26.04.12).

91. W3C Semantic Web Activity Электронный ресурс. URL: http://wwww3.org/2001/sw/ - Загл. с экрана (дата обращения: 26.04.12).

92. Web Ontology Language (OWL). Электронный pccvpc|. URL: www wS.oig/2004/0\'VL - Загл с экрана (дата обращения. 26.04.12).