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

Язык правил семантической сети ( 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.

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

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

перевести SWRL в логику первого порядка (Hoolet) и продемонстрировать задачи рассуждения с помощью средства доказательства теорем;
перевести OWL-DL в правила и передать правила механизму прямого связывания (Bossam) (этот подход не может охватить полную выразительность OWL-DL из-за многих несовместимостей между формализмами логики описания и правила Хорна)
расширить существующий механизм рассуждений 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]
Stardog — это база данных RDF или тройное хранилище , которая переписывает запросы для ответа на вопросы, используя выводы SWRL. [8]

	Боссам	Уход	Пеллета
SWRL/OWLX-парсер	Да	?	?
SWRL/RDF-парсер	Да	?	Да
Математические встроенные модули	Частичный	?	Да
Строковые встроенные модули	Частичный	?	Да
Встроенные функции сравнения	?	?	Да
Логические встроенные модули	?	?	Да
Встроенные функции даты, времени и продолжительности	?	?	Нет
Встроенные URI	?	?	Да
Перечисляет встроенные модули	?	?	Нет
Лицензирование	Бесплатный/с закрытым исходным кодом	Бесплатно/с открытым исходным кодом	Бесплатно/с открытым исходным кодом

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

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

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

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

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

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

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

[1] «SWRL: язык правил семантической сети, сочетающий OWL и RuleML» . w3.org . Проверено 21 декабря 2017 г.

[Horrocks2004-2] Ян Хоррокс; Питер Ф. Патель-Шнайдер (2004). «Предложение по языку правил OWL» (PDF) . Учеб. тринадцатой Международной конференции по всемирной паутине (WWW, 2004 г.) . АКМ. стр. 723–731 . Проверено 22 мая 2014 г.

[Horrocks2005-3] Ян Хоррокс; Питер Ф. Патель-Шнайдер; Шон Беххофер; Дмитрий Царьков (2005). «Правила OWL: предложение и реализация прототипа» (PDF) . Журнал веб-семантики . 3 (1). Эльзевир: 23–40. дои : 10.1016/j.websem.2005.05.003 . Проверено 22 мая 2014 г.

[Parsia2005-4] Перейти обратно: Перейти обратно: ^а ^б ^с Биджан Парсия; и др. (2005). «Осторожно приближаясь к SWRL» (PDF) . Проверено 29 июля 2006 г. {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[Motik2005-5] Борис Мотик; Ульрика Саттлер; Руди Штудер (2005). «Ответ на запросы для OWL-DL с правилами» (PDF) . Журнал веб-семантики . 3 (1). Эльзевир: 41–60. дои : 10.1016/j.websem.2005.05.001 . Проверено 22 мая 2014 г.

[mei2006-6] Мэй, Цзин; Гарольд Боли (2006). «Интерпретация правил SWRL в графах RDF» (PDF) . Электронные заметки по теоретической информатике . 151 (2). Эльзевир: 53–69. дои : 10.1016/j.entcs.2005.07.036 . S2CID 14325289 . Проверено 29 июля 2006 г.

[Grosof2003-7] Бенджамин Н. Грософ; Ян Хоррокс; Рафаэль Фольц; Стефан Декер (2003). «Программы с описанием логики: объединение логических программ с логикой описания» (PDF) . Учеб. Двенадцатой Международной конференции по всемирной паутине (WWW 2003) . АКМ. стр. 48–57 . Проверено 22 мая 2014 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]