Язык веб-онтологии
Семейство языков представления знаний

Язык веб-онтологии OWL
АббревиатураСОВА
СтатусОпубликовано
Год начался2004
РедакторыМайк Дин ( BBN Technologies ), Гус Шрайбер
Базовые стандартыСтруктура описания ресурсов , RDFS
Сопутствующие стандартыШАКЛ
ДоменСемантическая паутина
Веб-сайтСсылка OWL
Язык веб-онтологии OWL 2
АббревиатураСОВА 2
СтатусОпубликовано
Год начался2009
РедакторыРабочая группа W3C OWL
Базовые стандартыСтруктура описания ресурсов, RDFS
ДоменСемантическая паутина
Веб-сайтОбзор OWL2

Язык веб-онтологий ( OWL ) — это семейство языков представления знаний для создания онтологий . Онтологии — это формальный способ описания таксономий и сетей классификации, по сути определяющий структуру знаний для различных доменов: существительные, представляющие классы объектов, и глаголы, представляющие отношения между объектами.

Онтологии напоминают иерархии классов в объектно-ориентированном программировании, но есть несколько важных отличий. Иерархии классов предназначены для представления структур, используемых в исходном коде, которые развиваются довольно медленно (возможно, с ежемесячными изменениями), тогда как онтологии предназначены для представления информации в Интернете и, как ожидается, будут развиваться почти постоянно. Аналогично, онтологии, как правило, гораздо более гибкие, поскольку они предназначены для представления информации в Интернете, поступающей из всех видов гетерогенных источников данных. Иерархии классов, с другой стороны, имеют тенденцию быть довольно статичными и полагаться на гораздо менее разнообразные и более структурированные источники данных, такие как корпоративные базы данных. [1]

Языки OWL характеризуются формальной семантикой . Они построены на стандарте объектов Консорциума Всемирной паутины (W3C), который называется Resource Description Framework (RDF). [2] OWL и RDF привлекли значительный академический, медицинский и коммерческий интерес.

В октябре 2007 года [3] была создана новая рабочая группа W3C [4] для расширения OWL несколькими новыми функциями, предложенными в представлении участника OWL 1.1. [5] W3C анонсировала новую версию OWL 27 октября 2009 года. [6] Эта новая версия, названная OWL 2, вскоре нашла свое применение в семантических редакторах, таких как Protégé , и семантических рассуждениях, таких как Pellet, [7] RacerPro, [8] FaCT++ [9] [10] и HermiT. [11]

Семейство OWL содержит много видов, сериализаций, синтаксисов и спецификаций с похожими названиями. OWL и OWL2 используются для обозначения спецификаций 2004 и 2009 годов соответственно. Будут использоваться полные названия видов, включая версию спецификации (например, OWL2 EL). При более общих ссылках будет использоваться OWL Family . [12] [13] [14]

История

Ранние языки онтологии

Существует долгая история онтологического развития в философии и компьютерных науках. С 1990-х годов ряд исследовательских усилий изучал, как идея представления знаний (KR) искусственного интеллекта (AI) может быть использована во Всемирной паутине. Они включали языки на основе HTML (называемые SHOE ), на основе XML (называемые XOL, позже OIL ), а также различные фреймовые языки KR и подходы к получению знаний.

Языки онтологии для Интернета

В 2000 году в США DARPA начала разработку DAML под руководством Джеймса Хендлера . [15] [ самостоятельно опубликованный источник ] В марте 2001 года Объединенный комитет ЕС/США по языкам разметки агентов принял решение об объединении DAML с OIL. [15] Была созвана специальная Объединенная рабочая группа ЕС/США по языкам разметки агентов для разработки DAML+OIL как языка веб-онтологии. Эта группа совместно финансировалась DARPA (в рамках программы DAML) и проектом финансирования Информационных технологий общества (IST) Европейского союза. DAML+OIL должен был стать тонким слоем над RDFS , [15] с формальной семантикой , основанной на логике описания (DL). [16]

DAML+OIL оказал особенно большое влияние на OWL; дизайн OWL был специально основан на DAML+OIL. [17]

Стандарты семантической паутины

Семантическая паутина обеспечивает общую структуру, которая позволяет обмениваться данными и повторно использовать их в рамках приложений, предприятий и сообществ.

—  Консорциум Всемирной паутины, W3C Semantic Web Activity [18]

Схема RDF

декларативный язык представления, на который повлияли идеи представления знаний

