Jazyk sémantického webu - Semantic Web Rule Language

The Jazyk sémantického webu (SWRL) je navrhovaný jazyk pro Sémantický web které lze použít k vyjádření pravidel i logiky, kombinování OWL DL nebo OWL Lite s podmnožinou souboru Značkovací jazyk pravidla (sama o sobě podmnožina Datalog ).[1]

Specifikace byla předložena v květnu 2004 W3C podle Kanadská národní rada pro výzkum, Odvození sítě (od té doby, co byla získána webové metody ), a Stanfordská Univerzita ve spolupráci se společným americkým / evropským ad hoc výborem pro značkovací jazyk agentů. Specifikace byla založena na dřívějším návrhu jazyka pravidel OWL.[2][3]

SWRL má plný výkon OWL DL, ale za cenu rozhodovatelnosti a praktických implementací.[4]Rozhodnutelnost však lze znovu získat omezením formy přípustných pravidel, obvykle zavedením vhodné bezpečnostní podmínky.[5]

Pravidla mají formu implikace mezi předchůdcem (tělo) a následkem (hlava). Zamýšlený význam lze číst jako: kdykoli platí podmínky uvedené v předchůdci, musí platit také podmínky uvedené v následku.

Příklad

Lidsky čitelná syntaxe

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

Konkrétní syntaxe XML

The XML Betonová syntaxe je kombinací Syntax prezentace XML OWL Web Ontology Language s RuleML XML syntaxe.

 <ruleml:imp>    ruleml: href =„# example1“/>  <ruleml:_body>       swrlx: vlastnost ="hasParent">       <ruleml:var>x1</ruleml:var>      <ruleml:var>x2</ruleml:var>    </swrlx:individualPropertyAtom>       swrlx: vlastnost ="hasBrother">       <ruleml:var>x2</ruleml:var>      <ruleml:var>x3</ruleml:var>    </swrlx:individualPropertyAtom>   </ruleml:_body>   <ruleml:_head>       swrlx: vlastnost ="hasUncle">       <ruleml:var>x1</ruleml:var>      <ruleml:var>x3</ruleml:var>    </swrlx:individualPropertyAtom>   </ruleml:_head>  </ruleml:imp>

RDF konkrétní syntaxe

Je jednoduché poskytnout takový RDF konkrétní syntaxe pravidel, ale přítomnost proměnných v pravidlech jde nad rámec sémantiky RDF.[6] Překlad z konkrétní syntaxe XML do jazyka RDF / XML lze snadno dosáhnout rozšířením XSLT transformace pro syntaxi OWL XML Presentation.

Implementace

Upozornění: Reasoners nepodporují úplnou specifikaci, protože uvažování se stává nerozhodnutelným. Mohou existovat tři typy přístupu:

  1. přeložit SWRL do logiky prvního řádu (Hoolet) a demonstrovat úlohy uvažování pomocí věty prover;
  2. přeložit OWL-DL do pravidel a dát pravidla předávacímu řetězovému motoru (Bossam) (tento přístup nemůže pokrýt plnou expresivitu OWL-DL kvůli mnoha nekompatibilitám mezi Description Logic a Horn Rule formalismy)
  3. rozšířit existující uvažovač OWL-DL na základě algoritmu tableaux (Pellet).
  • Chráněnec 4.2 obsahuje ve svých Ontologických pohledech pohled Pravidla, který podporuje pravidla SWRL.
  • U starších verzí Protégé SWRLTab je rozšíření, které podporuje úpravy a provádění pravidel SWRL. [1]
  • R2ML (REWERSE Rule Markup Language) podporuje SWRL. [2]
  • Bossam, a dopředu řetězení modul pravidel podporuje SWRL. [3]
  • Hoolet, implementace argumentátoru OWL-DL, který používá prover prvního řádu, podporuje SWRL. [4]
  • Pelety, open-source Java OWL DL reasoner má podporu SWRL. [5]
  • KAON2 je infrastruktura pro správu ontologií OWL-DL, SWRL a F-Logic. [6]
  • RacerPro, podporuje zpracování pravidel v syntaxi založené na SWRL jejich převodem do pravidel nRQL [7]
  • RDFox hlavní paměť, vysoce škálovatelný logický engine Datalog, který podporuje SWRL. Vyvinuto společností Oxford Semantic Technologies. [8]
  • Stardog je databáze RDF nebo triplestore který přepisuje dotazy tak, aby odpovídaly na otázky pomocí SWRL závěrů. [9]
BossamHooletPelety
Analyzátor SWRL / OWLXAno??
Analyzátor SWRL / RDFAno?Ano
Matematické vestavbyČástečný?Ano
Integrované řetězceČástečný?Ano
Porovnání integrovaných modulů??Ano
Boolean Built-Ins??Ano
Integrované datum, čas a doba trvání??Ne
Integrované identifikátory URI??Ano
Seznamy integrovaných modulů??Ne
LicencováníZdarma / uzavřený zdrojZdarma / open-sourceZdarma / open-source

Porovnání s logickými programy s popisem

Popis Logické programy (DLP) jsou dalším návrhem na integraci pravidel a OWL.[7]Ve srovnání s popisovými logickými programy má SWRL diametrálně odlišný integrační přístup. DLP je průsečík Horn logika a OWL, zatímco SWRL je (zhruba) jejich spojením.[4] V DLP je výsledný jazyk velmi zvláštně vypadající logikou popisu a celkem nevýrazným jazykem.[4]

Viz také

Reference

  1. ^ „SWRL: Sémantický jazyk webových pravidel kombinující OWL a RuleML“. www.w3.org. Citováno 21. prosince 2017.
  2. ^ Ian Horrocks; Peter F. Patel-Schneider (2004). „Návrh jazyka pravidel OWL“ (PDF). Proc. třinácté mezinárodní konference o WWW (WWW 2004). ACM. 723–731. Citováno 22. května 2014.
  3. ^ Ian Horrocks; Peter F. Patel-Schneider; Sean Bechhofer; Dmitrij Carkov (2005). „Pravidla OWL: Návrh a implementace prototypu“ (PDF). Journal of Web Semantics. Elsevier. 3 (1): 23–40. Citováno 22. května 2014.
  4. ^ A b C Bijan Parsia; et al. (2005). „Opatrně se blíží SWRL“ (PDF). Citováno 29. července 2006. Citovat deník vyžaduje | deník = (Pomoc)
  5. ^ Boris Motik; Ulrike Sattler; Rudi Studer (2005). „Odpovědi na dotazy pro OWL-DL s pravidly“ (PDF). Journal of Web Semantics. Elsevier. 3 (1): 41–60. Citováno 22. května 2014.
  6. ^ Mei, Jing; Harold Boley (2006). „Interpretace pravidel SWRL v grafech RDF“ (PDF). Elektronické poznámky v teoretické informatice. Elsevier (151): 53–69. Citováno 29. července 2006.
  7. ^ Benjamin N. Grosof; Ian Horrocks; Raphael Volz; Stefan Decker (2003). „Programy logiky popisu: Kombinace logických programů s logikou popisu“ (PDF). Proc. dvanácté mezinárodní konference o WWW (WWW 2003). ACM. str. 48–57. Citováno 22. května 2014.

externí odkazy