Язык веб-онтологий - Web Ontology Language

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

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

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

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

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

История

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

Дальнейшая информация: Представление знаний и рассуждения § История

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

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

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

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

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

Дальнейшая информация: Семантическая сеть

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

— Консорциум World Wide Web, Семантическая веб-деятельность W3C[18]

Схема RDF

Дальнейшая информация: RDFS

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

— Консорциум World Wide Web, Действия с метаданными[19]

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

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

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

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

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

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

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

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

Акроним

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

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

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

Принятие

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

Онтологии

Основная статья: Онтология (информатика)

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

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

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

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

Пример

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

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

Подъязыки 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 Full.

OWL Lite

Первоначально OWL Lite предназначался для поддержки тех пользователей, которым в первую очередь нужна иерархия классификации и простые ограничения. Например, пока он поддерживает мощность ограничений, он допускает только значения количества элементов 0 или 1. Была надежда, что будет проще обеспечить инструментальную поддержку OWL Lite, чем его более выразительные родственники, что позволит быстро перейти к системам, использующим тезаурусы и другие таксономии. Однако на практике большинство ограничений выразительности, накладываемых на OWL Lite, сводятся к немногим большим, чем синтаксические неудобства: большинство конструкций, доступных в OWL DL, могут быть построены с использованием сложных комбинаций функций OWL Lite и столь же выразительны, как и логика описания. .[24] Таким образом, разработка инструментов OWL Lite оказалась почти такой же сложной, как разработка инструментов для OWL DL, а OWL Lite широко не используется.[24]

Сова DL

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

OWL Полный

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

OWL2 профили

В OWL 2 есть три подъязыка языка. OWL 2 EL - это фрагмент, имеющий полиномиальную временную сложность рассуждения; OWL 2 QL разработан для облегчения доступа и запросов к данным, хранящимся в базах данных; OWL 2 RL - это подмножество правил OWL 2.

Синтаксис

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

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

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

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

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

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

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

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

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

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

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

Синтаксисы RDF

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

Синтаксис OWL2 XML

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

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

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

Примеры

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

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

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

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

Семантика

Основная статья: Семантика языков программирования

Отношение к логике описания

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

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

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

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

Логики описания - это семейство логик, которые являются разрешимыми фрагментами логика первого порядка с привлекательными и понятными вычислительными свойствами. Семантика OWL DL и OWL Lite основана на DL.[42]Они сочетают в себе синтаксис для описания и обмена онтологиями и формальную семантику, которая придает им смысл. Например, OWL DL соответствует логика описания, а OWL 2 соответствует логика.[43] Звук, полный, завершающий рассуждающие (то есть системы, которые гарантированно выводят все следствия знаний в онтологии) существуют для этих DL.

Отношение к RDFS

OWL Full предназначен для совместимости с Схема RDF (RDFS), и быть в состоянии расширить смысл существующих Структура описания ресурсов (RDF) словарь.[44] А теория моделей описывает формальную семантику для RDF.[45] Эта интерпретация обеспечивает смысл словаря RDF и RDFS. Итак, значение онтологий OWL Full определяется расширением значения RDFS, а OWL Full - это семантическое расширение RDF.[46]

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

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

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

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

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

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

Терминология

Языки семейства OWL способны создавать классы, свойства, определять экземпляры и их операции.

Экземпляры

An пример это объект. Соответствует логике описания индивидуальный.

Классы

А учебный класс представляет собой набор объектов. А учебный класс может содержать лиц, экземпляры класса. У класса может быть любое количество экземпляров. Экземпляр может не принадлежать ни к одному, одному или нескольким классам.

Класс может быть подкласс другого, наследуя характеристики от своего родителя суперкласс. Это соответствует логичный подчинение и DL включение концепции отмеченный .

Все классы являются подклассами owl: Thing (DL верх отмеченный ), корень учебный класс.

Все классы являются подклассами owl: Nothing (DL Нижний отмеченный ), пустой учебный класс. Ни один экземпляр не является членом owl: ничего. Разработчики моделей используют owl: Thing и owl: nothing, чтобы утверждать факты обо всех или ни о каких экземплярах.[48][самостоятельно опубликованный источник ]

