OWL имеет 3 различных по функциональным возможностям диалекта (в порядке возрастания «выразительности»): OWL Lite, OWL DL и OWL Full.
OWL Lite ориентирован на пользователей, нуждающихся, прежде всего, в классификационной иерархии и простых ограничениях (например, для ограничения кардинальности, т. е. количества элементов, допускаются только значения 0 или 1). OWL Lite проще (чем другие OWL-диалекты) поддерживается и вычислительно более эффективен в простых приложениях (в частности, OWL Lite обеспечивает быструю миграцию тезаурусов и таксономий).
OWL DL обеспечивает максимальную выразительность без потери полноты вычислений (все заключения гарантированно будут вычисляемыми) и разрешимости систем рассуждений (все вычисления завершатся в определенное время). OWL DL включает все языковые конструкции OWL с рядом ограничений (например, класс не может быть частным свойством, а свойство – индивидом или классом). OWL DL получил свое название из-за его соответствия дескриптивной логике (Descriptive Logic – DL) – дисциплине, в которой рассматривается именно разрешимая логика первого порядка.
|
|
OWL Full имеет максимальную выразительность и синтаксическую свободу, но не гарантирует вычислимости. Например, в OWL Full класс может одновременно рассматриваться и как совокупность индивидов, и как индивид. OWL Full позволяет строить онтологии, расширяющие состав предопределенного (RDF или OWL) словаря.
Каждый из перечисленных диалектов (кроме Lite) – синтаксическое и семантическое расширение более простого предшественника. При этом:
· каждая допустимая онтология OWL Lite допустима в OWL DL;
· каждая допустимая онтология OWL DL допустима в OWL Full;
· каждое правильное заключение OWL Lite правильно и в OWL DL;
· каждое правильное заключение OWL DL правильно и в OWL Full.
Выбор диалекта полностью определяется требуемой функциональностью разрабатываемой онтологии.