Введение

Данное руководство представляет Protege-OWL для создания OWL онтологий.

• Глава 3 содержит краткий обзор языка онтологий OWL.
• Глава 4 направлена на создание OWL-DL онтологий, использование описания логики рассуждений по проверке согласованности онтологий и на автоматическое вычисление иерархии классов онтологии.
• Глава 6 описывает некоторые OWL конструкции, такие как hasValue ограничения, нумерованные классы, которые непосредственно не используются.
• Глава 7 описывает имена, импорт онтологий, различные функции и утилиты OWL Protege-приложений.