OWL — язык веб-онтологий для представления знаний через онтологии. Язык OWL разработан Консорциумом W3C и позволяет описывать любую предметную область как часть реальности через наборы классов любых объектов и отношений между ними. Этот язык используется при создании веб-документов, графов знаний и приложений.
В основе языка — представление действительности в модели данных «объект — свойство». OWL пригоден для описания не только веб-страниц, но и любых объектов действительности. Каждому элементу описания в этом языке (в том числе свойствам, связывающим объекты) присваивается идентификатор URI.
Онтологии — это формальный способ описания таксономий (иерархически-структурированных понятий предметной области) и сетей классификации, по существу определяющий структуру знаний для различных областей в формальном виде:
- существительные, представляющие классы объектов, и
- глаголы (предикат), представляющие отношения между объектами.
Онтологии в графовых базах данных напоминают иерархии классов в объектно-ориентированном программировании (ООП), но у них есть несколько важных отличий.
Иерархия классов как структура данных в ООП статична и полагается на единообразные и структурированные источники данных (корпоративные базы данных), любое изменение структуры данных сопряжено с высокой трудоемкостью, стоимостью и рисками потери эффективности.
Онтологии благодаря графовым базам данных могут гибко меняться, подстраиваясь под растущий поток разнородных источников данных.
Данные, описываемые онтологией в семействе OWL, интерпретируются как набор «индивидов» и набор «утверждений свойств», которые связывают этих индивидов друг с другом. Онтология состоит из набора аксиом, которые накладывают ограничения на классы и типы отношений, разрешенные между ними. Эти аксиомы обеспечивают семантику, что дает возможность алгоритмам выводить дополнительную информацию на основе явно предоставленных данных. Полное введение в выразительную силу OWL представлено в W3C.
Онтологии OWL могут импортировать другие онтологии, добавляя информацию из импортированной онтологии в текущую онтологию.
Подъязыки OWL
Спецификация OWL, одобренная W3C, включает определение трех вариантов OWL с разными уровнями выразительности. Это OWL Lite, OWL DL и OWL Full (в порядке увеличения выразительности). Каждый из них является синтаксическим расширением своего более простого предшественника.
