4. Язык owl

Язык Web-Онтологий OWL (Ontology Web Language), созданный консорциумом W3C, ориентирован на представление семантической информации о данных, распространяемых по каналам Internet, и изначально рассматривался как средство описания онтологий. По выразительной мощности OWL значительно превышает возможности XML, RDF и RDFS. Формальная семантика OWL имеет развитые механизмы логических выводов, позволяя получать новые факты, непосредственно не представленные в онтологии, но вытекающие из ее семантики. По сравнению с RDF/RDFS язык OWL реализует качественно расширенные средства определения отношений между типами (классами) объектов и свойств, между классами и индивидами, а также между целостными онтологиями или их компонентами. Эти различия позволяют утверждать, что OWL в полном смысле слова является языком семантического описания Web-ресурсов и Web-контентов. Важным преимуществом OWL-онтологий является также предполагаемая доступность инструментов, способных «рассуждать» о них, причем инструменты данного класса обеспечивают общую поддержку аппарата онтологий, которая не является специфической для какой-либо предметной области. Таким образом, OWL претендует на статус общепринятого выразительного средства описания онтологий.

4.1. Диалекты owl

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.

Выбор диалекта полностью определяется требуемой функциональностью разрабатываемой онтологии.