Нгуен Нгок Тхан Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC

Короткий опис

Нгуен Нгок Тхан Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Нгуен Нгок Тхан
Содержание

Реферат

Synopsis

Введение

1. Анализ предметной области

1.1 Методы диаграмматического представления знаний

1.1.1 Диаграммы Венна

1.1.2 Экзистенциальные графы Пирса

1.1.3 Теория графов

1.1.4 Концептуальные графы

1.2 Визуальные языки для онтологий

1.3 Диаграмматический вывод для онтологий

1.4 Методы оценки визуальных языков

1.4.1 Принципы проектирования визуальных языков

1.4.2 Методы оценки визуальных языков для онтологий

1.5 Требования к разрабатываемым методам визуального представления онтологий

1.5.1 Семейство языков OWL

1.5.2 Семейство DL

1.5.3 Верификация онтологий

1.6 Выводы по Главе

2. Разработка семантико-ориентированных методов визуального представления онтологий

2.1 Семантико-ориентированный визуальный язык для

онтологий Logic Graphs

2.1.1 Logic Graphs для ALC

2.1.2 Logic Graphs для SHIFT

2.1.3 Logic Graphs для SHOIN

2.2 Алгоритм диаграмматической верификации для LG

2.2.1 Диаграмматический вывод для LG

2.2.2 Непротиворечивость системы диаграмматического вывода LG

2.3 Формальные методы оценки визуальных представлений онтологий

2.3.1 Полнота

2.3.2 Оценка информативности

2.4 Выводы по Главе

3. Апробация разработанных методов

3.1 Апробация языка Logic Graphs

3.2 Апробация диаграмматического алгоритма верификации

для LG

3.3 Апробация формальных методов оценки визуальных представлений онтологий

3.4 Выводы по Главе

Заключение

Список иллюстраций

Список таблиц

Литература

Приложение 1 - Акты о внедрении

Приложение 2 - Тексты публикаций

Реферат

Общая характеристика работы