stringtranslate.com

Язык правил семантической сети

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

Спецификация была представлена ​​в W3C в мае 2004 года Национальным исследовательским советом Канады , Network Inference (с тех пор приобретена webMethods ) и Стэнфордским университетом совместно со специальным комитетом США и ЕС по языку агентной разметки. Спецификация была основана на более раннем предложении языка правил OWL. [2] [3]

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

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

Пример

Читабельный синтаксис

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

Конкретный синтаксис XML

Конкретный синтаксис XML представляет собой комбинацию синтаксиса представления XML языка веб-онтологии OWL с синтаксисом XML RuleML .

 <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 для синтаксиса представления XML OWL.

Реализации

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

  1. перевести SWRL в логику первого порядка (Hoolet) и продемонстрировать задачи рассуждения с помощью средства доказательства теорем;
  2. перевести OWL-DL в правила и передать правила механизму прямого связывания (Bossam) (этот подход не может охватить полную выразительность OWL-DL из-за многих несовместимостей между формализмами логики описания и правила Хорна)
  3. расширить существующий механизм рассуждений OWL-DL на основе табличного алгоритма (Pellet).

Сравнение с программами описанной логики

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

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

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

  1. ^ «SWRL: язык правил семантической сети, сочетающий OWL и RuleML» . w3.org . Проверено 21 декабря 2017 г.
  2. ^ Ян Хоррокс; Питер Ф. Патель-Шнайдер (2004). «Предложение по языку правил OWL» (PDF) . Учеб. тринадцатой Международной конференции по всемирной паутине (WWW, 2004 г.) . АКМ. стр. 723–731 . Проверено 22 мая 2014 г.
  3. ^ Ян Хоррокс; Питер Ф. Патель-Шнайдер; Шон Беххофер; Дмитрий Царьков (2005). «Правила OWL: предложение и реализация прототипа» (PDF) . Журнал веб-семантики . 3 (1). Эльзевир: 23–40. дои : 10.1016/j.websem.2005.05.003 . Проверено 22 мая 2014 г.
  4. ^ abc Биджан Парсия; и другие. (2005). «Осторожно приближаясь к SWRL» (PDF) . Проверено 29 июля 2006 г. {{cite journal}}: Требуется цитировать журнал |journal=( помощь )
  5. ^ Борис Мотик; Ульрика Саттлер; Руди Штудер (2005). «Ответ на запросы для OWL-DL с правилами» (PDF) . Журнал веб-семантики . 3 (1). Эльзевир: 41–60. дои : 10.1016/j.websem.2005.05.001 . Проверено 22 мая 2014 г.
  6. ^ Мэй, Цзин; Гарольд Боли (2006). «Интерпретация правил SWRL в графах RDF» (PDF) . Электронные заметки по теоретической информатике . 151 (2). Эльзевир: 53–69. дои : 10.1016/j.entcs.2005.07.036. S2CID  14325289 . Проверено 29 июля 2006 г.
  7. ^ Бенджамин Н. Грософ; Ян Хоррокс; Рафаэль Фольц; Стефан Декер (2003). «Программы с описанием логики: объединение логических программ с логикой описания» (PDF) . Учеб. Двенадцатой Международной конференции по всемирной паутине (WWW, 2003 г.) . АКМ. стр. 48–57 . Проверено 22 мая 2014 г.

Внешние ссылки