—  Консорциум Всемирной паутины, деятельность метаданных [19]

В конце 1990-х годов Консорциум Всемирной паутины (W3C) Metadata Activity начал работу над RDF Schema (RDFS), языком для обмена словарем RDF . RDF стал Рекомендацией W3C в феврале 1999 года, а RDFS — Кандидатом в Рекомендации в марте 2000 года. [19] В феврале 2001 года Semantic Web Activity заменила Metadata Activity. [19] В 2004 году (как часть более широкого пересмотра RDF) RDFS стал Рекомендацией W3C. [20] Хотя RDFS обеспечивает некоторую поддержку спецификации онтологий, потребность в более выразительном языке онтологий стала очевидной. [21] [ самостоятельно опубликованный источник ]

Рабочая группа по веб-онтологии

С понедельника, 31 мая, наша рабочая группа официально прекратит свое существование. Мы достигли всего, что нам было поручено сделать, и я считаю, что наша работа оценивается весьма высоко.

—  Джеймс Хендлер и Гус Шрайбер, рабочая группа Web-Ontology: выводы и будущая работа [22]

Консорциум Всемирной паутины (W3C) создал рабочую группу Web-Ontology в рамках своей деятельности Semantic Web. Она начала работу 1 ноября 2001 года под руководством сопредседателей Джеймса Хендлера и Гуса Шрайбера. [22] Первые рабочие черновики абстрактного синтаксиса , ссылки и синопсиса были опубликованы в июле 2002 года. [22] OWL стал официальной рекомендацией W3C 10 февраля 2004 года, а рабочая группа была расформирована 31 мая 2004 года. [22]

Рабочая группа OWL

В 2005 году на семинаре OWL Experiences And Directions был достигнут консенсус, что последние достижения в области логики описания позволят сделать более выразительную ревизию, чтобы более полно удовлетворять требованиям пользователей, сохраняя при этом хорошие вычислительные свойства. В декабре 2006 года в W3C была сделана заявка на членство в OWL1.1 [23] . W3C учредил рабочую группу OWL в рамках Semantic Web Activity в сентябре 2007 года. В апреле 2008 года эта группа решила назвать этот новый язык OWL2, что указывает на существенную ревизию. [24]

OWL 2 стал рекомендацией W3C в октябре 2009 года. OWL 2 представляет профили для улучшения масштабируемости в типичных приложениях. [6] [25]

Акроним

Почему бы не проявить непоследовательность хотя бы в одном аспекте языка, в котором главное — последовательность?

—  Гус Шрайбер, Почему OWL, а не WOL? [26]

Аббревиатура OWL была выбрана как легко произносимая, которая могла бы дать хороший логотип, символизировать мудрость и отдать дань уважения проекту Уильяма А. Мартина по представлению знаний «Единый мировой язык» 1970-х годов. [27] [28] [29]

Принятие

В обзоре онтологий, доступных в сети, за 2006 год было собрано 688 онтологий OWL. Из них 199 были OWL Lite, 149 были OWL DL и 337 OWL Full (по синтаксису). Они обнаружили, что 19 онтологий имели более 2000 классов, а 6 имели более 10 000. В том же обзоре было собрано 587 словарей RDFS. [30]

Онтологии

Онтология — это явная спецификация концептуализации.

—  Том Грубер , Подход к переводу спецификаций переносимых онтологий [31]

Данные, описываемые онтологией в семействе OWL, интерпретируются как набор «индивидуумов» и набор «утверждений свойств», которые связывают этих индивидуумов друг с другом. Онтология состоит из набора аксиом , которые накладывают ограничения на наборы индивидуумов (называемые «классами») и типы разрешенных отношений между ними. Эти аксиомы обеспечивают семантику, позволяя системам выводить дополнительную информацию на основе явно предоставленных данных. Полное введение в выразительную силу OWL представлено в Руководстве W3C OWL . [32]

Онтологии OWL могут импортировать другие онтологии, добавляя информацию из импортированной онтологии в текущую онтологию. [17]

Пример

Онтология, описывающая семьи, может включать аксиомы, утверждающие, что свойство "hasMother" присутствует только между двумя индивидами, когда также присутствует "hasParent", и что индивиды класса "HasTypeOBlood" никогда не связаны через "hasParent" с членами класса "HasTypeABBlood". Если утверждается, что индивид Харриет связан через "hasMother" с индивидом Сью, и что Харриет является членом класса "HasTypeABBlood", то можно сделать вывод, что Сью не является членом "HasTypeABBlood". Однако это верно только в том случае, если понятия "Parent" и "Mother" означают только биологического родителя или мать, а не социального родителя или мать.

