Введение
1 Дескриптивные логики и семантический веб 14
1.1 Логические методы и информационные пространства . 14
1.2 Основные понятия дескриптивных логик 22
1.3 Блок терминологии (Т-бокс) 27
1.4 Блок утверждений (А-бокс) 28
2 Логические архитектуры и объектно-ориентированное программирование 31
2.1 Логические архитектуры 31
2.2 Объектно-ориентированные проекции 37
2.3 Абстрактный объектно-ориентированный язык 45
2.4 Отображение 56
2.5 Мультиметоды 66
3 Построение интерфейсов для онтологии на базе оо проекций 70
3.1 Общая концепция интерфейсов для онтологии 70
3.2 Представление семантических сетей в виде деревьев 72
3.3 Ленивые бесконечные деревья 74
3.4 Правила построения дерева 76
3.5 Изоморфизм деревьев 78
3.5.1 Примеры правил 83
3.5.2 Логический подход 85
3.5.3 Функциональный подход 86
3.6 Обзор системы Meta2 95
3.6.1 Архитектура клиентской части системы Meta2 . 96
3.6.2 Механизм построения деревьев 97
3.6.3 Формы для работы с объектами 99
3.6.4 Модульность и система проектов 101
3.6.5 Приложения системы Meta2 105
Заключение 107
Литература 109
Приложение 121
