Оглавление
Введение.
Глава 1. Проблема инженерии знаний в технологии i
1.1 Цели и задачи развития технологии i
1.2 Основные понятия и модели представления знаний, используемые
для описания информационных ресурсов
1.3 Дескриптивная логика как средство формализации онтологий
1.4 Семейство языков для описания онтологий в i
1.5 Проблемы развития технологии i .
Основные результаты.
Глава 2. Разработка базового формализма для полиморфического представления знаний и системы оперирования
онтологическими описаниями
2.1 Проектирование общей Iонтологии для полиморфического представления знаний с использованием дескриптивной логики.
2.1.1 Основные понятия и определения
2.1.2 Основные отношения онтологии
2.1.3 Описание таксономии. Пример описания
2.2 Типизация концептов.
2.3 Метаотношения
2.4 Принципы построения общих регулярных онтологий
2.4.1 Принципы организации общих регулярных онтологий.
2.4.2 Дихотомическая классификация концептов
2.4.3 Строгая родовидовая таксономия I.
2.4.4 Исключение множественного наследования
2.4.5 Строгая видовидовая таксономия
2.4.6 Противоположность дочерних верпгин в дихотомической триаде.
2.47 Уникальность концептов. Редукция в смежное наследование
2.4.8 Минимальность пути смежного наследования.
2.5 Правила реорганизации регулярных Iонтологий
2.6 Принципы проектирования прикладных рщулярных Iонтологий
2.6.1 Формальные отличия прикладных онтологий от общей.
2.6.2 Принципы проектирования прикладных онтологий.
2.6.3 Способы проектирования прикладных онтологий
2.6.4 Способ последовательного проектирования
2.6.5 Взаимодействие общей и прикладной онтологий
Основные результаты.
Глава 3. Алгоритмы унификации и структуризации для моделей знаний в технологии i .
3.1 Дескриптивная логика с Iтипизацией.
3.1.1 Дескриптивная логика и ее семантика
3.1.2 Проблема анализа документов для поиска.
3.1.3 Прикладная Iонтология. Описание в нотации
3.1.3.1 Описание сложных ситуативных структур
3.1.3.2 Ситуативные структуры на примере предметной области программирование.
3.1.3.3 Пример описания предметной области
3.2 Унификация в прикладных онтологиях.
3.3 Алгебраическая система онтологических признаковых структур
3.3.1 Концепция признаковых структур
3.3.2 Основные определения
3.3.3 Свойства отношений и операций.
3.4 Алгоритм унификации онтологических признаковых структур
3.5 Формальное описание алгоритма унификации.
3.6 Схема алгоритма унификации.
Основные результаты
Глава 4. Унификация и структуризация прикладных онтологических описаний в программной системе I .
4.1 Назначение программной системы I .
4.2 Проектирование архитектуры системы
4.3 Вопросы реализации алгоритма унификации.
4.4 Поисковая подсистема
4.5 Диа1рамма классов.
4.6 Проектные решения в системе I
4.7 Экспериментальный анализ свойств системы и сравнение с
существующими аналогами.
Основные результаты.
Заключение
Библиография
- Киев+380960830922