Semantic Web Rule Language: Difference between revisions

Revision as of 19:20, 13 January 2021

Revision as of 22:31, 16 February 2021

Line 1:

{{Use dmy dates|date=JanuaryFebruary 20112021}}

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=www.w3.org|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 10 ⟶ 11:

| year = 2004

| url = http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2004/HoPa04a.pdf

| format = PDF

| access-date = 2014-05-22 }}</ref><ref name="Horrocks2005">{{Cite journal

| author = Ian Horrocks |author2=Peter F. Patel-Schneider |author3=Sean Bechhofer |author4=Dmitry Tsarkov

Line 21:

| year = 2005

| url = http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2005/HPBT05.pdf

| format = PDF

| access-date = 2014-05-22 }}</ref>

Line 29 ⟶ 28:

| year = 2005

| url = https://cs.uwaterloo.ca/~gweddell/cs848/SWRL_Parsia_et_al.pdf

| format = PDF

| access-date = 2006-07-29 |display-authors=etal}}</ref>

However, decidability can be regained by restricting the form of admissible rules, typically by imposing a suitable safety condition.<ref name="Motik2005">{{Cite journal

Line 41 ⟶ 39:

| year = 2005

| url = http://www.cs.ox.ac.uk/boris.motik/pubs/mss05query-journal.pdf

| format = PDF

| access-date = 2014-05-22 }}</ref>

Line 76 ⟶ 73:

</ruleml:imp>

</syntaxhighlight>

=== RDF Concrete Syntax ===

Line 177 ⟶ 175:

| year = 2003

| url = http://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2003/p117-grosof.pdf

| format = PDF

| access-date = 2014-05-22 }}</ref>

Compared with Description Logic Programs, SWRL takes a diametrically opposed integration approach. DLP is the intersection of [[Horn logic]] and OWL, whereas SWRL is (roughly) the union of them.<ref name="Parsia2005"/> In DLP, the resultant language is a very peculiar looking description logic and rather inexpressive language overall.<ref name="Parsia2005"/>

Line 200 ⟶ 197:

{{Semantic Web}}

{{Use dmy dates|date=January 2011}}

[[Category:Semantic Web]]