OWL

OWL (Web Ontology Language) - это формальный язык для описания онтологий. OWL базируется на описательной логике (Description Logic или DL) и имеет несколько вариантов синтаксиса (OWL/XML, RDF/XML, N3, Манчестерский синтаксис и другие). На данный момент последней является вторая версия OWL, которая стала официальной рекомендаций W3C в октябре 2009 г.

OWL 2 включает ряд следующих фрагментов (так называемых профилей), которые, как правило, используются в приложениях, которые готовы принести выразительность языка в жертву производительности:

• OWL 2 EL, базирующийся на DL EL++ и служащий для описания онтологий, содержащих большое число классов и свойств но не требующих высокой выразительности языка. Под это требование подходят многие медицинские онтологии, например, SNOMED.

• OWL 2 QL, служащий для приложений, оперирующих большими наборами данных (фактов). Данный язык базируется на описательной логике DL-Lite, которая примечательна тем, что логические запросы можно свести к выполнению запросов SQL.

• OWL 2 RL, полезный для приложений, которым требуется высокая производительность логического вывода и нужды которых незначительно выходят за пределы RDFS. Этот язык примечателен тем, что логический вывод может быть реализован на основе систем применения правил (rule based engines).