Логика

Для выбора подмножества логики первого порядка, которое является разрешимым, использовалась пропозициональная логика , увеличивающая ее мощность путем добавления логик, представленных соглашением с аббревиатурами:

Буква или символ логикиОписание
А Л {\displaystyle {\mathcal {AL}}} Включение и эквивалентность между классами, определение атомарных классов, универсумный класс, пересечение между классами, определения классов, образованных элементами, которые принимают участие в отношениях или имеют отношения определенного типа только с элементами определенного класса, оператор конгруэнтности между индивидами и членство индивида в классе
А Л С {\displaystyle {\mathcal {АЛК}}} добавляет к AL пустой класс, дополнительные классы, объединение классов и классы элементов, которые находятся в определенных отношениях с элементами определенного класса
С {\displaystyle {\mathcal {S}}} Добавляет определение транзитивности отношения к ALC
ЧАС {\displaystyle {\mathcal {H}}} Включение и эквивалентность между отношениями
Р {\displaystyle {\mathcal {R}}} дизъюнкция свойств, рефлексивность, асимметрия, иррефлексивность, отношения, составленные из других отношений, определение неотношения между двумя индивидами
О {\displaystyle {\mathcal {O}}} (Один из)создание классов через список всех и только содержащихся индивидуумов
я {\displaystyle {\mathcal {I}}} (Обеспечить регресс)определение обратного свойства
Ф {\displaystyle {\mathcal {F}}} (Особенность)определение функциональных свойств
Н {\displaystyle {\mathcal {N}}} (Число)ограничение мощности: число элементов, участвующих в определенной связи, меньше, больше или равно значению n
В {\displaystyle {\mathcal {Q}}} (Квалифицированный)как N, но связь может быть квалифицирована
Д н {\displaystyle {\mathcal {D}}_{n}} (Исчисляемая область)определение доменов ( типов данных ), к которым может привести отношение (например, «Марио n лет»)

Разновидность

Диалекты OWL

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

  • Каждая допустимая онтология OWL Lite является допустимой онтологией OWL DL.
  • Каждая допустимая онтология OWL DL является допустимой онтологией OWL Full.
  • Каждое действительное заключение OWL Lite является действительным заключением OWL DL.
  • Каждое действительное заключение OWL DL является действительным полным заключением OWL.

СОВА Лайт

OWL Lite изначально предназначался для поддержки тех пользователей, которым в первую очередь нужна иерархия классификации и простые ограничения. Например, хотя он поддерживает ограничения мощности , он допускает только значения мощности 0 или 1. Была надежда, что будет проще обеспечить поддержку инструментов для OWL Lite, чем для его более выразительных родственников, что позволит быстро перейти к системам, использующим тезаурусы и другие таксономии . На практике, однако, большинство ограничений выразительности, наложенных на OWL Lite, сводятся к немногим более чем синтаксическим неудобствам: большинство конструкций, доступных в OWL DL, могут быть построены с использованием сложных комбинаций функций OWL Lite и являются столь же выразительными, как и логика описания . [24] Таким образом, разработка инструментов OWL Lite оказалась почти такой же сложной, как разработка инструментов для OWL DL, и OWL Lite не получил широкого распространения. [24] С ЧАС я Ф ( Д ) {\displaystyle {\mathcal {SHIF}}(\mathbf {D})}

СОВА ДЛ

OWL DL разработан для обеспечения максимально возможной выразительности при сохранении вычислительной полноты (выполняется либо φ, либо ¬φ), разрешимости (существует эффективная процедура для определения того, выводимо ли φ или нет) и доступности практических алгоритмов рассуждений. OWL DL включает в себя все конструкции языка OWL, но они могут использоваться только при определенных ограничениях (например, ограничения по количеству не могут быть наложены на свойства, которые объявлены транзитивными; и хотя класс может быть подклассом многих классов, класс не может быть экземпляром другого класса). OWL DL так назван из-за его соответствия дескриптивной логике , области исследований, которая изучала логики, формирующие формальную основу OWL.

Это можно выразить как , используя приведенную выше логику букв. С ЧАС О я Н ( Д ) {\displaystyle {\mathcal {SHOIN}}(\mathbf {D} )}

