Введение
ГЛАВА 1. Обзор и анализ проблем онтологического инжиниринга. постановка задачи исследования 12
1.1. Обзор задач управления знаниями организаций и предприятий 12
1.2. Анализ направлений развития и основных проблем онтологического инжиниринга 13
1.3. Обзор существующих методов и подходов к построению онтологий 18
1.4. Обзор и анализ системно-объектного УФО-подхода и результатов УФО-моделирования 30
1.5. Постановка задачи построения онтологий предметных областей на основе результатов визуального компьютерного моделирования 36
1.6. Выводы по главе 37
ГЛАВА 2. Исследование и адаптация концептуальных и формальных средств системно-объектного подхода для решения задач онтологического инжиниринга 38
2.1. Исследование и систематизация сведений о предметной области, содержащихся в визуальных графоаналитических моделях, представляемых с помощью УФО-подхода 38
2.2. Исследование взаимосвязи системно-объектных УФО-моделей и формализованных средств записи онтологий 41
2.3. Исследование и адаптация средств алгебраического описания УФО-моделей для их использования при преобразовании УФО-моделей в конструкции языков формального представления онтологий 47
2.4. Разработка метода описания УФО-модели на формализованном языке записи онтологии 59
2.5. Выводы по главе 77
ГЛАВА 3. Разработка средств построения онтологии на основе системно-объектного подхода 79
3.1. Разработка метода построения онтологии с использованием визуальной графоаналитической системно-объектной УФО-модели 79
3.2. Особенности валидации онтологии, построенной на основе графоаналитической УФО-модели 85
3.3. Разработка метода логического вывода на визуальных графоаналитических УФО-моделях за счет их интеграции с формальными средствами записи онтологии 91
3.4. Исследование применимости существующих средств и инструментов для осуществления логического вывода на визуальных графоаналитических УФО-моделях 96
3.5. Выводы по главе 101
ГЛАВА 4. Разработка и апробация алгоритмического и программного обеспечения для построения онтологии на основе УФО-модели и осуществления логического вывода на уфо-моделях 103
4.1. Разработка алгоритма описания УФО-модели на формализованном языке записи онтологии 103
4.2. Решение задач логического вывода на визуальных графоаналитических УФО-моделях за счет их интеграции с формальными средствами записи онтологии 116
4.3. Разработка исследовательского прототипа программного пакета автоматизированного построения онтологий на основе УФО-моделей предметной области 119
4.4. Апробация предложенной технологии автоматизированного построения онтологий 125
4.5. Выводы по главе 131
Заключение 133
Список использованных источников 135
