Semantic Web Rule Language: Difference between revisions

Revision as of 17:46, 13 September 2024

Latest revision as of 11:21, 3 February 2025

(3 intermediate revisions by 3 users not shown)

Line 1:

{{Short description|Language to express rules and logic with semantic web}}

{{Use dmy dates|date=February 2021}}

The '''Semantic Web Rule Language''' ('''SWRL''') is a proposed language for the [[Semantic Web]] that can be used to express rules as well as logic, combining [[Web Ontology Language|OWL DL]] or OWL Lite with a subset of the [[RuleML|Rule Markup Language]] (itself a subset of [[Datalog]]).<ref>{{Cite web|url=https://www.w3.org/Submission/SWRL/|title=SWRL: A Semantic Web Rule Language Combining OWL and RuleML|website=w3W3C |date=21 May 2004 |first1= Ian |last1=Horrocks|first2=Peter F.org |last2=Patel-Schneider|first3=Harold |last3=Boley|first4=Said |last4=Tabet|first5=Benjamin |last5=Grosof|first6=Mike |last6=Dean|language=en-US|access-date=2017-12-21}}</ref>

The specification was submitted in May 2004 to the [[W3C]] by the [[National Research Council of Canada]], Network Inference (since acquired by [[webMethods]]), and [[Stanford University]] in association with the Joint US/EU ad hoc Agent Markup Language Committee. The specification was based on an earlier proposal for an OWL rules language.<ref name="Horrocks2004">{{Cite conference

Line 97 ⟶ 98:

# translate OWL-DL into rules and give the rules to a forward chaining engine (Bossam) (this approach cannot cover the full expressivity of OWL-DL due to many incompatibilities between Description Logic and Horn Rule formalisms)

# expand an existing OWL-DL reasoner based on the tableaux algorithm (Pellet).

*# [[Protege (software)|Protégé]] 4.2 includes a Rules view in its Ontology Views that supports SWRL rules.

{{Expand section|date=January 2007}}

*# For older versions of Protégé, '''SWRLTab''' is an extension that supports editing and execution of SWRL rules. [https://archive.today/20121215054848/http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab]

# '''[[R2ML]]''' (REWERSE Rule Markup Language) supports SWRL. [http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6]

* [[Protege (software)|Protégé]] 4.2 includes a Rules view in its Ontology Views that supports SWRL rules.

# '''Bossam''', a [[forward chaining]] rule engine supports SWRL. [http://bossam.wordpress.com/]

* For older versions of Protégé, '''SWRLTab''' is an extension that supports editing and execution of SWRL rules. [https://archive.today/20121215054848/http://protege.cim3.net/cgi-bin/wiki.pl?SWRLTab]

*# '''[[R2ML]]Hoolet''', (REWERSEan Ruleimplementation Markupof Language)an OWL-DL reasoner that uses a first order prover supports SWRL. [http://oxygenowl.informatikman.tu-cottbusac.de/rewerse-i1uk/?q=nodehoolet/6]

*# '''BossamPellet''', aan [[forwardopen-source chaining]]Java ruleOWL engineDL supportsreasoner has SWRL-support. [https://web.archive.org/web/20070925082014/http://bossampellet.wordpressowldl.com/]

*# '''HooletKAON2''', is an implementationinfrastructure offor anmanaging OWL-DL, reasonerSWRL, thatand usesF-Logic a first order prover supports SWRLontologies. [http://owlkaon2.mansemanticweb.ac.uk/hooletorg/]

*# '''PelletRacerPro''', ansupports open-sourcethe Javaprocessing OWLof DLrules reasonerin hasa SWRL-support.based syntax by translating them into nRQL rules [https://web.archive.org/web/2007092508201420060718175210/http://pelletwww.owldlracer-systems.com/products/racerpro/index.phtml]

*# '''KAON2Stardog''' is an infrastructureRDF fordatabase managingor OWL-DL,[[triplestore]] SWRL,that andrewrites F-Logicqueries ontologiesto answer questions using SWRL inferences. [http://kaon2.semanticwebstardog.orgcom/]

{| borderclass="1" cellpadding="1" cellspacing="0wikitable" style="font-size: 85%; border: gray solid 1px; border-collapse: collapse; text-align: center; width: 100%; table-layout: fixed;" class="wikitable"

* '''RacerPro''', supports the processing of rules in a SWRL-based syntax by translating them into nRQL rules [https://web.archive.org/web/20060718175210/http://www.racer-systems.com/products/racerpro/index.phtml]

* '''Stardog''' is an RDF database or [[triplestore]] that rewrites queries to answer questions using SWRL inferences. [http://stardog.com/]

{| border="1" cellpadding="1" cellspacing="0" style="font-size: 85%; border: gray solid 1px; border-collapse: collapse; text-align: center; width: 100%; table-layout: fixed;" class="wikitable"

|- style="background: #ececec"

! style="width: 16em" |

! '''Bossam'''

! '''Hoolet'''

! '''Pellet'''

|-

! SWRL/OWLX Parser