OWL
OWL (англ. Web Ontology Language) — язык описания онтологий для семантической паутины. Язык OWL позволяет описывать классы и отношения между ними, присущие веб-документам и приложениям. OWL основан на более ранних языках OIL и DAML+OIL и в настоящее время является рекомендованным консорциумом Всемирной паутины.
В основе языка — представление действительности в модели данных «объект — свойство». OWL пригоден для описания не только веб-страниц, но и любых объектов действительности. Каждому элементу описания в этом языке (в том числе свойствам, связывающим объекты) ставится в соответствие URI.
Виды OWL
OWL обеспечивает три различных по выразительности диалекта, спроектированных для использования отдельными сообществами разработчиков и пользователей. Каждый из этих диалектов - расширение его более простого предшественника, и в том, что касается выразительных возможностей, и в том, что касается возможностей производимых заключений.
- OWL Lite поддерживает тех пользователей, которые нуждаются, прежде всего, в классификационной иерархии и простых ограничениях. Например, притом, что он поддерживает ограничения кардинальности (количества элементов), допускаются значения кардинальности только 0 или 1. Для разработчиков должно быть проще в своих продуктах обеспечить поддержку OWL Lite, чем его более выразительных собратьев, в частности, OWL Lite позволяет быструю миграцию тезаурусов и других таксономий.
- OWL DL поддерживает тех пользователей, которые хотят максимальной выразительности без потери полноты вычислений (все заключения гарантировано будут вычисляемыми), и разрешаемости рассудочных систем (все вычисления завершатся в определенное время). OWL DL включает все языковые конструкции OWL с ограничениями вроде разделения типа (класс не может быть частным свойством, а свойство не может быть индивидом или классом). OWL DL так назван из-за его соответствия дескриптивной логике, дисциплине, в которой изучен именно разрешаемый фрагмент логики первого порядка. OWL DL была спроектирована, чтобы поддержать существующий сегмент бизнеса, занимающийся дескриптивной логикой, и иметь желательные вычислительные свойства для систем рассуждения.
- OWL Full предназначается для пользователей, которые хотят максимальную выразительность и синтаксическую свободу RDF без вычислительных гарантий. Например, в OWL Full класс может одновременно рассматриваться и как совокупность индивидов, и с равным правом как индивид. Другое существенное отличие от OWL DL в том, что owl:DatatypeProperty может быть помечено как owl:InverseFunctionalProperty. OWL Full позволяет такие онтологии, которые расширяют состав предопределенного (RDF или OWL) словаря. Маловероятно, что какое-либо рассудочное программное обеспечение будет в состоянии поддержать полную поддержку каждой особенности OWL Full.
Разработчики онтологий, использующие OWL, должны решить, какой из диалектов лучше подходит к их задачам. Выбор между OWL Lite и OWL DL зависит от степени того, насколько пользователям требуются более выразительные конструкции, обеспечиваемые OWL DL. Приложения для OWL Lite будут иметь желаемые вычислительные характеристики. Приложения для OWL DL, при том, что имеют дело с разрешаемым диалектом, в самых тяжелых случаях будут связаны с более высокой сложностью. Выбор между OWL DL и OWL Full, главным образом, зависит от степени того, насколько пользователям требуются средства мета-моделирования RDF Схем (например, определяющие классы классов). При использовании OWL Full, по сравнению с OWL DL, рассудочная поддержка менее предсказуема.
Пользователи, мигрирующие из RDF в OWL DL или OWL Lite должны позаботиться о том, чтобы оригинальный RDF-документ выполнял ограничения, наложенные OWL DL и OWL Lite.