СОВА Полная

OWL Full основан на семантике, отличной от OWL Lite или OWL DL, и был разработан для сохранения некоторой совместимости со схемой RDF. Например, в OWL Full класс может рассматриваться одновременно как набор индивидов и как отдельный индивид; это не разрешено в OWL DL. OWL Full позволяет онтологии дополнять значение предопределенного (RDF или OWL) словаря. OWL Full неразрешим, поэтому никакое программное обеспечение для рассуждений не может выполнить для него полное рассуждение.

Профили OWL2

В OWL 2 существует три подъязыка языка: [25]

  • OWL 2 EL — это фрагмент, имеющий полиномиальную сложность рассуждений. Он основан на логике описания . Э Л {\displaystyle {\mathcal {EL}}}
  • OWL 2 QL разработан для упрощения доступа и запросов к данным, хранящимся в базах данных. Он основан на семействе DL-Lite логик описания.
  • OWL 2 RL — это подмножество правил OWL 2 (аббревиатура «RL» означает «Rule Language»). Он основан на так называемых программах описания логики (DLP). Позднее была введена логика, соответствующая этому профилю. [33] Р Л {\displaystyle {\mathcal {RL}}}

Синтаксис

Семейство языков OWL поддерживает множество синтаксисов. Полезно различать синтаксисы высокого уровня, нацеленные на спецификацию, от синтаксисов обмена , более подходящих для общего использования.

Высокий уровень

Они близки к онтологической структуре языков семейства OWL.

Абстрактный синтаксис OWL

Синтаксис высокого уровня используется для указания структуры и семантики онтологии OWL. [34]

Абстрактный синтаксис OWL представляет онтологию как последовательность аннотаций , аксиом и фактов . Аннотации несут метаданные, ориентированные на машину и человека. Информация о классах, свойствах и индивидуумах, составляющих онтологию, содержится только в аксиомах и фактах. Каждый класс, свойство и индивидуум либо анонимны , либо идентифицируются ссылкой URI . Факты устанавливают данные либо об индивидууме, либо о паре индивидуальных идентификаторов (что идентифицированные объекты различны или одинаковы). Аксиомы определяют характеристики классов и свойств. Этот стиль похож на языки фреймов и совершенно не похож на известные синтаксисы для DL и Resource Description Framework (RDF). [34]

Шон Бечхофер и др. утверждают, что хотя этот синтаксис трудно разобрать, он довольно конкретен. Они приходят к выводу, что название абстрактный синтаксис может быть несколько вводящим в заблуждение. [35]

Функциональный синтаксис OWL2

Этот синтаксис тесно следует структуре онтологии OWL2. Он используется OWL2 для указания семантики, сопоставлений для обмена синтаксисами и профилями. [36]

Синтаксисы обмена

Сериализация OWL RDF/XML
Расширение имени файла
.owx, .owl, .rdf
Тип интернет-СМИ
приложение/owl+xml, приложение/rdf+xml [37]
РазработаноКонсорциум Всемирной паутины
СтандартOWL 2 XML-сериализация 27 октября 2009 г .; 15 лет назад , OWL Reference 10 февраля 2004 г .; 20 лет назад (2009-10-27)
 (2004-02-10)
Открытый формат ?Да

Синтаксисы RDF

Синтаксические отображения в RDF указаны [34] [38] для языков семейства OWL. Было разработано несколько форматов сериализации RDF. Каждый из них приводит к синтаксису для языков семейства OWL посредством этого отображения. RDF/XML является нормативным. [34] [38]

Синтаксис XML OWL2

OWL2 определяет XML- сериализацию, которая точно моделирует структуру онтологии OWL2. [39]

Манчестерский синтаксис

Манчестерский синтаксис — это компактный, читаемый человеком синтаксис со стилем, близким к фреймовым языкам. Доступны вариации для OWL и OWL2. Не все онтологии OWL и OWL2 могут быть выражены в этом синтаксисе. [40]

Примеры

  • Язык веб-онтологии W3C OWL 2 предоставляет примеры синтаксиса. [41]

Онтология чая

