Этот документ является не официальным переводом исходной английской версии OWL 2 Web Ontology Language Document Overview. Обратите внимание на то, что оригинальная версия документа существует только на английском языке. Данный перевод может содержать неточности и ошибки. Перевод выполнил © Зайцев Дмитрий, 2011. При поддержке сайта floor lamp, cfmcompressors.com. Комментарии к переводу оставляйте здесь! | | На главную
Пожалуйста, обратитесь к странице исправлений для этого документа, где могут быть приведены нормативные изменения к текущему документу.
Этот документ, также доступен в таких ненормативных форматах: версия PDF.
См. также переводы.
Copyright © 2009 W3C® (MIT, ERCIM, Keio), Все права защищены. W3C придерживается правил ответственности, торговой марки и использования документов.
OWL 2, язык Веб-онтологий, неофициально OWL 2, это язык онтологий для семантического Web с формально определенными значениями. Онтологии OWL 2 обеспечивают классы, свойства, индивиды, и значения данных и хранятся в виде семантических веб-документов. Онтологии OWL 2 могут быть использованы вместе с информацией написанной на RDF, и онтологии OWL 2 между собой обмениваются, прежде всего, как документы RDF.
Этот документ служит введением в OWL 2 и для различных других документов OWL 2. Он описывает синтаксис для OWL 2, различные виды семантики, доступные профили (суб-языки), и отношения между OWL 1 и OWL 2.
Этот раздел описывает статус данного документа на момент его публикации. Другие документы могут заменять этот документ. Со списком текущих публикаций W3C и последней ревизией этого технического доклада можно ознакомиться в индексе технических докладов W3C на http://www.w3.org/TR/.
OWL 2 определена, чтобы использовать типы данных, которые используются в Язык Определения XML Schema (XML Schema Definition Language, XSD). На момент написания статьи, последняя рекомендация W3C для XSD это версия 1.0, с версией 1.1 прогресирующей к Рекомендации. OWL 2 был разработан , чтобы использовать в своих интересах новые типы данных и более четкие объяснения, доступные в XSD 1.1, но на данный момент эти преимущества частично приостановлены. В частности, до тех пор, пока XSD 1.1 не станет рекомендацией W3C, элементы OWL 2, которые основаны на нем, следует рассматривать, как дополнительные, как это описано в Соответствие, раздел 2.3. После публикации XSD 1.1 как рекомендации W3C, элементы прекращают быть дополнительными и должны считаться необходимыми, когда иного не предусмотрено.
Мы предлагаем, чтобы пока разработчики и пользователи следовали XSD 1.1 Candidate Recommendation. Основанной на обсуждениях между Schema и OWL Рабочими группами, мы не ожидаем, что любые изменения реализации будут необходимы в качестве продвижения XSD 1.1 к Рекомендации.
Не было никаких изменений к телу этого документа начиная с предыдущей версии. Для получения дополнительной информации о более ранних изменениях, см. журнал изменений.
Пожалуйста, отправляйте любые комментарии по адресу [email protected] (публичный архив). Хотя работа над этим документом Рабочей группой OWL завершена, комментарии могут рассматриваться касательно ошибок или будущих версий. Открытое обсуждение среди разработчиков приветствуется по адресу [email protected] (публичный архив).
Этот документ был рассмотрен членами W3C, разработчиками программного обеспечения, а также другими группами W3C и заинтересованными сторонами, и одобрен Директором в качестве Рекомендации W3C. Это стабильный документ и может быть использован в качестве справочного материала или цитат в другом документе. Роль W3C в разработке Рекомендации, заключается в привлечении внимания к спецификации, и способствовать ее широкому распространению. Это повышает функциональность и совместимость в Веб (Web).
Этот документ был подготовлен группой, работающей под политикой патента W3C от 5 февраля 2004 года. Данный документ является только информативным. W3C поддерживает публичный список открытых патентов принятыми в связи с результатами деятельности группы; эта страница также включает в себя инструкции по раскрытию патента.
Оглавление |
Этот документ содержит ненормативный краткий обзор язык Веб-онтологий OWL 2 и служит в качестве карты для документов, которые определяют и описывают OWL 2.
Онтологии являются формализованными словарями терминов, часто покрывая определенный домен и совместно используемый сообществом пользователей. Они задают определения терминов, описыванием своих отношений с другими терминами в онтологии. OWL 2 является расширением и новой версией языка Веб-онтологий OWL разработанного Рабочей Группой Веб-онтологий W3C и опубликованного в 2004 году (далее, как “OWL 1”). OWL 2 разрабатывается (и этот документ был написан) последующей группой, Рабочей Группой OWL W3C. Как и OWL 1, OWL 2 разработан для того, чтобы облегчить разработку онтологии и совместного использования через Сеть, с конечной целью создания Веб-контента, более доступного для машин.
Рисунок 1 дает краткий обзор языка OWL 2, показывая его основные стандартные блоки и то, как они соотносятся друг с другом. Эллипс в центре представляет абстрактное понятие онтологии, которое можно рассмотреть, либо как абстрактную структуру, либо как граф RDF (см. 2.1 Онтологии). Наверху находятся различные конкретные синтаксисы (см. 2.2 Синтаксисы), которые могут быть использованы для сериализации и обмена онтологиями. Внизу рисунка располагаются две семантические спецификации, которые определяют значение онтологий OWL 2 (см. 2.3 Семантика).
Большинству пользователей OWL 2 будет необходим только один синтаксис и одна семантика; для них, эта диаграмма будет значительно проще, только с одним блоком синтаксиса вверху, одним блоком семантики внизу и крайне редко необходимо посмотреть, что находится в центре эллипса.
Рисунок 1. Структура OWL 2
Концептуальная структура онтологий OWL 2 определена в документе структурной спецификации OWL 2 [OWL 2, Структурная спецификация]. Этот документ использует UML [UML], чтобы определить структурные элементы доступные в OWL 2, а также объясняет их роли и функциональности в абстрактных понятиях и независимо от любого определенного синтаксиса. Он также определяет синтаксис функционального стиля, который внимательно следит за структурной спецификацией и позволяет онтологиям OWL 2 быть написанными в компактной форме.
Любую онтологию OWL 2 можно также рассматривать, как граф RDF. Взаимоотношения между этими двумя представлениями определено Отображением в RDF-графах документа [OWL 2 RDF Mapping], который определяет преобразование от структурной формы до формы графов RDF, и наоборот. Краткое руководство по OWL 2 [OWL 2, Краткое руководство], предоставляет простой обзор этих двух представлений OWL 2, изложенных параллельно.
На практике, конкретный синтаксис необходим для того, чтобы хранить онтологии OWL 2 и обмениваться ими среди инструментов и приложений. Основной синтаксис обмена для OWL 2 является RDF/XML [Синтаксис RDF]; это действительно единственный синтаксис, который должен поддерживаться всеми инструментами OWL 2 (см. Раздел 2.1 о соответствиях документов OWL 2 [OWL 2 Соответствия]).
В то время как RDF/XML предусматривает функциональную совместимость среди инструментов OWL 2, другие конкретные синтаксисы могут также использоваться. Они включают в себя альтернативные сериализации RDF, такие как Turtle [Turtle]; сериализация XML, [OWL 2 XML]; и более "читаемый" синтаксис, так называемый Манчестерский Синтаксис [OWL 2, Манчестерский Синтаксис], который используется в нескольких инструментах редактирования онтологии. Наконец, синтаксис функционального стиля может также использоваться для сериализации, хотя ее основная цель является определение структуры языка [Структурная Спецификация OWL 2].
Имя Синтаксиса | Спецификация | Статус | Цель |
---|---|---|---|
RDF/XML | Отображение в RDF-графах , RDF/XML | Обязательный | Взаимообмен (может быть записан и считан любым программным обеспечением совместимым с OWL 2) |
OWL/XML | Сериализация XML | Дополнительный | Упростить обработки, используя инструменты XML |
Functional Syntax | Структурная Спецификация | Дополнительный | Упростить обнаружение формальной структуры онтологий |
Manchester Syntax | Манчестерский Синтаксис | Дополнительный | Упростить чтение/запись онтологий DL |
Turtle | Mapping to RDF Graphs, Turtle | Дополнительный, Не от OWL-WG | Упростить чтение/запись RDF-триплетов |
Документ Структурной Спецификации OWL 2 определяет абстрактную структуру онтологий OWL 2, но не определяет их значение. Естественные Семантики [OWL 2, Естественные Семантики] и Семантики основанные на RDF [OWL 2, Семантики основанные на RDF] обеспечивают два альтернативных способа присвоения значений для онтологий OWL 2, с теоремой соответствий обеспечивающей связь между ними. Эти две семантики используются многими программными системами(reasoners) и другими инструментами, например, чтобы ответить на запросы согласованности класса, категоризации и запросы извлечения экземпляра.
Естественные Семантики присваивают значение непосредственно структурам онтологий, приводящим к семантике, совместимой с моделью теоретической семантики фрагмента логики—a описания SROIQ из логики первого порядка с полезными вычислительными свойствами. Преимуществом этой близкой связи состоит в том, что обширная литература логики описания и опыт реализации могут быть непосредственно использованы инструментами OWL 2. Однако, некоторые условия должны быть помещены в структуры онтологий, чтобы гарантировать, что они могут быть преобразованы в базу знаний SROIQ; например, переходные свойства не могут использоваться в ограничениях количества (см. Раздел 3 документа Структурной Спецификации OWL 2 [OWL 2, Структурная Спецификация] для получения полного списка этих условий). Онтологии которые удовлетворяют этим синтаксическим условиям называются онтологии OWL 2 DL. "OWL 2 DL" используются неофициально, чтобы обратиться к онтологиям DL OWL 2, интерпретируемым, используя Естественную Семантику [OWL 2, Естественные Семантики].
Семантики основанные на RDF [OWL 2, Семантики основанные на RDF] присваивают значения непосредственно RDF-графам, а также косвенно к структурам онтологий через Отображение в RDF-графах. Семантика основанная на RDF является полностью совместимой с Семантиками RDF [Семантики RDF], и расширяет семантические условия, определенные для RDF. Семантика основанная на RDF может быть применена к любой Онтологии OWL 2, без ограничений так же, как и любая Онтология OWL 2 может быть отображена в RDF. "OWL 2 Full" используется неофициально, чтобы обратиться к RDF-графам, которые рассматривают как онтологии OWL 2 и интерпретируются с использованием Семантики на основе RDF.
Теорема соответствий в Разделе 7.2 из документа о семантиках основанных на RDF [OWL 2, Семантики основанные на RDF]) определяет точную, тесную связь между Естественными и Основанными на RDF Семантиками. В основном, эта теорема утверждает, что для данной онтологии DL OWL 2, отображение выводов с помощью Естественных Семантик все еще будет допустимо, если онтология будет отображена в RDF-графах и интерпретируются с использованием Семантик на основе RDF.
Профили OWL 2 [OWL 2 Профили] являются суб-языками (синтаксические подмножества) OWL 2, которые предлагают важные преимущества в определенных сценариях приложения. Определены три различных профиля: OWL 2 EL, OWL 2 QL, и OWL 2 RL. Каждый профиль определен как синтаксическое ограничение Структурной Спецификации OWL 2, то есть, как подмножество структурных элементов, которые могут использоваться в соответствующей онтологии, и каждый из них является более строгим, чем OWL DL. Каждый из профилей балансирует между различными аспектами выразительной силы OWL взамен различных вычислительных и/или внедрительных преимуществ.
OWL 2 EL разрешает полиномиальные алгоритмы времени для всех стандартных задач обоснований (reasoning tasks); это является особенно подходящим для приложений, где необходимы очень большие онтологии, и где выразительная сила может быть обменена на гарантии исполнения. OWL 2 QL разрешает конъюнктивные запросы, требующие ответа в LogSpace (точнее, AC0), с использованием стандартной технологии реляционной базы данных; это является особенно подходящим для приложений, где относительно легкие онтологии используются для того, чтобы организовать большое количество индивидов и где это будет полезно или необходимо получить доступ к данным непосредственно через реляционные запросы (например, SQL). OWL 2 RL разрешает реализации полиномиальных алгоритмов времени обоснований (polynomial time reasoning algorithms), использующие правила расширенных технологий баз данных работающие непосредственно на RDF-триплетах; это является особенно подходящим для приложений, где относительно легкие онтологии используются для того, чтобы организовать большое количество индивидов и где это будет полезно или необходимо работать непосредственно на данных в форме RDF-триплетов.
Любая из онтологий EL, QL или RL OWL 2 является, конечно же, также онтологией OWL 2 и может быть интерпретирована с помощью либо Естественной или основанной на RDF Семантики. При использовании OWL 2 RL, основанная на правилах реализация может работать непосредственно на RDF-триплетах и так же может быть применен к произвольному RDF-графу, т.е., к любой онтологии OWL 2. В этом случае, рассуждение всегда будет звуком (то есть, только корректные ответы на запросы будут вычислены), но оно не может быть полным запросом (то есть, не гарантируется, что все корректные ответы на запросы будут вычислены). Теорема PR1 из документа о Профилях однако утверждает, что (в общем), когда онтология согласуется с структурным определением OWL 2 RL, подходящая реализация основанная на правилах выполняет основные атомарные запросы, будет и звуком и полным запросом.
У OWL 2 очень похожая общая структура с OWL 1. Смотря на рисунок 1, почти все стандартные блоки OWL 2 присутствовали у OWL 1, хотя возможно под различными именами.
Центральная роль RDF/XML, роль других синтаксисов, и отношения между Естественной и Основанной на RDF Семантиках (то есть, теорема соответствий) не изменились. Что еще более важно, есть полная обратная совместимость с OWL 1 во всех отношениях: все Онтологии OWL 1 остаются действительными в Онтологиях OWL 2, с идентичными выводами во всех практических случаях (см. Раздел 4.2 из OWL 2, Новые Функции и Обоснование [OWL 2, Новые Функции и Обоснование]).
OWL 2 добавляет новую функциональность относительно OWL 1. Некоторые из новых функций является синтаксическим сахаром (например, разделение объединения классов) в то время как другие предлагают новую выразительность, включая:
OWL 2 также определяет три новых профиля [OWL 2 Профили] и новый синтаксис [OWL 2 Манчестерский Синтаксис]. Кроме того, некоторые из ограничений, применимых к OWL DL были ослаблены; в результате набор RDF-графов, которые могут быть обработаны Описанием Логики программных систем (reasoners), стало немного больше у OWL 2.
Все вышеупомянутое, задокументировано подробно в документе OWL 2, Новые Функции и Обоснование [OWL 2, Новые Функции и Обоснование]. OWL 2, Краткое руководство [OWL 2, Краткое руководство] также обеспечивает краткий обзор функций OWL 2, ясно указывающий новые функции.
Язык онтологий OWL 2 нормативно определен пятью базовыми документами спецификации, описывающими его концептуальную структуру, основной синтаксис обмена (RDF/XML), две альтернативные семантики (Естественная и Основанная на RDF), и требования соответствий. Три дополнительных документа спецификации описывают дополнительные функции, которые могут поддерживаться некоторыми реализациями: профили языка, и два альтернативных конкретных синтаксиса (OWL/XML и Манчестер).
Однако, все эти документы довольно технические и главным образом нацелены на конструкторов OWL 2 и разработчиков инструментов. Те, кто ищет более доступное руководство по функциям и использованию OWL 2 могут предпочесть консультироваться с одним из пользовательских документов (Учебник для начинающих, Новые Функции и Обоснование, и Руководство по Справочнику).
Часть | Тип | Документ |
---|---|---|
1 | Для Пользователей | Общий обзор документа. Краткий обзор спецификации OWL 2, который включает в себя описание ее отношения к OWL 1. Это начальная точка и основная контрольная точка для OWL 2. |
2 | Базовая Спецификация | Структурная Спецификация и Синтаксис функционального стиля определяет конструкции онтологий OWL 2 с точки зрения, как их структуры, так и синтаксиса функционального стиля, и определяет онтологии DL OWL 2 с точки зрения глобальных ограничений на онтологии OWL 2. |
3 | Базовая Спецификация | Отображение на RDF-графах определяет отображение конструкций OWL 2 в RDF-графах, и таким образом определяет основные средства обмена онтологий OWL 2 в Semantic Web. |
4 | Базовая Спецификация | Естественная Семантика определяет значение онтологий OWL 2 с точки зрения теоретико-модельной семантики. |
5 | Базовая Спецификация | Семантика основанная на RDF определяет значение онтологий OWL 2 через расширение семантики RDF. |
6 | Базовая Спецификация | Соответствие предоставляет требования для инструментов OWL 2 и набора тестов для определения соответствия. |
7 | Спецификация | Профили определяет три суб-языка OWL 2, которые предлагают важные преимущества в определенных сценариях приложений. |
8 | Для Пользователей | OWL 2 Учебник для начинающих обеспечивает доступное введение в OWL 2, включая ориентацию для тех, кто приходит из других дисциплин. |
9 | Для Пользователей | OWL 2 Новые Функции и Обоснование обеспечивает краткий обзор основных новых функций OWL 2 и мотивирует их включение в язык. |
10 | Для Пользователей | OWL 2 Руководство по Справочнику обеспечивает краткое руководство по конструкциям OWL 2, обращая внимание на изменения от OWL 1. |
11 | Спецификация | Сериализация XML определяет синтаксис XML для того, чтобы обмениваться онтологиями OWL 2, подходящими для использования с инструментами XML как основанные на схеме редакторы и XQuery/XPath. |
12 | Спецификация | Манчестерский Синтаксис (WG Note) определяет легкий для чтения, но менее формальный, синтаксис для OWL 2, который используется в некоторых пользовательских инструментах интерфейсов OWL 2 и также используется в Учебнике для начинающих. |
13 | Спецификация | Расширение диапазона данных: Линейные Уравнения (WG Note) определяют дополнительное расширение OWL 2, который поддерживает усовершенствованные ограничения на значения свойств. |
Начиная с Предложенной Рекомендации от 22 сентября 2009, в этом документе не было произведено никаких изменений.
В этом разделе приведены изменения, к этому документу, начиная с последнего Рабочего Проекта от 11 июня 2009.
Отправной точкой для развития OWL 2 была представлением OWL1.1, непосредственно результатом обратной связи пользователя и разработчика, и в особенности информации, собранной во время OWL Опыт и Направления (OWLED) серия Workshop. Рабочая группа также рассматривала отложенные вопросы от Рабочей группы WebOnt.
Этот документ был подготовлен Рабочей Группой OWL (см. ниже),и ее содержание отражает обширные обсуждения в пределах Рабочей группы в целом. Редакторы выражают особую благодарность Ивану Херману (Ivan Herman, W3C/ERCIM), Яну Хорроксу (Ian Horrocks, Oxford University) и Питер Ф. Патель-Шнайдер (Peter F. Patel-Schneider, Bell Labs Research, Alcatel-Lucent) за их тщательные обзоры.
Регулярные участники на заседаниях Рабочей группы OWL во время публикации этого документа были: Джи Бао (Jie Bao, RPI), Диего Кальванес (Свободный университет Боцен-Больцано) (Diego Calvanese, Free University of Bozen-Bolzano), Бернардо Грау Куэнка (Bernardo Cuenca Grau, Oxford University Computing Laboratory), Мартин Дзбор (Martin Dzbor, Open University), Акилле Фокоу (Achille Fokoue (IBM Corporation), Кристин Голбрайх (Christine Golbreich (Université de Versailles St-Quentin and LIRMM), Сандро Хоук (Sandro Hawke, W3C/MIT), Иван Херман (Ivan Herman, W3C/ERCIM), Ринке Хекстра (Rinke Hoekstra, University of Amsterdam), Ян Хоррокс (Ian Horrocks, Oxford University Computing Laboratory), Элиза Кендалл (Elisa Kendall, Sandpiper Software), Маркус Кретсч (Markus Krötzsch (FZI), Карстен Лутц (Carsten Lutz, Universität Bremen), Дебора Л. МакГиннес (Deborah L. McGuinness, RPI), Борис Мотик (Boris Motik, Oxford University Computing Laboratory), Джефф Пан (Jeff Pan, University of Aberdeen), Биджан Парса (Bijan Parsia, University of Manchester), Питер Ф. Патель-Шнайдер (Peter F. Patel-Schneider, Bell Labs Research, Alcatel-Lucent), Себастьян Рудольф (Sebastian Rudolph, FZI), Алан Рутенберг (Alan Ruttenberg, Science Commons), Ули Сеттлер (Uli Sattler, University of Manchester), Майкл Шнайдер (Michael Schneider, FZI), Майк Смит (Mike Smith, Clark & Parsia), Эван Уоллес (Evan Wallace, NIST), Чжэ Ву (Zhe Wu, Oracle Corporation), и Антуан Циммерман (Antoine Zimmermann, DERI Galway). Мы также хотели бы поблагодарить членов рабочей группы в прошлом: Джереми Кэрролл (Jeremy Carroll), Джим Хендлер (Jim Hendler), Vipul Kashyap.