Разработка и исследование методов и алгоритмов интерпретации баз знаний с онтологиями

• Автор: Хла Мьо Аунг
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Москва
• Количество страниц: 242 с. : ил.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1.

ОБЩИЕ СВЕДЕНИЯ ОБ ОНТОЛОГИЯХ

1.1. ЧТО ТАКОЕ ОНТОЛОГИЯ

1.2. ОНТОЛОГИИ И СЕМАНТИЧЕСКИЙ ВЕБ

1.3. ФОРМАЛЬНАЯ КОНЦЕПТУАЛИЗАЦИЯ И ФОРМАЛЬНЫЕ ОНТОЛОГИИ.

1.4. ФОРМАЛЬНАЯ МОДЕЛЬ ПОНЯТИЯ И КОНЦЕПТУАЛЬНЫЕ ЯЗЫКИ

1.5. РАБОТА С ОНТОЛОГИЯМИ.

Выводы К ПЕРВОЙ ГЛАВЕ.

ГЛАВА 2.
ФОРМАЛЬНЫЕ ЯЗЫКИ ДЛЯ ОПИСАНИЯ ОНТОЛОГИЙ.
2.1. ЯЗЫКИ, ОСНОВАННЫЕ НА ФРЕЙМАХ.
2.2. СЕМАНТИЧЕСКИЕ СЕТИ.
2.3. ФОРМАЛИЗМ I
2.4. КОНЦЕПТУАЛЬНЫЕ ГРАФЫ.
2.5. ОЫЦАЯ ЛОГИКА.
2.6. ДЕСКРИПТИВНЫЕ ЛОГИКИ.
2.7. ЛОГИКА.
2.8. ЯЗЫКИ И .
2.9 ЯЗЫК ДЛЯ СПЕЦИФИКАЦИИ ОНТОЛОГИЙ В.
СЕМАНТИЧЕСКОМ ВЕБЕ
2 ЯЗЫК .
2 ЯЗЫКИ СЕМЕЙСТВА .
21 Язык i
22 Языки ЦЬЬкся и ОЬЬиер
23. Язык ЕЬр
24. Запросы к Лбоксу.
ВЫВОДЫ К ВТОРОЙ ГЛАВЕ.
ГЛАВА 3.
БИНАРНАЯ МОДЕЛЬ ЗНАНИЙ
3.1. СИНТАКСИС ИМЕН, ИСПОЛЬЗУЕМЫХ В БМЗ.
3.2. БИНАРНАЯ МОДЕЛЬ ДАННЫХ.
3.2.1. Спецификация типов данных
3.2.2. Конструкторы типов данных
3.2.3. Спецификация функций
3.2.4. Спецификация структуры объектов.
3.2.5. Синтаксис языка структурной спецификации.
3.2.6. Атрибутные условия и интервальные ограничения.
3.2.7. Структурные схемы.
3.2.8. Представление данных в ЬМД
3.2.9. Логические предложения
3.3. СИНТАКСИЧЕСКАЯ КОРРЕКТНОСТЬ ЯЗЫКА СТРУКТУРНОЙ СПЦИФИКАЦИИ
3.3.1. Формальные языки
3.3.2. Источники.
3.3.3. Детерминированные источники.
3.3.4. Детерминизация источников.
3.3.5. Алгоритм синтаксической корректности
3.4. ТАБЛИЦЫ ДЕТЕРМИНИРОВАННЫХ ИСТОЧНИКОВ.
3.4.1. Таблица для структурных предложений.
3.4.2. Источник структурных предложений
3.4.3. Таблица детерминированного алгоритма для структурных предложений.
3.4.4. Источник спецификаций примитивных типов данных.
3.4.5. Источники предложений с конструкторами типов данных
3.4.6. Таблицы детерминированных источников для констукторов типов
ВЫВОДЫ К ТРЕТЬЕЙ ГЛАВЕ
ГЛАВА 4.
ЯЗЫК ЗАПРОСОВ ДЛЯ БИНАРНОЙ МОДЕЛИ ДАННЫХ
4.1. ПРИМЕРЫ ЗАПРОСОВ.
4.2. ОПИСАНИЕ ЗАПРОСОВ
4.3. ОПИСАНИЕ АЛГОРИТМА ТРАНСЛЯЦИИ
4.4. ПРИМЕРЫ РАБОТЫ ТРАНСЛЯТОРА.
ВЫВОДЫ К ЧЕТВЕРТОЙ ГЛАВЕ
ГЛАВА 5.
ЛОГИЧЕСКАЯ СПЕЦИФИКАЦИЯ ОНТОЛОГИЙ И ПРОДУКЦИОННЫЙ ВЫВОД.
5.1. ПРОСТЫЕ ОНТОЛОГИИ
5.1.1. Аристотелевы онтологии.
5.2. ПРОДУКЦИИ
5.3. ПРОДУКЦИИ ДЛЯ ЯЗЫКА ЯЛСА
5.4. ТАКСОНОМИИ. ЯЗЫК ЯЛСТ И ПРОДУКЦИИ ДЛЯ НЕГО. ЯЗЫК ЯЛСБАТ.
5.5. ЯЗЫК ЯЛСБ БУЛЕВЫХ ОТНОШЕНИЙ И ПРОДУК1 ЩИ ДЛЯ НЕГО
5.6. ЯЗЫКЯЛСИС ЛОГИЧЕСКОЙ СПЕЦИФИКАЦИИ С ИЕРАРХИЕЙ
СЕЛЕКТОРОВ
Выводы К ПЯТОЙ ГЛАВЕ
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


Х - X 1Ы Студент(ГодРожд = ), то ответом на э тот запрос будет множес тво суррогатов сту дентов, родившихся в году. Однако пользователю суррогаты не нужны, они нужны только интерпретатору запросов. Запрос 2. Какую фамилию имеет староста группы А-? Х.Группа. Староста. Студент(Группа. Номер = ’А-1) Запрос 3. Найти всех студентов іруипьі А І 3-0 І, родившихся ранее старосты этой группы. Х.ФИО - X ІМ Студент(Группа. ГодРожд < Группа. Староста. ГодРожд) Запрос 4. Какие студенты группы А- сдали экзамен по дискретной математике на отлично? Х.ФИО - X ІИ Студент;Х. Группа. X СдалЭкзамен 1 У) ; У. Назв=’дискретная матем. Приведенные примеры запросов принадлежат к классу конъюнктивных запросов. Как мы видим, каждый вопрос имеет голову и тело. WC-Si,X2. Sb. XQ. Si)-9 где Aj - переменные, a Sj обозначает селектор, т. Тело конъюнктивного запроса состоит из клауз, разделенных точками с запятой (точка с запятой обозначает конъюнкцию). X.S CYZ. X, Y, Z- переменные, S, S’ - селекторы, С-имя понятия, a