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

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

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

Языки OWL характеризуются формальной семантикой . Они построены на стандарте XML консорциума World Wide Web (W3C) для объектов, который называется инфраструктурой описания ресурсов (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 . [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]

Стандарты семантической сети [ править ]

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

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

-  Консорциум World Wide Web, W3C Semantic Web Activity [18]

Схема RDF [ править ]

Дополнительная информация: RDFS

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

-  Консорциум World Wide Web, Metadata Activity [19]

В конце 1990-х годов деятельность по метаданным Консорциума Всемирной паутины (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 Experiences And Directions Workshop был сформирован консенсус в отношении того, что недавние достижения в логике описания позволят сделать более выразительный пересмотр для более полного удовлетворения требований пользователей при сохранении хороших вычислительных свойств. В декабре 2006 года в W3C было направлено представление участников OWL1.1 [23] . 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]

OWL DL [ править ]

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

OWL Full [ править ]

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]

Синтаксисы Exchange [ править ]

OWL RDF / XML-сериализация
Расширение имени файла
.owx, .owl, .rdf
Тип интернет-СМИ
приложение / сова + xml, приложение / rdf + xml [35]
РазработаноКонсорциум World Wide Web
СтандартOWL 2 XML-сериализация 27 октября 2009 г . ; 11 лет назад , ссылка на OWL, 10 февраля 2004 г . ; 17 лет назад ( 2009-10-27 )
 (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>  Объявление (  Class (  : Tea  )  ) )
OWL2 XML-синтаксис
 <Ontology  ontologyIRI = "http://example.org/tea.owl"  ... >  <Prefix  name = "owl"  IRI = "http://www.w3.org/2002/07/owl#" />  <Declaration>  <Class  IRI = "Tea" />  </Declaration>  </Ontology>
Манчестерский синтаксис
Онтология :  <http://example.org/tea.owl> Класс :  Чай
Синтаксис RDF / XML
<rdf: RDF  ... >  <owl: Ontology  rdf: about = "" />  <owl: Class  rdf: about = "#Tea" /> </ rdf: RDF>
RDF / Черепаха
 <http://example.org/tea.owl>  rdf : введите  owl : Ontology  .  : Чай  рдф : типа  сова : класс  .

Семантика [ править ]

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

Отношение к логике описания [ править ]

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

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

-  Рональд Дж. Брахман , Что такое 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 могут создавать классы, свойства, определять экземпляры и их операции.

Экземпляры [ править ]

Экземпляр является объектом. Соответствует описанию логики индивидуума .

Классы [ править ]

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

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

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

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

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

Пример [ править ]

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

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

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

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

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

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

Свойства [ править ]

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

Свойства типа данных [ править ]

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

Свойства объекта [ править ]

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

Операторы [ править ]

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

Метаклассы [ править ]

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

Публичные онтологии [ править ]

Библиотеки [ править ]

Биомедицинские [ править ]

  • OBO Foundry [49] [50]
  • NCBO BioPortal [51]
  • NCI Enterprise Vocabulary Services

Стандарты [ править ]

  • Предлагаемая верхняя объединенная онтология [52]
  • TDWG [53]
  • PROV-O, [54] версия онтологии PROV-DM от W3C [55]
  • Базовая формальная онтология
  • Европейская онтология моделирования материалов EMMO

Браузеры [ править ]

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

  • Protégé OWL [56]

Искать [ редактировать ]

  • Swoogle

Ограничения [ править ]

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

См. Также [ править ]

  • RDF
  • Семантическая технология
  • Агрис: Международная информационная система для сельскохозяйственных наук и технологий
  • Общая логика
  • FOAF + DOAC
  • Язык фрейма
  • Геополитическая онтология
  • IDEAS Group
  • Meta-Object Facility (MOF) , другой стандарт для унифицированного языка моделирования (UML) группы управления объектами (OMG)
  • Метакласс (семантическая сеть) , функция, разрешенная OWL для представления знаний
  • Мультимедийный язык веб-онтологий
  • Семантический рассуждающий
  • SKOS
  • SSWAP : простая архитектура и протокол семантической сети

