СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 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. ЯЗЫКЯЛСИС ЛОГИЧЕСКОЙ СПЕЦИФИКАЦИИ С ИЕРАРХИЕЙ
СЕЛЕКТОРОВ
Выводы К ПЯТОЙ ГЛАВЕ
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
- Киев+380960830922