Рассмотрим онтологию для чая на основе класса Tea. Во-первых, необходим идентификатор онтологии. Каждая онтология OWL должна быть идентифицирована URI [ требуется ссылка ] (например, http://www.example.org/tea.owl). Этот пример дает представление о синтаксисе. Для экономии места ниже преамбулы и определения префиксов были пропущены.

Функциональный синтаксис OWL2
Онтология ( <http://example.org/tea.owl>  Декларация (  Класс (  : Чай  )  ) )
Синтаксис XML OWL2
 <Онтология ontologyIRI= "http://example.org/tea.owl" ... > <Префикс name= "owl" IRI= "http://www.w3.org/2002/07/owl#" /> <Декларация> <Класс IRI= "Tea" /> </Декларация> </Онтология>
Манчестерский синтаксис
Онтология :  <http://example.org/tea.owl> Класс :  Чай
Синтаксис RDF/XML
<rdf:RDF ... > <owl:Онтология rdf:about= "" /> <owl:Класс rdf:about= "#Чай" /> </rdf:RDF>
RDF/ Черепаха
 <http://example.org/tea.owl>  rdf : тип  owl : Онтология  .  : Чай  rdf : тип  owl : Класс  .

Семантика

Отношение к описательному логическому описанию

Классы OWL соответствуют концепциям дескриптивной логики (DL) , свойства OWL — ролям DL , в то время как индивиды называются одинаково как в терминологии OWL, так и в терминологии DL. [42]

В начале IS-A был довольно простым. Однако сегодня существует почти столько же значений для этой связи наследования, сколько и систем представления знаний.

—  Рональд Дж. Брахман , Что такое IS-A и чем оно не является [43]

Ранние попытки построить большие онтологии были осложнены отсутствием четких определений. Члены семейства OWL имеют модельно-теоретическую формальную семантику, а значит, имеют прочные логические основы.

Описательные логики — это семейство логик, которые являются разрешимыми фрагментами логики первого порядка с привлекательными и хорошо понятными вычислительными свойствами. Семантика OWL DL и OWL Lite основана на DL. [44] Они объединяют синтаксис для описания и обмена онтологиями и формальную семантику, которая придает им смысл. Например, OWL DL соответствует описательной логике, в то время как OWL 2 соответствует логике . [45] Для этих DL существуют надежные, полные, завершающие рассуждения (т. е. системы, которые гарантированно выводят каждое следствие знаний в онтологии). S H O I N ( D ) {\displaystyle {\mathcal {SHOIN}}^{\mathcal {(D)}}} S R O I Q ( D ) {\displaystyle {\mathcal {SROIQ}}^{\mathcal {(D)}}}

Отношение к RDFS

OWL Full предназначен для совместимости с RDF Schema (RDFS) и для возможности расширения значений существующего словаря Resource Description Framework (RDF). [46] Модельная теория описывает формальную семантику для RDF. [47] Эта интерпретация обеспечивает значение словаря RDF и RDFS. Таким образом, значение онтологий OWL Full определяется расширением значения RDFS, а OWL Full является семантическим расширением RDF. [48]

Предположение об открытом мире

Предположение о [закрытом] мире подразумевает, что все, чего мы не знаем, ложно , в то время как предположение об открытом мире утверждает, что все, чего мы не знаем, не определено .

—  Стефано Маццокки, Закрытый мир против открытого мира: первая битва семантической паутины [49]

Языки семейства OWL используют предположение об открытом мире . Согласно предположению об открытом мире, если утверждение не может быть доказано с помощью текущих знаний, мы не можем сделать вывод о том, что утверждение ложно.

Отличие от других языков

Реляционная база данных состоит из наборов кортежей с одинаковыми атрибутами . SQL — язык запросов и управления для реляционных баз данных. Prolog — логический язык программирования . Оба используют предположение о замкнутости мира .

Публичные онтологии

Библиотеки

Биомедицинский

Стандарты

Браузеры

Следующие инструменты включают в себя общедоступные браузеры онтологий:

Ограничения

  • Нет прямой языковой поддержки для n-арных отношений. Например, разработчики моделей могут захотеть описать качества отношения, связать более 2 индивидов или связать индивида со списком. Это невозможно сделать в OWL. Им может потребоваться вместо этого принять шаблон, который кодирует значение вне формальной семантики. [60]

Смотрите также

Ссылки

  1. ^ Кнублаух, Хольгер; Оберле, Дэниел; Тетлоу, Фил; Уоллес, Эван (9 марта 2006 г.). «Учебник по семантической паутине для разработчиков объектно-ориентированного программного обеспечения». W3C . Получено 19 ноября 2017 г.
  2. ^ "OWL 2 Web Ontology Language Document Overview (Second Edition)". W3C . 11 декабря 2012 г.
  3. ^ «XML и стандарты семантической паутины W3C: хронология» (PDF) .
  4. ^ "OWL". W3.org . Получено 23 февраля 2017 г. .
  5. ^ "Запрос на подачу заявки в W3C: Язык веб-онтологии OWL 1.1". W3C. 19 декабря 2006 г.
  6. ^ ab "Стандарт W3C облегчает управление данными и интеграцию". W3.org. 27 октября 2009 г. Получено 15 октября 2013 г.
  7. ^ Сирин, Э.; Парсия, Б.; Грау, BC; Калянпур, А.; Кац, И. (2007). "Pellet: A practical OWL-DL reasoner" (PDF) . Семантика веб-сайта: наука, сервисы и агенты во всемирной паутине . 5 (2): 51– 53. doi :10.1016/j.websem.2007.03.004. S2CID  101226. Архивировано из оригинала (PDF) 27 июня 2007 г.
  8. ^ "RACER - Home". Racer-systems.com . Получено 23 февраля 2017 .
  9. ^ Tsarkov, D.; Horrocks, I. (2006). "FaCT++ Description Logic Reasoner: System Description" (PDF) . Автоматизированное рассуждение . Lecture Notes in Computer Science. Vol. 4130. pp.  292– 297. CiteSeerX 10.1.1.65.2672 . doi :10.1007/11814771_26. ISBN  978-3-540-37187-8.
  10. ^ "Архив Google Code - Долгосрочное хранилище для хостинга проектов Google Code". Code.google.com . Получено 23 февраля 2017 г. .
  11. ^ "Home". HermiT Reasoner . Получено 23 февраля 2017 г. .
  12. ^ Бернерс-Ли, Тим; Джеймс Хендлер; Ора Лассила (17 мая 2001 г.). «Семантическая паутина. Новая форма веб-контента, значимая для компьютеров, откроет революцию новых возможностей». Scientific American . 284 (5): 34– 43. doi :10.1038/scientificamerican0501-34. Архивировано из оригинала 24 апреля 2013 г.
  13. ^ Джон Хебелер (13 апреля 2009 г.). Программирование семантической паутины . Wiley. ISBN 978-0-470-41801-7.
  14. ^ Сегаран, Тоби; Эванс, Колин; Тейлор, Джейми (24 июля 2009 г.). Программирование семантической паутины . O'Reilly Media. ISBN 978-0-596-15381-6.
  15. ^ abc Lacy, Lee W. (2005). "Глава 10". OWL: Представление информации с использованием языка веб-онтологии . Виктория, Британская Колумбия: Trafford Publishing. ISBN 978-1-4120-3448-7.[ самостоятельно опубликованный источник ]
  16. ^ Баадер, Франц ; Хоррокс, Ян ; Заттлер, Ульрике (2005). «Описательные логики как языки онтологии для семантической паутины». В Хуттер, Дитер; Стефан, Вернер (ред.). Механизация математических рассуждений: эссе в честь Йорга Х. Зикмана по случаю его 60-летия. Гейдельберг, Германия: Springer Berlin. ISBN 978-3-540-25051-7.[ мертвая ссылка ‍ ]
  17. ^ ab Хоррокс, Ян; Патель-Шнайдер, Питер Ф.; ван Хармелен, Франк (2003). «От SHIQ и RDF к OWL: создание языка веб-онтологии». Веб-семантика: наука, сервисы и агенты во Всемирной паутине . 1 (1): 7– 26. CiteSeerX 10.1.1.2.7039 . doi :10.1016/j.websem.2003.07.001. S2CID  8277015. 
  18. ^ Консорциум Всемирной паутины (6 февраля 2010 г.). "W3C Semantic Web Activity" . Получено 18 апреля 2010 г.
  19. ^ abc World Wide Web Consortium (23 августа 2002 г.). "Заявление об активности метаданных". World Wide Web Consortium . Получено 20 апреля 2010 г.
  20. ^ World Wide Web Consortium (23 августа 2002 г.). "RDF Vocabulary Description Language 1.0: RDF Schema". RDF Vocabulary Description Language 1.0 . World Wide Web Consortium . Получено 20 апреля 2010 г. .
  21. ^ Lacy, Lee W. (2005). "Глава 9 - RDFS". OWL: Представление информации с использованием языка веб-онтологии . Виктория, Британская Колумбия: Trafford Publishing. ISBN 978-1-4120-3448-7.[ самостоятельно опубликованный источник ]
  22. ^ abcd "Рабочая группа по веб-онтологии (WebOnt) (закрыта)". W3C.
  23. ^ Patel-Schneider, Peter F.; Horrocks, Ian (19 декабря 2006 г.). "OWL 1.1 Web Ontology Language". World Wide Web Consortium . Получено 26 апреля 2010 г.
  24. ^ abc Grau, BC; Horrocks, I .; Motik, B.; Parsia, B.; Patel-Schneider, PF; Sattler, U. (2008). "OWL 2: Следующий шаг для OWL" (PDF) . Web Semantics: Science, Services and Agents on the World Wide Web . 6 (4): 309– 322. doi :10.1016/j.websem.2008.05.001.
  25. ^ ab "OWL 2 Web Ontology Language Profiles (Второе издание)". W3C . 11 декабря 2012 г.
  26. ^ Герман, Иван. "Почему OWL, а не WOL?". Учебник по технологиям семантической паутины . Консорциум Всемирной паутины . Получено 18 апреля 2010 г.
  27. ^ "Re: NAME: SWOL против WOL". Сообщение отправлено в список рассылки W3C webont-wg 27 декабря 2001 г.
  28. ^ Ян Хоррокс (2012). «Онтологическое рассуждение: почему и как» (PDF) . стр. 7. Получено 28 января 2014 г.
  29. ^ "OWL: оригинал". 7 июля 2003 г. Получено 22 марта 2020 г.
  30. ^ Ванг, ТД; Парсия, Б.; Хендлер, Дж. (2006). "Обзор ландшафта веб-онтологии". Семантическая паутина - ISWC 2006. Конспект лекций по информатике. Том 4273. стр. 682. doi :10.1007/11926078_49. ISBN 978-3-540-49029-6.
  31. ^ Грубер, Том (1993); «Подход к переводу спецификаций переносимых онтологий», в Knowledge Acquisition , 5: 199-199
  32. ^ "Руководство по языку веб-онтологии OWL". W3C .
  33. ^ Krötzsch M, Rudolph S, Hitzler P (2012). «Сложности описания логик Хорна» (PDF) . ACM Transactions on Computational Logic . 14 (1): 1– 36. doi :10.1145/2422085.2422087 . Получено 23 сентября 2024 г. .
  34. ^ abcd Patel-Schneider, Peter F.; Horrocks, Ian; Patrick J., Hayes (10 февраля 2004 г.). "OWL Web Ontology Language Semantics and Abstract Syntax". World Wide Web Consortium . Получено 18 апреля 2010 г. .
  35. ^ Беххофер, Шон; Патель-Шнайдер, Питер Ф.; Тури, Даниэль (10 декабря 2003 г.). "OWL Web Ontology Language Concrete Abstract Syntax". Манчестерский университет . Получено 18 апреля 2010 г.
  36. ^ Мотик, Борис; Патель-Шнайдер, Питер Ф.; Парсия, Биджан (27 октября 2009 г.). "OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax". OWL 2 Web Ontology Language . World Wide Web Consortium . Получено 18 апреля 2010 г. .
  37. ^ A. Swartz (сентябрь 2004 г.). "application/rdf+xml Media Type Registration (RFC3870)". Ietf Datatracker . IETF. стр. 2. Архивировано из оригинала 17 сентября 2013 г. Получено 15 октября 2013 г.
  38. ^ ab Patel-Schneider, Peter F.; Motik, Boris (27 октября 2009 г.). "OWL 2 Web Ontology Language Mapping to RDF Graphs". OWL 2 Web Ontology Language . World Wide Web Consortium . Получено 18 апреля 2010 г. .
  39. ^ Мотик, Борис; Парсия, Биджан; Патель-Шнайдер, Питер Ф. (27 октября 2009 г.). "OWL 2 Web Ontology Language XML Serialization". OWL 2 Web Ontology Language . World Wide Web Consortium . Получено 18 апреля 2010 г. .
  40. ^ Хорридж, Мэтью; Патель-Шнайдер, Питер Ф. (27 октября 2009 г.). "Манчестерский синтаксис языка веб-онтологии OWL 2". W3C Язык веб-онтологии OWL 2. Консорциум Всемирной паутины . Получено 18 апреля 2010 г.
  41. ^ Hitzler, Pascal ; Krötzsch, Markus; Parsia, Bijan; Patel-Schneider, Peter F.; Rudolph, Sebastian (27 октября 2009 г.). "OWL 2 Web Ontology Language Primer". OWL 2 Web Ontology Language . World Wide Web Consortium . Получено 15 октября 2013 г.
  42. ^ Sikos, Leslie F. (2017). Описательная логика в мультимедийном обосновании. Cham: Springer International Publishing. doi : 10.1007/978-3-319-54066-5. ISBN 978-3-319-54066-5. S2CID  3180114.
  43. ^ Брахман, Рональд Дж. (1983); Что такое IS-A и чем оно не является: анализ таксономических связей в семантических сетях , IEEE Computer, т. 16, № 10, стр. 30-36
  44. ^ Хоррокс, Ян; Патель-Шнайдер, Питер Ф. «Сведение вывода OWL к выполнимости логики описания» (PDF) .
  45. ^ Хитцлер, Паскаль ; Крёцш, Маркус; Рудольф, Себастьян (25 августа 2009 г.). Основы технологий семантической паутины. CRCPress. ISBN 978-1-4200-9050-5.
  46. ^ МакГиннесс, Дебора; ван Хармелен, Фрэнк (10 февраля 2004 г.). «Обзор языка веб-онтологии OWL». Рекомендация W3C для OWL, языка веб-онтологии . Консорциум Всемирной паутины . Получено 18 апреля 2010 г.
  47. ^ Хейс, Патрик (10 февраля 2004 г.). "RDF Semantics". Структура описания ресурсов . World Wide Web Consortium . Получено 18 апреля 2010 г.
  48. ^ Патель-Шнайдер, Питер Ф.; Хейс, Патрик; Хоррокс, Ян (10 февраля 2004 г.). "OWL Web Ontology Language Semantics and Abstract Syntax Section 5. RDF-совместимая модельно-теоретическая семантика". Рекомендация W3C для OWL, Web Ontology Language . Консорциум World Wide Web . Получено 18 апреля 2010 г.
  49. ^ Mazzocchi, Stefano (16 июня 2005 г.). «Закрытый мир против открытого мира: первая битва семантической паутины». Архивировано из оригинала 24 июня 2009 г. Получено 27 апреля 2010 г.
  50. ^ OBO Technical WG. "The OBO Foundry". The OBO Foundry . Получено 23 февраля 2017 г.
  51. ^ "OBO Download Matrix". Архивировано из оригинала 22 февраля 2007 года.
  52. ^ "Национальный центр биомедицинской онтологии - BioPortal". www.bioontology.org . Архивировано из оригинала 3 июля 2007 г. Получено 17 января 2022 г.
  53. ^ "Архивная копия". www.ontologyportal.org . Архивировано из оригинала 26 июля 2004 г. Получено 17 января 2022 г.{{cite web}}: CS1 maint: archived copy as title (link)
  54. ^ "Сайт сообщества GBIF: Раздел 1: обзор онтологий TDWG". Community.gbif.org . 12 февраля 2013 г. . Получено 23 февраля 2017 г. .
  55. ^ "PROV-O: Онтология PROV". W3.org . Получено 23 февраля 2017 г. .
  56. ^ "PROV-DM: Модель данных PROV". W3.org . Получено 23 февраля 2017 г. .
  57. ^ «ИСО/МЭК 21838-2:2021».
  58. ^ «Элементарная многоперспективная материальная онтология (EMMO)». GitHub . 28 января 2022 г.
  59. ^ "protégé". Protege.stanford.edu . Получено 23 февраля 2017 г. .
  60. ^ Ной, Наташа ; Ректор, Алан (12 апреля 2006 г.). «Определение N-арных отношений в семантической паутине». Консорциум Всемирной паутины . Получено 17 апреля 2010 г.

Дальнейшее чтение

  • Беххофер, Шон; Хоррокс, Ян; Патель-Шнайдер, Питер Ф. (2021). "Учебник по OWL". Архивировано из оригинала 15 июля 2017 г.
  • Франкони, Энрико (2002). «Введение в логику описаний». Свободный университет Больцано.
  • Хоррокс, Ян (2010). Логика описания: формальная основа для языков и инструментов онтологии, часть 1: Языки (PDF) . SemTech 2010.
  • Хоррокс, Ян (2010). Логика описания: формальная основа для языков и инструментов онтологии, часть 2: инструменты (PDF) . SemTech 2010.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Web_Ontology_Language&oldid=1263818155#OWL_DL"