Методы моделирования объектно-ориентированных данных средствами дескриптивных логик

• Автор: Ульянов, Владимир Сергеевич
• Шифр специальности: 05.13.18
• Научная степень: Кандидатская
• Год защиты: 2010
• Место защиты: Иркутск
• Количество страниц: 123 с. : ил.

Оглавление
Введение

1 Дескриптивные логики и семантический веб

1.1 Логические методы и информационные пространства

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

1.3 Блок терминологии Тбокс.

1.4 Блок утверждений Абокс

2 Логические архитектуры и объектноориентированное программирование

2.1 Логические архитектуры

2.2 Объектноориентированные проекции

2.3 Абстрактный объектноориентированный язык

2.4 Отображение
2.5 Мул ьт и методы
3 Построение интерфейсов для онтологий на базе оопроекций
3.1 Общая концепция интерфейсов для онтологий
3.2 Представление семантических сетей в виде деревьев
3.3 Ленивые бесконечные деревья .
3.4 Правила построения дерева
3.5 изоморфизм деревьев.
3.5.1 Примеры правил.
3.5.2 Логический подход
3.5.3 Функциональный подход .
3.6 Обзор системы МеЬа2
3.6.1 Архитектура клиентской части системы Ме1а2
3.6.2 Механизм построения деревьев.
3.6.3 Формы для работы с объектами.
3.6.4 Модульность и система проектов.
3.6.5 Приложения системы Ме1а2.
Заключение
Литература


Разработка системы логических архитектур как платформы для интеграции методов представления данных и знаний в информационном пространстве. Моделирование объектных структур данных через построение оо-проекций как дескриптивных логик, ориентированных на эффективную работу с объектами. Построение и доказательство корректности отображения оо-проекций в систему типов данных абстрактного языка объектно-ориентированного программирования (ООП). Разработка метода аксиоматизации и автоматической генерации пользовательских интерфейсов с помощью логических описаний на примере бесконечных деревьев. Реализация программной системы МеЬа2 для апробации разработанных подходов. В диссертации используются методы теории доказательств, теории вычислимости, теории моделей и теории программирования. В работе впервые предложен метод построения объектных подмоделей логических моделей в рамках дескриптивных логик на базе оо-проекций - специализированных дескриптивных логик, моделирующих объектно-ориентированный подход к представлению и обработке информационных ресурсов. Предложен новый метод погружения объектных структур данных в логические модели, ориентированный на сочетание эффективной обработки объектных структур с интеллектуальной обработкой знаний общего характера. Разработан новый метод отображения объектных структур из логических описаний в системы структурных типов данных языков ООП. Также разработан новый метод построении интерфейсов к онтологиям в соответствии с концепцией логических архитектур. Сформулированы и доказаны свойства полноты и корректности оо-проекций. НОВЫМИ. В работе предлагается метод построения информационных систем, ориентированных на создание баз данных и знаний, в которых эффективная обработка структур данных на уровне объектной модели сочетается с интеллектуальной обработкой знаний на логическом уровне. Данный подход к построению информационных систем апробирован на онтологических базах реальной сложности в рамках разработанного нами программного комплекса Меіа2. Одно из основных приложений данного метода -использование для разработки распределенных систем знаний в глобальной информационной среде, а также метаописания информационных ресурсов, разработки интеллекуализированных образовательных систем и систем поддержки научных исследованиий. Реализованный в рамках Меїа2 метод автоматической генерации пользовательских интерфейсов для онтологий обеспечивает доступ к системам логических описаний предметных областей для пользователей системы. Система логических архитектур как платформа для интеграции методов представления данных и знаний в информационном пространстве. Формализм оо-проекций как средство построения объектных моделей в рамках дескриптивных логик. Метод отображения структур данных из оо-проскций в языки ООП. Метод аксиоматизации и автоматической генерации пользовательских интерфейсов с помощью логических описаний на основе бесконечных деревьев. Диссертация состоит из введения, трех глав, заключения и списка использованной литературы. В первой главе приводится обзор дескриптивных логик как наиболее перспективного формализма к представлению знаний. Представлены основные конструкции, которые используются в основных результатах работы. В параграфе 1. В параграфе 1. В параграфе 1. Во второй главе вводятся логические архитектуры и на их основе выстраивается конструкция объектно-ориентированных проекций дескриптивной логики. В параграфе 2. В параграфе 2. ТЬо. В параграфе 2. В параграфе 2. В третьей главе исследуются способы построения интерфейсов для систем, основанных на представлении знаний в виде объектно-ориентированных проекций. Разрабатывается метод построения интерфейсов для семантических сетей в виде бесконечных ленивых деревьев. В параграфе 3. ОО-проекций. В параграфе 3. Вводится понятие ленивого бесконечного дерева. В параграфе 3. МеЬа2. По теме диссертации опубликовано 9 работ. Наиболее значимые результаты представлены в работах [1] - [б]. В число указанных работ входят одна статья [1| из «Перечня ведущих и рецензируемых журналов и изданий ВАК РФ г. Перечня ведущих и рецензируемых журналов и изданий ВАК РФ г.