Класс и его члены могут быть определены в OWL либо расширение или по интенция. Отдельному лицу может быть явно присвоен класс Утверждение класса, например, мы можем добавить оператор Королева Елизавета является (n экземпляром) человекили выражением класса с операторами ClassExpression каждый экземпляр человек класс, у которого есть женский ценность для секс свойство является экземпляром женщина учебный класс.

Пример

Давай позвоним человек класс всех людей в мире является подклассом owl: thing. Класс всех женщин (скажем, женщина) в мире является подклассом человек. Тогда у нас есть

Можно отметить принадлежность некоторого человека к классу

 ClassAssertion ( человек Джордж Вашингтон )

и включение в классы

 SubClassOf ( женщина человек )

Первый означает «Джордж Вашингтон - человек», а второй «каждая женщина - человек».

Характеристики

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

Свойства типа данных

Свойства типа данных - это отношения между экземплярами классов и литералами RDF или типами данных схемы XML. Например, modelName (тип данных String) является свойством класса Manufacturer. Они сформулированы с использованием сова: DatatypeProperty тип.

Свойства объекта

Свойства объекта - это отношения между экземплярами двух классов. Например, ownBy может быть свойством типа объекта класса Vehicle и может иметь диапазон, который является классом Person. Они сформулированы с использованием сова: ObjectProperty.

Операторы

Языки семейства OWL поддерживают различные операции с классами, например союз, пересечение и дополнять. Они также позволяют перечисление классов, мощность, несвязанность, и эквивалентность.

Метаклассы

Метаклассы находятся классы классов. Они разрешены в OWL full или с функцией, называемой каламбуром класса / экземпляра.

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

Библиотеки

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

Стандарты

Браузеры

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

Поиск

Ограничения

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

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

