Рекомендуем

CASE - технологии. Консалтинг в автоматизации бизнес-процессовКалянов Г.Н. CASE - технологии. Консалтинг в автоматизации бизнес-процессов
Интеллектуальные системы управления организационно-техническими системамиАнтамошин А.Н., Близнова О.В., Бобов А.В., Большаков А.А., Лобанов В.В., Кузнецова И.Н. Интеллектуальные системы управления организационно-техническими системами
Практика управления строительными проектамиВеличко В.В., Забабурина И.Г., Попков Г.В. Практика управления строительными проектами

Книга

Онтологическая модель представления и организации знаний

Учебное пособие для вузов
2015 г.
272 стр.
Тираж 500 экз.
Формат 60х90/16 (145x215 мм)
Исполнение: в мягкой обложке
ISBN 978-5-9912-0454-5
ББК 73
УДК 004.82
Гриф УМО
Допущено УМО вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки 231000 – «Программная инженерия» (бакалавриат и магистратура)
Аннотация

Систематически изложены такие вопросы, как онтология и ее основные компоненты; определение и описание классов; назначение и функции машины вывода (резонера); построение иерархии классов; технология разработки онтологии предметной области; дескрипционные логики, лежащие в основе онтологий; табло-алгоритм для логики ALC; OWL – язык описания онтологий; практическое применение онтологий. Приведены примеры; практические упражнения, выполняемые на компьютере; контрольные вопросы и задания. Следует отметить практическую направленность учебного пособия – большое внимание уделено процессу создания онтологий с использованием CASE-средства редактора Protege 4. Книга будет полезна при изучении курсов «Системы искусственного интеллекта» и «Онтология знаний».

Для студентов вузов, программистов, специалистов в области искусственного интеллекта и баз данных.

Оглавление

Введение

ГЛАВА 1. Онтология предметной области и ее основные компоненты
Введение
1.1. Что такое онтология?
1.2. Разработка онтологии
Контрольные вопросы
1.3. Определение и описание классов
Контрольные вопросы
1.4. Использование резонера (машины вывода)
Контрольные вопросы
1.5. Построение иерархии классов
Контрольные вопросы
1.6. Характеристики объектов (DataProperties)
Контрольные вопросы
Подведем итоги
Контрольные вопросы

ГЛАВА 2. Технология разработки онтологии предметной области
2.1. Методология построения онтологии продукта
2.2. Проектирование онтологии на основе концептуальной модели предметной области
Контрольные вопросы

ГЛАВА 3. Дескрипционная логика
Введение
3.1. Общие сведения
3.2. Синтаксис
3.3. Синтаксис логики ALC
3.4. Семантика
3.5. Семантика логики ALC
3.6. Связь с логикой предикатов
3.7. База знаний
3.8. Аксиомы и TBox
3.9. Утверждения и ABox
3.10. Выразительные ДЛ
Контрольные вопросы
3.11. Логический анализ
3.12. Свойства ДЛ
3.13. Разрешимость логики ALC
3.14. Понятие разрешающего алгоритма
3.15. Табло-алгоритм для логики без терминологий
3.16. Табло-алгоритм для логики ALC с терминологиями
3.17. Отличие баз знаний от баз данных
3.18. Связь с языком OWL
3.19. Машины вывода и редакторы
3.20. О вычислительной сложности логики ALC
Контрольные вопросы

ГЛАВА 4. OWL – язык описания онтологий
4.1. Основные понятия
4.2. Конструкции языка OWL
4.3. Управление онтологиями
4.4. Связь OWL с другими технологиями
Контрольные вопросы

ГЛАВА 5. Практическое применение онтологий
5.1. Основные области применения онтологий
5.2. Системы искусственного интеллекта
5.3. Semantic Web
5.4. Разработка и управление терминологией
5.5. Концептуальное моделирование
5.6. Системы управления знаниями
5.7. Интеграция разнородных источников данных
5.8. Спецификация содержимого разнородных источников данных
5.9. Информационный поиск
5.10. Семантический поиск
5.11. Онтологии в электронной коммерции
5.12. Примеры существующих проектов и систем
Контрольные вопросы

Заключение

Библиографический список

ПРИЛОЖЕНИЕ П1. Программа «Семья» в формате, основанном на Манчестерском синтаксисе
ПРИЛОЖЕНИЕ П2. Программа «Семья» в формате, основанном на Функциональном синтаксисе