Введение
Глава 1. Проблема инженерии знаний в технологии Semantic Web 11
1.1 Цели и задачи развития технологии Semantic Web 11
1.2 Основные понятия и модели представления знаний, используемые для описания информационных ресурсов 17
1.3 Дескриптивная логика как средство формализации онтологии 28
1.4 Семейство языков OWL для описания онтологии в Semantic Web 35
1.5 Проблемы развития технологии Semantic Web 39
Основные результаты 47
Глава 2. Разработка базового формализма для полиморфического представления знаний и системы оперирования онтологическими описаниями 58
2.1 Проектирование общей ICF-онтологии для полиморфического
представления знаний с использованием дескриптивной логики 58
2.1.1 Основные понятия и определения 58
2.1.2 Основные отношения онтологии 50
2.1.3 Описание таксономии. Пример описания
2.2 Типизация концептов 57
2.3 Мета-отношения 58
2.4 Принципы построения общих регулярных ICF-онтологий
2.4.1 Принципы организации общих регулярных онтологии 59
2.4.2 Дихотомическая классификация концептов 62
2.4.3 Строгая родовидовая таксономия (Is-A) 63
2.4.4 Исключение множественного наследования 64
2.4.5 Строгая видо-видовая таксономия (Form) 66
2.4.6 Противоположность дочерних вершин в дихотомической триаде.66
2.4:7 Уникальность концептов. Редукция в смежное наследование 67
2.4.8 Минимальность пути смежного наследования 69
2.5 Правила реорганизации регулярных ICF-онтологий 70
2.6 Принципы проектирования прикладных регулярных ICF-онтологий
2.6.1 Формальные отличия прикладных онтологии от общей 72
2.6.2 Принципьі проектирования прикладных онтологии 76
2.6.3 Способы проектирования прикладных онтологии 79
2.6.4 Способ последовательного проектирования 81
2.6.5 Взаимодействие общей и прикладной онтологии 86
Основные результаты 87
Глава 3. Алгоритмы унификации и структуризации для моделей знаний в технологии Semantic Web 88
3.1 Дескриптивная логика с ICF-типизацией 88
3.1.1 Дескриптивная логикаи ее семантика 88
3.1.2 Проблема анализа документов для поиска 90
3.1.3 Прикладная ICF-онтология. Описание в DL-нотации 94
3.1.3.1 Описание сложных ситуативных структур 94
3.1.3.2 Ситуативные структуры на примере предметной области "программирование" 97
3.1.3.3 Пример описания предметной области 100
3.2 Унификация в прикладных ICF-онтологиях 105
3.3 Алгебраическая система онтологических признаковых структур 108
3.3.1 Концепция признаковых структур 108
3.3.2 Основные определения ПО
3.3.3 Свойства отношений и операций
3.4 Алгоритм унификации онтологических признаковых структур 118
3.5 Формальное описание алгоритма унификации 122
3.6 Схема алгоритма унификации 130
Основные результаты 137
Глава 4. Унификация и структуризация прикладных онтологических описаний в программной системе ICF PUTE 138
4.1 Назначение программной системы ICF PUTE 138
4.2 Проектирование архитектуры системы 138
4.3 Вопросы реализации алгоритма унификации 141
4.4 Поисковая подсистема 144
4.5 Диаграмма классов 148
4.6 Проектные решения в системе ICF PUTE 150
4.7 Экспериментальный анализ свойств системы и сравнение с
существующими аналогами 152
Основные результаты 157
Заключение 158
Библиография