Ссылки [ править ]

  1. ^ Knublauch, Holger; Оберле, Даниэль; Тетлоу, Фил; Уоллес, Эван (9 марта 2006 г.). «Учебник по семантической паутине для разработчиков объектно-ориентированного программного обеспечения» . W3C . Проверено 19 ноября 2017 года .
  2. ^ «Обзор документа на языке веб-онтологий OWL 2 (второе издание)» . W3C . 11 декабря 2012 г.
  3. ^ «Временная шкала стандартов XML и семантической сети W3C» (PDF) .
  4. ^ "СОВА" . W3.org . Проверено 23 февраля 2017 .
  5. ^ «Запрос на отправку в W3C: язык веб-онтологий OWL 1.1» . W3C. 2006-12-19.
  6. ^ a b «Стандарт W3C упрощает управление данными и интеграцию» . W3.org. 2009-10-27 . Проверено 15 октября 2013 года .
  7. ^ Сирин, E .; Parsia, B .; Грау, Британская Колумбия; Kalyanpur, A .; Кац, Ю. (2007). «Пеллет: практичный аргумент OWL-DL» (PDF) . Веб-семантика: наука, услуги и агенты во всемирной паутине . 5 (2): 51–53. DOI : 10.1016 / j.websem.2007.03.004 . Архивировано из оригинального (PDF) 27 июня 2007 года.
  8. ^ "ГОНКА - Дом" . Racer-systems.com . Проверено 23 февраля 2017 .
  9. ^ Царьков, Д .; Хоррокс, И. (2006). «FaCT ++ Description Logic Reasoner: Описание системы» (PDF) . Автоматическое рассуждение . Конспект лекций по информатике. 4130 . С. 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. ^ "Дом" . HermiT Reasoner . Проверено 23 февраля 2017 .
  12. ^ Бернерс-Ли, Тим; Джеймс Хендлер; Ора Лассила (17 мая 2001 г.). «Семантическая паутина. Новая форма веб-контента, значимая для компьютеров, откроет революцию новых возможностей» . Scientific American . 284 (5): 34–43. DOI : 10.1038 / Scientificamerican0501-34 . Архивировано из оригинального 24 апреля 2013 года .
  13. ^ Джон Hebeler (13 апреля 2009). Семантическое веб-программирование . ISBN 978-0470418017.
  14. ^ Сегаран, Тоби; Эванс, Колин; Тейлор, Джейми (24 июля 2009 г.). Программирование семантической сети . O'Reilly Media. ISBN 978-0596153816.
  15. ^ a b c Лейси, Ли В. (2005). «Глава 10». OWL: представление информации с помощью языка веб-онтологий . Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN 978-1-4120-3448-7.[ самостоятельно опубликованный источник ]
  16. ^ Баадер, Франц ; Хоррокс, Ян ; Саттлер, Ульрике (2005). «Логика описания как языки онтологий для семантической сети» . В Хаттере, Дитер ; Стефан, Вернер (ред.). Механизация математического мышления: очерки в честь Йорга Х. Зикмана по случаю его 60-летия . Гейдельберг, Германия: Springer Berlin. ISBN 978-3-540-25051-7.[ мертвая ссылка ]
  17. ^ a b Хоррокс, Ян; Патель-Шнайдер, Питер Ф .; ван Хармелен, Франк (2003). «От SHIQ и RDF к OWL: создание языка веб-онтологий». Веб-семантика: наука, услуги и агенты во всемирной паутине . 1 (1): 7–26. CiteSeerX 10.1.1.2.7039 . DOI : 10.1016 / j.websem.2003.07.001 . 
  18. ^ Консорциум World Wide Web (2010-02-06). «Деятельность W3C по семантической сети» . Проверено 18 апреля 2010 года .
  19. ^ a b 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. Перейти ↑ Lacy, Lee W. (2005). «Глава 9 - RDFS». OWL: представление информации с помощью языка веб-онтологий . Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN 978-1-4120-3448-7.[ самостоятельно опубликованный источник ]
  22. ^ a b c d "Рабочая группа по веб-онтологии (WebOnt) (закрытая)" . W3C.
  23. ^ Патель-Шнайдер, Питер Ф .; Хоррокс, Ян (19 декабря 2006 г.). «Язык веб-онтологий OWL 1.1» . Консорциум World Wide Web . Проверено 26 апреля 2010 года .
  24. ^ a b c Грау, Британская Колумбия; Хоррокс, И .; Мотик, Б .; Parsia, B .; Patel-Schneider, PF; Саттлер, У. (2008). «OWL 2: Следующий шаг для OWL» (PDF) . Веб-семантика: наука, услуги и агенты во всемирной паутине . 6 (4): 309–322. DOI : 10.1016 / j.websem.2008.05.001 .
  25. ↑ Герман, Иван . "Почему OWL, а не WOL?" . Учебник по технологиям семантической паутины . Консорциум World Wide Web . Проверено 18 апреля 2010 года .
  26. ^ "Re: NAME: SWOL против WOL" . Сообщение , отправленное на W3C webont-СПЦО список рассылки 27 декабря 2001 .
  27. ↑ Ян Хоррокс (2012). «Онтологическое рассуждение: почему и как» (PDF) . п. 7 . Проверено 28 января 2014 года .
  28. ^ «СОВА: оригинал» . 7 июля 2003 . Проверено 22 марта 2020 года .
  29. ^ Ван, TD; Parsia, B .; Хендлер, Дж. (2006). «Обзор ландшафта веб-онтологий». Семантическая сеть - ISWC 2006 . Конспект лекций по информатике. 4273 . п. 682. DOI : 10.1007 / 11926078_49 . ISBN 978-3-540-49029-6.
  30. ^ Грубер, Том (1993); «Подход к переводу спецификаций переносимых онтологий» , в Knowledge Acquisition , 5: 199-199
  31. ^ W3C (ред.). "Руководство по языку веб-онтологий OWL" .
  32. ^ a b c d Патель-Шнайдер, Питер Ф .; Хоррокс, Ян; Патрик Дж., Хейс (10 февраля 2004 г.). "Семантика языка веб-онтологий и абстрактный синтаксис OWL" . Консорциум World Wide Web . Проверено 18 апреля 2010 года .
  33. ^ Беххофер, Шон ; Патель-Шнайдер, Питер Ф .; Тури, Даниэле (10 декабря 2003 г.). "Конкретный абстрактный синтаксис языка веб-онтологий OWL" . Манчестерский университет . Проверено 18 апреля 2010 года .
  34. ^ Мотик, Борис ; Патель-Шнайдер, Питер Ф .; Парсия, Биджан (27.10.2009). "OWL 2 Структурная спецификация языка веб-онтологий и синтаксис функционального стиля" . OWL 2 Язык веб-онтологий . Консорциум World Wide Web . Проверено 18 апреля 2010 года .
  35. ↑ А. Шварц (сентябрь 2004 г.). "application / rdf + xml Регистрация типа носителя (RFC3870)" . IETF. п. 2. Архивировано 17 сентября 2013 года . Проверено 15 октября 2013 года .
  36. ^ a b Патель-Шнайдер, Питер Ф .; Мотик, Борис (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. ^ Хитцлер, Паскаль ; Крётч, Маркус ; Парсия, Биджан; Патель-Шнайдер, Питер Ф .; Рудольф, Себастьян (27.10.2009). «Учебник по языку веб-онтологий OWL 2» . OWL 2 Язык веб-онтологий . Консорциум World Wide Web . Проверено 15 октября 2013 года .
  40. ^ Сикос, Лесли Ф. (2017). Описание логики в мультимедийных рассуждениях . Чам: Издательство Springer International. DOI : 10.1007 / 978-3-319-54066-5 . ISBN 978-3-319-54066-5.
  41. ^ Брахман, Рональд Дж. (1983); Что такое IS-A, а что нет: анализ таксономических связей в семантических сетях , IEEE Computer, vol. 16, нет. 10. С. 30-36.
  42. ^ Хоррокс, Ян; Патель-Шнайдер, Питер Ф. «Снижение ограничения OWL до логической выполнимости описания» (PDF) .
  43. ^ Хитцлер, Паскаль ; Крётч, Маркус; Рудольф, Себастьян (25 августа 2009 г.). Основы технологий семантической паутины . 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. ^ Mazzocchi, Стефано (2005-06-16). «Закрытый мир против открытого мира: первая битва семантической паутины» . Архивировано из оригинального 24 июня 2009 года . Проверено 27 апреля 2010 года .
  48. Перейти ↑ Lacy, Lee W. (2005). «Глава 12». OWL: представление информации с помощью языка веб-онтологий . Виктория, Британская Колумбия: издательство Trafford Publishing. ISBN 978-1-4120-3448-7.[ самостоятельно опубликованный источник ]
  49. ^ OBO Technical WG. «Литейный завод ОБО» . Литейный завод ОБО . Проверено 23 февраля 2017 .
  50. ^ "Матрица загрузки OBO" . Архивировано из оригинала на 2007-02-22.
  51. ^ [1]
  52. ^ [2]
  53. ^ «Сайт сообщества GBIF: Раздел 1: обзор онтологий TDWG» . Community.gbif.org . 2013-02-12 . Проверено 23 февраля 2017 .
  54. ^ "PROV-O: Онтология PROV" . W3.org . Проверено 23 февраля 2017 .
  55. ^ "PROV-DM: Модель данных PROV" . W3.org . Проверено 23 февраля 2017 .
  56. ^ "протеже" . Protege.stanford.edu . Проверено 23 февраля 2017 .
  57. ^ Ной, Наташа ; Ректор, Алан (12 апреля 2006 г.). «Определение N-арных отношений в семантической сети» . Консорциум World Wide Web . Проверено 17 апреля 2010 года .

Дальнейшее чтение [ править ]

  • Беххофер, Шон; Хоррокс, Ян; Патель-Шнайдер, Питер Ф. (2003). «Учебник по OWL» . Манчестерский университет. Архивировано из оригинала на 2017-07-15.
  • Франкони, Энрико (2002). «Введение в логику описания» . Свободный университет Больцано.
  • Хоррокс, Ян (2010). Логика описания: формальная основа для языков и инструментов онтологии, часть 1: языки (PDF) . SemTech 2010.
  • Хоррокс, Ян (2010). Логика описания: формальная основа для языков и инструментов онтологии, часть 2: Инструменты (PDF) . SemTech 2010.