Концептуальное моделирование и онтологии предметной области.Области и задачи инженерии, где востребовано применение онтологий.Введение в теорию множеств. Операции над множествами. Отображение множеств.Дескрипционная логика (DL - Description logics).- Общие сведения.
- Синтаксис логики ALC (Attributive Language with Complement).
- Манчестерский синтаксис написания формул DL.
- Семантика логики ALC.
- Базы знаний. Аксиомы и утверждения.
RDF модель данных.- Что такое RDF (Resource Description Framework).
- Почему необходимо RDF представление информации.
- Введение в RDF.
- Синтаксис RDF.
OWL – язык описание онтологий.- Основные понятия.
- Конструкции языка OWL (формат Turtle).
Руководство пользователя Eddy.- Загрузка и установка Eddy в OS Windows.
- Общий внешний вид редактора Eddy.
- Особенность диаграмм Eddy.
Язык Graphol.Синтаксис Graphol.
- Предикатные узлы.
- Узлы конструкторы.
- Ребра.
Graphol-выражение.
Виды выражений, допускаемых в Graphol.
- Выражение понятие.
- Выражение роль.
- Выражение атрибут.
- Выражение домен-значения.
- Выражение экземпляр.
- Выражение значения.
Членство утверждения.
Особенность модели Graphol-онтологии.Graphol онтология.- Элементы для представления graphol-онтологии.
- Операторы и аксиомы онтологии.
Операторы для сложных выражений.
Аргументы на входе операторов.
Оператор для индивидов.
Аксиомы включения.
Включения между сложными понятиями.
Обобщение.
Оператор для получения домена и диапазона роли.
- Атрибуты.
- Ограничение на роли.
Экзистенциальные ограничения на роли.
Универсальные ограничения на роли.
Ограничения мощности на роли.
Функциональность по ролям и атрибутам.
Обратные роли.
Инверсные роли.
Симметричность ролей.
Цепочка ролей.
- Графические пиктограммы и выражения языка Graphol в сравнении с выражениями Protégé.
Разработка учебной Graphol-онтологии.