Continuing Education on New Data Standards & Technologies

Search thousands of Continuing Education resources for metadata professionals


Advanced Search

Semantic Web Rule Language - Wikipedia, the free encyclopedia

Go to the resource directly at https://en.wikipedia.org/wiki/Semantic_Web_Rule_Language

Linked Data

Subject

Creator

Dublin Core

Title

Semantic Web Rule Language - Wikipedia, the free encyclopedia

Description

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 OWL DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of 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. The specification was based on an earlier proposal for an OWL rules language.[1] [2]

SWRL has the full power of OWL DL, but at the price of decidability and practical implementations.[3] However, decidability can be regained by restricting the form of admissible rules, typically by imposing a suitable safety condition. [4]

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.

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

It is straightforward to provide such an RDF concrete syntax for rules, but the presence of variables in rules goes beyond the RDF Semantics.[5] Translation from the XML Concrete Syntax to RDF/XML could be easily accomplished by extending the XSLT transformation for the OWL XML Presentation syntax.

Caveat: Reasoners do not support the full specification because the reasoning becomes undecidable. There can be three types of approach: translate SWRL into First Order Logic (Hoolet) and demonstrate reasoning tasks with a theorem prover; 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).

Description Logic Programs (DLPs) are another proposal for integrating rules and OWL.[6] 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.[3] In DLP, the resultant language is a very peculiar looking description logic and rather inexpressive language overall.[3]

Rights

Copyright to metadata belongs to Continuing Education Metadata Project.

Format

text/html; charset=utf-8 55.46 KB

Language

en

Identifier

https://en.wikipedia.org/wiki/Semantic_Web_Rule_Language

Files

Citation

"A Proposal for an OWL Rules Language", “Semantic Web Rule Language - Wikipedia, the free encyclopedia,” Continuing Education on New Data Standards & Technologies, accessed December 5, 2020, http://acva2010.cs.drexel.edu/omeka/items/show/19228.