Semantic Web Rule Language

SWRL (Semantic Web Rule Language) is a proposal for a Semantic Web rules-language, combining sublanguages of the OWL Web Ontology Language (OWL DL and Lite) with those of the Rule Markup Language (Unary/Binary Datalog).

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.

Compared with DLP (Description Logic Programs), another relatively recent proposal in the Semantic Web community for integrating rules and OWL, SWRL takes a diametrically opposed integration approach. DLP is the intersection of Horn logic and OWL, whereas SWRL is (roughly) the union of them. In DLP, the resultant language is a very peculiar looking description logic and rather inexpressive language overall. It’s hard to see the restrictions are either natural or satisfying. Contrariwise, SWRL retains the full power of OWL DL, but at the price of decidability and practical implementations.cite paper
author = Bijan Parsia
coauthors = et al.
title = Cautiously Approaching SWRL
date = 2005
url = http://www.mindswap.org/papers/CautiousSWRL.pdf
format = PDF
accessdate = 2006-07-29
]

Rules are of the form of an implication between an antecedent (body) and consequent (head). The intended meaning can be read as: whenever the conditions specified in the antecedent hold, then the conditions specified in the consequent must also hold.

Example

"Human Readable Syntax"

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

"XML Concrete Syntax"

The XML Concrete Syntax is a combination of the "OWL Web Ontology Language XML Presentation Syntax" with the "RuleML XML syntax".

x1 x2 x2 x3 x1 x3

"RDF Concrete Syntax"

It is straightforward to provide such an RDF concrete syntax for rules, but the presence of variables in rules goes beyond the RDF Semanticscite journal
last = Mei
first = Jing
coauthors = Harold Boley
title = Interpreting SWRL Rules in RDF Graphs
journal = Electronic Notes in Theoretical Computer Science
issue = 151
pages = 53–69
publisher = Elsevier
date = 2006
url = http://www.is.pku.edu.cn/~mayyam/papers/Interpreting%20SWRL%20Rules%20in%20RDF%20Graphs.pdf
accessdate = 2006-07-29
] . Translation from the XML Concrete Syntax to RDF/XML could be easily accomplished by extending the XSLT transformation for the OWL XML Presentation syntax.

Implementations

Caveat: Reasoners rarely support the full specification because the reasoning becomes undecidable. There can be three types of approach: translate SWRL in First Order Logic (Hoolet) and demonstrate reasoning tasks with a theorem prover; translate OWL-DL in rules and give him to a forward chaining engine (Bossam) note that this approach can't cover the full expressivity of OWL-DL due to many incompatibility between Description Logics and Horn Rule formalisms; Expanding existing OWL-DL reasoner based on tableaux algorithm (Pellet).

* SWRLTab is an extension to Protege that supports editing and execution of SWRL rules. [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]
* Bossam, a forward chaining rule engine supports SWRL. [http://bossam.wordpress.com/]
* Hoolet, an implementation of an OWL-DL reasoner that uses a first order prover supports SWRL. [http://owl.man.ac.uk/hoolet/]
* Pellet, an open-source Java OWL DL reasoner has SWRL-support. [http://pellet.owldl.com/]
* KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. [http://kaon2.semanticweb.org/]
* RacerPro, supports processing of rules in a SWRL-based syntax by translating them into nRQL rules [http://www.racer-systems.com/products/racerpro/index.phtml]

See also

* Datalog (query and rule language)
* Semantic Web
* Semantic Grid
* Ontology (computer science)
* Business Intelligence 2.0 (BI 2.0)
* Semantic wiki

References

External links

* [http://www.w3.org/Submission/SWRL/ SWRL: A Semantic Web Rule Language Combining OWL and RuleML] , W3C Member Submission 21 May 2004
* [http://www.w3.org/Submission/SWRL-FOL/ A Proposal for a SWRL Extension towards First-Order Logic] , W3C Member Submission 11 April 2005
* [http://www.w3.org/TR/owl-xmlsyntax/ OWL Web Ontology Language XML Presentation Syntax] , W3C Note 11 June 2003
* [http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html Description Logic Programs: Combining Logic Programs with Description Logic] , WWW 2003.

__NOTOC__


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Semantic Web Rule Language — SWRL (Semantic Web Rule Language) est un langage de règles pour le web sémantique, combinant le langage OWL DL et le langage RuleML (Rule Markup Language (Unary/Binary Datalog)). En comparaison avec DLP (Description Logic Programs), une autre… …   Wikipédia en Français

  • Web Rule Language — The Web Rule Language (WRL) is a rule based ontology language for the Semantic Web. See also * OWL * RDF * XMLExternal links* [http://www.w3.org/Submission/WRL/ Web Rule Language (WRL) W3C Member Submission 09 September 2005] …   Wikipedia

  • Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

  • Web Ontology Language — Информация в этой статье или некоторых её разделах устарела. Вы можете помочь проекту, обновив её и убрав после этого данный шаб …   Википедия

  • Web Ontology Language — Pour les articles homonymes, voir OWL. Web Ontology Language (OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF. Il fournit les moyens pour définir des ontologies web structurées. Le langage OWL est …   Wikipédia en Français

  • Semantic Web — The Semantic Web is an evolving extension of the World Wide Web in which the semantics of information and services on the web is defined, making it possible for the web to understand and satisfy the requests of people and machines to use the web… …   Wikipedia

  • Semantic Sensor Web — Sensors are distributed across the globe leading to an avalanche of data about our environment. The rapid development and deployment of sensor technology involves many different types of sensors, both remote and in situ, with such diverse… …   Wikipedia

  • Semantic wiki — A semantic wiki is a wiki that has an underlying model of the knowledge described in its pages. Regular, or syntactic, wikis have structured text and untyped hyperlinks. Semantic wikis, on the other hand, provide the ability to capture or… …   Wikipedia

  • Rule Interchange Format — Le Rule Interchange Format (RIF ) est une recommandation du W3C. RIF fait partie de la feuille de route du web sémantique, avec principalement SPARQL, RDF et OWL. Bien que prévu initialement par beaucoup comme une couche de règles logiques pour… …   Wikipédia en Français

  • Semantic Grid — The Semantic Grid refers to an approach to Grid computing in which information, computing resources and services are described using the semantic data model. In this model the data and metadata are expressed through facts (small sentences).… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.