Концептуальное моделирование с использованием OWL-редактора Protege
5 дней (40 академических часов)
Краткая аннотация
Все более значимое место в информатике занимают интеллектуальные системы. Знания в этих системах не вшиты в программы, а могут меняться. А раз так, то эти знания необходимо передавать программам как данные, т. е. возникает необходимость их описания в виде онтологий. Цель курса показать, как можно сделать описание знаний о предметной области основываясь на модели RDF и применяя формулы дискрипционной логики, которые поддерживаются редактором создания онтологий Protégé для создания текстовой (в Манчестерском формате) онтологии, с ее последующей сериализацией в формат Turtle языка OWL.
Концептуальное моделирование и онтологии предметной области.
Области и задачи инженерии, где востребовано применение онтологий.
Введение в теорию множеств. Операции над множествами. Отображение множеств.
Дескрипционная логика (DL - Description logics)
Общие сведения.
Синтаксис логики ALC (Attributive Language with Complement).
Манчестерский синтаксис написания формул DL.
Семантика логики ALC.
Базы знаний. Аксиомы и утверждения.
RDF модель данных
Что такое RDF (Resource Description Framework).
Почему необходимо RDF представление информации.
Введение в RDF.
Синтаксис RDF.
OWL – язык описание онтологий.
Основные понятия.
Конструкции языка OWL (формат Turtle).
Руководство пользователя Protégé.
Инсталляция Protégé в OS Windows.
Общий внешний вид редактора Protégé.
Вкладки и представления Protégé.
Аннотация. Языковые метки.
Органы управления.
Ввод и описание индивидов.
Компоненты онтологии и их реализация в Protégé.
Понятие класса и иерархия классов.
Отношения типа «Свойства объектов».
Характеристики отношений типа «Свойства объектов».
Домены и диапазоны свойств.
Отношения типа «Свойства данных».
Описание и определение классов с помощью ограничений.
Ограничения типа «Свойства объектов».
Экзистенциальные ограничения.
Универсальные ограничения.
Автоматизированная классификация и Open World Reasoning (OWR).
Группы данных (ValuePartition).
Мощность ограничений.
Ограничения типа «Свойства данных».
Подробнее о рассуждении об открытости мира.
Создание других OWL конструкций в Protege.
Создание индивидов.
Ограничение типа hasValue.
Перечислимые классы.
Свойства аннотации.
Несколько наборов необходимых и достаточных условий.
Иллюстрация выполнения SPARQL-запросов средствами Protege.
Разработка учебной Protege-онтологии.
Возможные форматы обучения и размеры групп
дистанционно в составе очной группы (без ограничения числа подключений)
корпоративный формат (для групп от 10 до 45 слушателей)
У нас обучаются
У нас обучаются
Тренер курса
Саксонов Александр Александрович
Бизнес - Аналитик
Ведёт 5 курсов в ЦЕСИНКОМ
Семантическое моделирование. Онтологии. Интеграция информационных систем на основе семантической модели данных Анализ и проектирование бизнес-процессов Объектно-ориентрованный анализ и проектирование ИС Проектирование, создание и администрирование баз данных
Разработка курса или траектории обучения под вашу задачу
Центр готов взять на себя разработку курсов и траекторий обучения под уже сформированную модель компетенций или просто под список знаний и навыков, которые нужно освоить специалистам организации.