Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Язык правил семантической паутины ( SWRL ) - это предлагаемый язык для семантической паутины, который может использоваться для выражения правил, а также логики, сочетая OWL DL или OWL Lite с подмножеством языка разметки правил (сам является подмножеством Datalog ). [1]

Спецификация была представлена в мае 2004 года в W3C от Национального исследовательского совета Канады , сети умозаключений (с приобретенной WebMethods ) и Стэнфордского университета совместно с Объединенным / специального агента языка Комитет Markup ЕС США. Спецификация была основана на более раннем предложении по языку правил OWL. [2] [3]

SWRL обладает всеми возможностями OWL DL, но ценой разрешимости и практической реализации. [4] Однако разрешимость может быть восстановлена ​​путем ограничения формы допустимых правил, обычно путем введения подходящего условия безопасности. [5]

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

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

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

hasParent (? x1,? x2) ∧ hasBrother (? x2,? x3) ⇒ hasUncle (? x1,? x3)

Конкретный синтаксис XML [ править ]

XML Бетонный Синтаксис представляет собой комбинацию из OWL Web Онтология языка XML Представление синтаксиса с RuleML синтаксиса XML .

 <ruleml: imp>  <ruleml: _rlab  ruleml: href = "# example1" />  <ruleml: _body>  <swrlx:  IndividualPropertyAtom swrlx: property = "hasParent" >  <ruleml: var> x1 </ ruleml: var>  <ruleml : var> x2 </ ruleml: var>  </ swrlx: IndividualPropertyAtom>  <swrlx:  IndividualPropertyAtom swrlx: property = "hasBrother" >  <ruleml: var> x2 </ ruleml: var>  <ruleml: var> x3 </ ruleml: var>  </ swrlx: IndividualPropertyAtom>  </ ruleml: _body>  <ruleml: _head> <swrlx:  IndividualPropertyAtom swrlx: property = "hasUncle">  <ruleml: var> x1 </ ruleml: var>  <ruleml: var> x3 </ ruleml: var>  </ swrlx: IndividualPropertyAtom>  </ ruleml: _head>  </ ruleml: imp>

Конкретный синтаксис RDF [ править ]

Обеспечить такой конкретный синтаксис RDF для правил несложно , но наличие переменных в правилах выходит за рамки семантики RDF. [6] Преобразование из конкретного синтаксиса XML в RDF / XML может быть легко выполнено путем расширения преобразования XSLT для синтаксиса OWL XML Presentation.

Реализации [ править ]

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

  1. перевести SWRL в логику первого порядка (Hoolet) и продемонстрировать задачи рассуждений с помощью средства доказательства теорем;
  2. преобразовать OWL-DL в правила и передать правила механизму прямой цепочки (Bossam) (этот подход не может покрыть полную выразительность OWL-DL из-за многих несовместимостей между формализмами логики описания и правил рога)
  3. расширить существующий механизм рассуждений OWL-DL на основе алгоритма таблиц (Pellet).
  • Protégé 4.2 включает в себя представление правил в своих представлениях онтологий, которое поддерживает правила SWRL.
  • Для более старых версий Protégé SWRLTab - это расширение, которое поддерживает редактирование и выполнение правил SWRL. [1]
  • R2ML (язык разметки правил REWERSE) поддерживает SWRL. [2]
  • Bossam , механизм правил прямой цепочки, поддерживает SWRL. [3]
  • Hoolet , реализация механизма рассуждений OWL-DL, который использует модуль доказательства первого порядка, поддерживает SWRL. [4]
  • Pellet , программа рассуждений Java OWL DL с открытым исходным кодом, имеет поддержку SWRL. [5]
  • KAON2 - это инфраструктура для управления онтологиями OWL-DL, SWRL и F-Logic. [6]
  • RacerPro , поддерживает обработку правил в синтаксисе на основе SWRL, переводя их в правила nRQL [7]
  • RDFox - масштабируемый механизм логических рассуждений в основной памяти, поддерживающий SWRL. Разработано Oxford Semantic Technologies. [8]
  • Stardog - это база данных RDF или хранилище троек, которое переписывает запросы, чтобы отвечать на вопросы, используя выводы SWRL. [9]
БоссамHooletПеллет
Синтаксический анализатор SWRL / OWLXда??
Анализатор SWRL / RDFда?да
Встроенные математические функцииЧастичное?да
Встроенные строкиЧастичное?да
Встроенные средства сравнения??да
Встроенные логические функции??да
Встроенные дата, время и продолжительность??Нет
Встроенные URI??да
Списки встроенных модулей??Нет
ЛицензированиеБесплатная / с закрытым исходным кодомБесплатно / с открытым исходным кодомБесплатно / с открытым исходным кодом

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

Описание Логические программы (DLP) - еще одно предложение по интеграции правил и OWL. [7] По сравнению с программами логики описания, SWRL использует диаметрально противоположный подход к интеграции. DLP - это пересечение логики Хорна и OWL, тогда как SWRL - это (примерно) их объединение. [4] В DLP результирующий язык представляет собой очень своеобразно выглядящую логику описания и довольно невыразительный язык в целом. [4]

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

  • Описание Логика
  • Язык веб-онтологий - "OWL"
  • Журнал данных (язык запросов и правил)
  • Семантическая сеть
  • Семантическая сетка
  • Онтология (информатика)
  • Бизнес-аналитика 2.0 (BI 2.0)
  • Семантическая вики

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

  1. ^ «SWRL: язык правил семантической паутины, сочетающий OWL и RuleML» . w3.org . Проверено 21 декабря 2017 года .
  2. ↑ Ян Хоррокс; Питер Ф. Патель-Шнайдер (2004). «Предложение по языку правил OWL» (PDF) . Proc. тринадцатой Международной конференции по всемирной паутине (WWW 2004) . ACM. С. 723–731 . Проверено 22 мая 2014 .
  3. ↑ Ян Хоррокс; Питер Ф. Патель-Шнайдер; Шон Беххофер; Дмитрий Царьков (2005). «Правила OWL: предложение и реализация прототипа» (PDF) . Журнал веб-семантики . Эльзевир. 3 (1): 23–40 . Проверено 22 мая 2014 .
  4. ^ a b c Биджан Парсия; и другие. (2005). «Осторожно приближаясь к SWRL» (PDF) . Проверено 29 июля 2006 года . Цитировать журнал требует |journal=( помощь )
  5. ^ Борис Мотик; Ульрике Саттлер; Руди Студер (2005). «Ответ на запросы для OWL-DL с правилами» (PDF) . Журнал веб-семантики . Эльзевир. 3 (1): 41–60 . Проверено 22 мая 2014 .
  6. ^ Мэй, Цзин; Гарольд Боули (2006). «Интерпретация правил SWRL в графах RDF» (PDF) . Электронные заметки по теоретической информатике . Эльзевир (151): 53–69 . Проверено 29 июля 2006 года .
  7. ^ Бенджамин Н. Грозоф; Ян Хоррокс; Рафаэль Фольц; Стефан Деккер (2003). «Программы логики описания: объединение программ логики с логикой описания» (PDF) . Proc. Двенадцатой Международной конференции World Wide Web (WWW 2003) . ACM. С. 48–57 . Проверено 22 мая 2014 .

Внешние ссылки [ править ]

  • SWRL: язык правил семантической паутины, сочетающий OWL и RuleML , материалы , представленные участниками W3C 21 мая 2004 г.
  • Предложение о расширении SWRL в сторону логики первого порядка , представление членов W3C 11 апреля 2005 г.
  • Синтаксис XML-представления языка веб-онтологий OWL , примечание W3C от 11 июня 2003 г.