Рекомендации

  1. ^ Knublauch, Holger; Оберле, Даниэль; Тетлоу, Фил; Уоллес, Эван (9 марта 2006 г.). «Учебник по семантической паутине для разработчиков объектно-ориентированного программного обеспечения». W3C. Получено 19 ноября, 2017.
  2. ^ «Обзор документа на языке веб-онтологий OWL 2 (второе издание)». W3C. 11 декабря 2012 г.
  3. ^ «Хронология стандартов XML и семантической сети W3C» (PDF).
  4. ^ "СОВА". W3.org. Получено 2017-02-23.
  5. ^ "Запрос на отправку в W3C: язык веб-онтологий OWL 1.1". W3C. 2006-12-19.
  6. ^ а б «Стандарт W3C упрощает управление данными и интеграцию». W3.org. 2009-10-27. Получено 15 октября 2013.
  7. ^ Сирин, Э .; Parsia, B .; Grau, B.C .; Kalyanpur, A .; Кац, Ю. (2007). «Пеллет: практичный аргумент OWL-DL» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 5 (2): 51–53. Дои:10.1016 / j.websem.2007.03.004. Архивировано из оригинал (PDF) на 2007-06-27.
  8. ^ "РАСЕР - Дом". Racer-systems.com. Получено 2017-02-23.
  9. ^ Царьков, Д .; Хоррокс, И. (2006). "FaCT ++ Описание Логическая причина: Описание системы" (PDF). Автоматическое рассуждение. Конспект лекций по информатике. 4130. С. 292–297. CiteSeerX  10.1.1.65.2672. Дои:10.1007/11814771_26. ISBN  978-3-540-37187-8.
  10. ^ "Архив Google Code - долгосрочное хранилище для хостинга проектов Google Code". Code.google.com. Получено 2017-02-23.
  11. ^ "Дома". HermiT Reasoner. Получено 2017-02-23.
  12. ^ Бернерс-Ли, Тим; Джеймс Хендлер; Ора Лассила (17 мая 2001 г.). «Семантическая сеть Интернет. Новая форма веб-контента, значимая для компьютеров, откроет революцию новых возможностей». Scientific American. 284 (5): 34–43. Дои:10.1038 / scientificamerican0501-34. Архивировано из оригинал 24 апреля 2013 г.
  13. ^ Джон Хебелер (13 апреля 2009 г.). Семантическое веб-программирование. ISBN  978-0470418017.
  14. ^ Сегаран, Тоби; Эванс, Колин; Тейлор, Джейми (24 июля 2009 г.). Программирование семантической сети. O'Reilly Media. ISBN  978-0596153816.
  15. ^ а б c Лейси, Ли В. (2005). «Глава 10». OWL: представление информации с помощью языка веб-онтологий. Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN  978-1-4120-3448-7.[самостоятельно опубликованный источник ]
  16. ^ Баадер, Франц; Хоррокс, Ян; Саттлер, Ульрике (2005). «Логика описания как языки онтологий для семантической сети». В Хаттер, Дитер; Стефан, Вернер (ред.). Механизация математических рассуждений: очерки в честь Йорга Х. Зикмана по случаю его 60-летия. Гейдельберг, Германия: Springer Berlin. ISBN  978-3-540-25051-7.[мертвая ссылка ]
  17. ^ а б Хоррокс, Ян; Патель-Шнайдер, Питер Ф .; ван Хармелен, Франк (2003). «От SHIQ и RDF к OWL: создание языка веб-онтологий». Веб-семантика: наука, услуги и агенты во всемирной паутине. 1 (1): 7–26. CiteSeerX  10.1.1.2.7039. Дои:10.1016 / j.websem.2003.07.001.
  18. ^ Консорциум World Wide Web (06.02.2010). «Деятельность W3C по семантической сети». Получено 18 апреля 2010.
  19. ^ а б c Консорциум World Wide Web (2002-08-23). «Заявление об активности метаданных». Консорциум World Wide Web. Получено 20 апреля 2010.
  20. ^ Консорциум World Wide Web (2002-08-23). "Язык описания словаря RDF 1.0: Схема RDF". RDF словарь описания языка 1.0. Консорциум World Wide Web. Получено 20 апреля 2010.
  21. ^ Лейси, Ли В. (2005). «Глава 9 - RDFS». OWL: представление информации с помощью языка веб-онтологий. Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN  978-1-4120-3448-7.[самостоятельно опубликованный источник ]
  22. ^ а б c d "Рабочая группа по веб-онтологии (WebOnt) (закрытая)". W3C.
  23. ^ Патель-Шнайдер, Питер Ф.; Хоррокс, Ян (19 декабря 2006 г.). "Язык веб-онтологий OWL 1.1". Консорциум World Wide Web. Получено 26 апреля 2010.
  24. ^ а б c Grau, B.C .; Хоррокс, И.; Мотик, Б .; Parsia, B .; Patel-Schneider, P. F .; Саттлер, У. (2008). «OWL 2: Следующий шаг для OWL» (PDF). Веб-семантика: наука, услуги и агенты во всемирной паутине. 6 (4): 309–322. Дои:10.1016 / j.websem.2008.05.001.
  25. ^ Герман, Иван. "Почему OWL, а не WOL?". Учебник по технологиям семантической паутины. Консорциум World Wide Web. Получено 18 апреля 2010.
  26. ^ "Re: NAME: SWOL против WOL". сообщение, отправленное в список рассылки W3C webont-wg 27 декабря 2001 г..
  27. ^ Ян Хоррокс (2012). «Онтологическое мышление: почему и как» (PDF). п. 7. Получено 28 января, 2014.
  28. ^ «СОВА: оригинал». 7 июля 2003 г.. Получено 22 марта, 2020.
  29. ^ Wang, T. D .; Parsia, B .; Хендлер, Дж. (2006). «Обзор ландшафта веб-онтологий». Семантическая сеть - ISWC 2006. Конспект лекций по информатике. 4273. п. 682. Дои:10.1007/11926078_49. ISBN  978-3-540-49029-6.
  30. ^ Грубер, Том (1993); «Подход к переводу спецификаций переносимых онтологий», в Приобретение знаний, 5: 199-199
  31. ^ W3C (ред.). "Руководство по языку веб-онтологий OWL".
  32. ^ а б c d Патель-Шнайдер, Питер Ф .; Хоррокс, Ян; Патрик Дж., Хейс (2004-02-10). "Семантика языка веб-онтологий и абстрактный синтаксис OWL". Консорциум World Wide Web. Получено 18 апреля 2010.
  33. ^ Беххофер, Шон; Патель-Шнайдер, Питер Ф .; Тури, Даниэле (2003-12-10). "Конкретный абстрактный синтаксис языка веб-онтологий OWL". Манчестерский университет. Получено 18 апреля 2010.
  34. ^ Мотик, Борис; Патель-Шнайдер, Питер Ф .; Парсия, Биджан (2009-10-27). "OWL 2" Структурная спецификация языка веб-онтологий и синтаксис функционального стиля ". OWL 2 Язык веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  35. ^ А. Шварц (Сентябрь 2004 г.). "application / rdf + xml Регистрация типа носителя (RFC3870)". IETF. п. 2. В архиве из оригинала от 17.09.2013. Получено 15 октября 2013.
  36. ^ а б Патель-Шнайдер, Питер Ф .; Мотик, Борис (27.10.2009). «Отображение языка веб-онтологий OWL 2 в графы RDF». OWL 2 Язык веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  37. ^ Мотик, Борис; Парсия, Биджан; Патель-Шнайдер, Питер Ф. (27.10.2009). "Сериализация XML на языке веб-онтологий OWL 2". OWL 2 Язык веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  38. ^ Хорридж, Мэтью; Патель-Шнайдер, Питер Ф. (27.10.2009). "Манчестерский синтаксис языка веб-онтологий OWL 2". W3C OWL 2 Язык веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  39. ^ Хитцлер, Паскаль; Крётч, Маркус; Парсия, Биджан; Патель-Шнайдер, Питер Ф .; Рудольф, Себастьян (2009-10-27). "Учебник по языку веб-онтологий OWL 2". OWL 2 Язык веб-онтологий. Консорциум World Wide Web. Получено 15 октября 2013.
  40. ^ Сикос, Лесли Ф. (2017). Описание логики в мультимедийных рассуждениях. Чам: Издательство Springer International. Дои:10.1007/978-3-319-54066-5. ISBN  978-3-319-54066-5.
  41. ^ Брахман, Рональд Дж. (1983); Что такое IS-A, а что нет: анализ таксономических связей в семантических сетях, IEEE Computer, т. 16, нет. 10. С. 30-36.
  42. ^ Хоррокс, Ян; Патель-Шнайдер, Питер Ф. «Снижение влияния OWL на соответствие логике описания» (PDF).
  43. ^ Хитцлер, Паскаль; Krötzsch, Markus; Рудольф, Себастьян (2009-08-25). Основы технологий семантической паутины. CRCPress. ISBN  978-1-4200-9050-5.
  44. ^ МакГиннесс, Дебора; ван Хармелен, Франк (2004-02-10). "Обзор языка веб-онтологий OWL". Рекомендация W3C для OWL, языка веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  45. ^ Хейс, Патрик (2004-02-10). «Семантика RDF». Структура описания ресурсов. Консорциум World Wide Web. Получено 18 апреля 2010.
  46. ^ Патель-Шнайдер, Питер Ф .; Хейс, Патрик; Хоррокс, Ян (10 февраля 2004 г.). "Семантика языка веб-онтологий и абстрактный синтаксис OWL. Раздел 5. RDF-совместимая теоретико-модельная семантика". Рекомендация W3C для OWL, языка веб-онтологий. Консорциум World Wide Web. Получено 18 апреля 2010.
  47. ^ Маццоччи, Стефано (2005-06-16). «Закрытый мир против открытого мира: первая битва семантической паутины». Архивировано из оригинал 24 июня 2009 г.. Получено 27 апреля 2010.
  48. ^ Лейси, Ли В. (2005). «Глава 12». OWL: представление информации с помощью языка веб-онтологий. Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN  978-1-4120-3448-7.[самостоятельно опубликованный источник ]
  49. ^ OBO Technical WG. "Литейный завод ОБО". Литейный завод ОБО. Получено 2017-02-23.
  50. ^ «Матрица загрузок ОБО». Архивировано из оригинал на 22 февраля 2007 г.
  51. ^ [1]
  52. ^ [2]
  53. ^ «Сайт сообщества GBIF: Раздел 1: обзор онтологий TDWG». Community.gbif.org. 2013-02-12. Получено 2017-02-23.
  54. ^ "PROV-O: Онтология PROV". W3.org. Получено 2017-02-23.
  55. ^ "PROV-DM: Модель данных PROV". W3.org. Получено 2017-02-23.
  56. ^ "протеже". Protege.stanford.edu. Получено 2017-02-23.
  57. ^ Ной, Наташа; Ректор Алан (2006-04-12). «Определение N-арных отношений в семантической сети». Консорциум World Wide Web. Получено 17 апреля 2010.

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