Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://zajtcev.org/docs/w3c/ru/REC-owl2-overview-20091027.html below:

OWL 2, Язык Веб-онтологий. Общий обзор документа

Этот документ является не официальным переводом исходной английской версии OWL 2 Web Ontology Language Document Overview. Обратите внимание на то, что оригинальная версия документа существует только на английском языке. Данный перевод может содержать неточности и ошибки. Перевод выполнил © Зайцев Дмитрий, 2011. При поддержке сайтов huskyaircompressor.us, cfmcompressors.com. Комментарии к переводу оставляйте здесь! | | На главную

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].

Документ Структурной Спецификации 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 (точнее, AC⁰), с использованием стандартной технологии реляционной базы данных; это является особенно подходящим для приложений, где относительно легкие онтологии используются для того, чтобы организовать большое количество индивидов и где это будет полезно или необходимо получить доступ к данным непосредственно через реляционные запросы (например, 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 могут предпочесть консультироваться с одним из пользовательских документов (Учебник для начинающих, Новые Функции и Обоснование, и Руководство по Справочнику).

Начиная с Предложенной Рекомендации от 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.

[OWL 2 Соответствие]

OWL 2 Язык Веб-Онтологий: Соответствие Майкл Смит, Ян Хоррокс, Маркус Кретсч, Бирте Глимм, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-conformance-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-conformance/.

[OWL 2 Естественные Семантики]

OWL 2 Язык Веб-Онтологий: Естественные Семантики Борис Мотик, Питер Ф. Патель-Шнайдер, Бернардо Грау Куэнка, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-direct-semantics-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-direct-semantics/.

[OWL 2 Манчестерский Синтаксис]

OWL 2 Язык Веб-Онтологий: Манчестерский Синтаксис Мэтью Хорридж, Питер Ф. Патель-Шнайдер. Примечание Рабочей группы W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/NOTE-owl2-manchester-syntax-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-manchester-syntax/.

[OWL 2 Новые Функции и Обоснование]

OWL 2 Язык Веб-Онтологий: Новые Функции и Обоснование Кристин Голбрайх, Эван K. Уоллес, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-new-features/.

[OWL 2 Учебник для начинающих]

OWL 2 Язык Веб-Онтологий: Учебник для начинающих Паскаль Итцлер (Pascal Hitzler), Маркус Кретсч, Биджан Парса, Питер Ф. Патель-Шнайдер, Себастьян Рудольф, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-primer-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-primer/.

[OWL 2 Профили]

OWL 2 Язык Веб-Онтологий: Профили Борис Мотик, Бернардо Грау Куэнка, Ян Хоррокс, Чжэ Ву, Акилле Фокоу, Карстен Лутц, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-profiles-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-profiles/.

[OWL 2 Руководство по Справочнику]

OWL 2 Язык Веб-Онтологий: Руководство по Справочнику Джи Бао, Элиза Ф. Кендалл, Дебора Л. МакГиннес, Питер Ф. Патель-Шнайдер, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-quick-reference-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-quick-reference/.

[OWL 2 Отображение в RDF]

OWL 2 Язык Веб-Онтологий: Отображение в RDF-графах Питер Ф. Патель-Шнайдер, Борис Мотик, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-mapping-to-rdf-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-mapping-to-rdf/.

[OWL 2 Семантика основанная на RDF]

OWL 2 Язык Веб-Онтологий: Семантика основанная на RDF Майкл Шнайдер, редактор. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-rdf-based-semantics/.

[OWL 2 Спецификация]

OWL 2 Язык Веб-Онтологий: Структурная Спецификация и Синтаксис функционального стиля Борис Мотик, Питер Ф. Патель-Шнайдер, Биджан Парса, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-syntax/.

[OWL 2 Сериализация XML]

OWL 2 Язык Веб-Онтологий: Сериализация XML Борис Мотик, Биджан Парса, Питер Ф. Патель-Шнайдер, ред. Рекомендация W3C от 27 октября 2009 года, http://www.w3.org/TR/2009/REC-owl2-xml-serialization-20091027/. Последняя версия доступна по адресу http://www.w3.org/TR/owl2-xml-serialization/.

[Семантики RDF]

Семантики RDF. Патрик Хейс (Patrick Hayes), ред., Рекомендация W3C от 10 февраля 2004 года, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/. Последняя версия, доступная по адресу http://www.w3.org/TR/rdf-mt/.

[Синтаксис RDF]

Спецификация Синтаксиса RDF/XML (Пересмотренная). Дейв Беккетт (Dave Beckett), ред. Рекомендация W3C от 10 февраля 2004 года, http://www.w3.org/TR/2004/REC-rdf-syntax-grammar-20040210/. Последняя версия, доступная по адресу http://www.w3.org/TR/rdf-syntax-grammar/.

[Turtle]

Turtle - Краткий язык RDF-триплетов. Дэвид Беккетт (David Beckett) и Тим Бернерс-Ли (Tim Berners-Lee). W3C Team Submission от 14 января 2008 года, http://www.w3.org/TeamSubmission/2008/SUBM-turtle-20080114/. Последняя версия доступна по адресу http://www.w3.org/TeamSubmission/turtle/.

[UML]

OMG Унифицированный Язык Моделирования (Unified Modeling Language) (OMG UML), Infrastructure, V2.1.2. Object Management Group, OMG Available Specification, Ноябрь 2007, http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF/.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4