Semantisk webregelsprog - Semantic Web Rule Language

Det semantiske web Regel Sprog ( SWRL ) er en foreslået sprog for semantiske web , som kan bruges til at udtrykke regler samt logik, der kombinerer OWL DL eller OWL Lite med en delmængde af Regel Markup Language (selv en delmængde af Datalog ).

Specifikationen blev indsendt i maj 2004 til W3C af National Research Council of Canada , Network Inference (siden erhvervet af webMethods ) og Stanford University i samarbejde med Joint US / EU ad hoc Agent Markup Language Committee. Specifikationen var baseret på et tidligere forslag til et OWL-regelsprog.

SWRL har den fulde kraft af OWL DL, men til prisen for beslutsomhed og praktiske implementeringer. Bestemmelighed kan dog genvindes ved at begrænse formen for tilladte regler, typisk ved at indføre en passende sikkerhedsbetingelse.

Regler er i form af en implikation mellem en fortilfælde (krop) og deraf følgende (hoved). Den tilsigtede betydning kan læses som: når de betingelser, der er specificeret i det foregående, holder, så skal de betingelser, der er specificeret i den efterfølgende, også gælde.

Eksempel

Menneskelig læsbar syntaks

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

XML Concrete Syntax

Den XML Beton syntaks er en kombination af den OWL Web ontologi Sprog XML Præsentation Syntaks med den RuleML XML-syntaks . 

 <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 Concrete Syntax

Det er ligetil at tilvejebringe en sådan RDF konkret syntaks for regler, men tilstedeværelsen af ​​variabler i regler går ud over RDF Semantics. Oversættelse fra XML Concrete Syntax til RDF / XML kan let udføres ved at udvide XSLT- transformationen til OWL XML Presentation-syntaksen.

Implementeringer

Advarsel: Ræsonnerer understøtter ikke den fulde specifikation, fordi ræsonnementet bliver uafgøreligt. Der kan være tre typer tilgang:

  1. oversæt SWRL til First Order Logic (Hoolet) og demonstrer ræsonnementsopgaver med en sætningsprover;
  2. oversætte OWL-DL til regler og give reglerne til en fremadgående kædemotor (Bossam) (denne tilgang kan ikke dække OWL-DLs fulde ekspressivitet på grund af mange uforeneligheder mellem beskrivelseslogik og Horn-regelformalismer)
  3. udvide en eksisterende OWL-DL-redenator baseret på tableaalgoritmen (Pellet).
  • Protégé 4.2 inkluderer en Regelvisning i Ontology Views, der understøtter SWRL-regler.
  • I ældre versioner af Protégé er SWRLTab en udvidelse, der understøtter redigering og udførelse af SWRL-regler. [1]
  • R2ML (REWERSE Rule Markup Language) understøtter SWRL. [2]
  • Bossam , en fremadgående kædemotor understøtter SWRL. [3]
  • Hoolet , en implementering af en OWL-DL-begrundelse, der bruger en ordreprover understøtter SWRL. [4]
  • Pellet , en open source Java OWL DL-redenator har SWRL-understøttelse. [5]
  • KAON2 er en infrastruktur til styring af OWL-DL-, SWRL- og F-Logic-ontologier. [6]
  • RacerPro , understøtter behandling af regler i en SWRL-baseret syntaks ved at oversætte dem til nRQL-regler [7]
  • RDFox en højtydende in-memory skalerbar viden graf og Datalog ræsonnement motor, der understøtter SWRL. Udviklet af Oxford Semantic Technologies. [8]
  • Stardog er en RDF-database eller triplestore, der omskriver forespørgsler for at besvare spørgsmål ved hjælp af SWRL-slutninger. [9]
Bossam Hoolet Pellet
SWRL / OWLX-parser Ja ? ?
SWRL / RDF-parser Ja ? Ja
Indbygget matematik Delvis ? Ja
Indbyggede strenge Delvis ? Ja
Sammenligning Indbyggede ? ? Ja
Boolske indbyggede ins ? ? Ja
Indbygget dato, tid og varighed ? ? Ingen
URI-indbyggede ? ? Ja
Lister Indbyggede ? ? Ingen
Licensering Gratis / lukket kilde Gratis / open source Gratis / open source

Sammenligning med beskrivelseslogiske programmer

Beskrivelse Logiske programmer (DLP'er) er et andet forslag til integration af regler og OWL. Sammenlignet med beskrivelseslogiske programmer tager SWRL en diametralt modsat integrationsmetode. DLP er skæringspunktet mellem Horn-logik og OWL, hvorimod SWRL er (nogenlunde) foreningen af ​​dem. I DLP er det resulterende sprog en meget mærkelig beskrivende logik og et ret inexpressivt sprog generelt.

Se også

Referencer

eksterne links