Введение
ГЛАВА I Анализ проблем интеграции данных информационных систем 12
1.1 Интеграция информационных систем 12
1.2 Интеграция данных
1.2.1 Проблемы и конфликты 17
1.2.2 Технологии и инструменты 35
1.3 Онтология и представление знаний 37
1.3.1 Формализмы представления онтологических знаний 38
1.3.2 Языки спецификации онтологий 45
1.3.3 Редакторы онтологий 47
1.3.4 Ризонеры онтологий..
1.4 Методы онтологического представления данных 51
1.5 Инструменты онтологической интеграции данных 56
1.6 Выводы 58
ГЛАВА II Применение формализма дескрипционных логик для идентификации семантических конфликтов метаданных и несоответствия интегрируемых данных 60
2.1 Онтологическая модель концептуальных объектов 61
2.1.1 Представление множества сущностей и множества значений 61
2.1.1.1 Представление сущности и значения 64
2.1.2 Представление множества связей и атрибута
2.1.2.1 Представление транзитивной связи 77
2.1.2.2 Представление зависимости существования
2.1.3 Представление ключа сущности 83
2.1.4 Представление отношения сущностей 84
2.1.5 Онтология концептуальных объектов 90
2.2. Объединение онтологий концептуальных объектов 91
2.2.1 Объединение терминологических аксиом 91
2.2.2 Объединение утверждений 95
2.2.3 Общая онтология концептуальных объектов
2.3. Онтологическое моделирование концептуальных схем сущность-связь 96
2.4. Анализ онтологии концептуальных схем сущность-связь
2.4.1 Решение алгоритмической проблемы согласованности терминологии 104
2.4.2 Решение алгоритмической проблемы классификации терминологии 115
2.4.3 Решение алгоритмической проблемы согласованности онтологии 117
2.5 Выводы 126
ГЛАВА III Описание программного обеспечения проверки согласованности концептуальных схем сущность-связь реляционных баз данных 127
3.1 Средства разработки программного обеспечения C3S 127
3.2 Архитектура программного обеспечения C3S 129
3.3 Описание программного обеспечения C2O 134
3.4 Описание программного обеспечения C2OP 142
3.5 Применение программного обеспечения C3S для проверки согласованности концептуальных схем сущность-связь
3.5.1 Построение концептуальных схем 148
3.5.2 Описание онтологий 152
3.5.3 Интеграция онтологий 155
3.5.4 Анализ онтологии 158
3.6 Выводы 160
ГЛАВА IV Эксперементальная оценка способа выявления семантических конфликтов и несоответствия интегрируемых данных 162
4.1 Этапы экспериментальной оценки 163
4.2 Экспериментальная оценка на наборах опытных данных группы НТ 166
4.2.1 Экспериментальная оценка на наборах опытных данных группы НТ ОТНЕ 166
4.2.2 Экспериментальная оценка на наборах опытных данных группы НТ НТОЕ 170
4.2.3 Экспериментальная оценка на наборах опытных данных группы НТ НТНЕ 1 4.3 Экспериментальная оценка на наборах опытных данных группы НУ 173
4.4 Экспериментальная оценка на наборах опытных данных группы НО 175
4.5 Выводы 179
Библиографический список
