Semantic Web Rule Language: Difference between revisions

Revision as of 00:57, 29 November 2021

Revision as of 18:48, 2 May 2022

Line 4:

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

| author = Ian Horrocks

| author2 = Peter F. Patel-Schneider

| title = A Proposal for an OWL Rules Language

| book-title = Proc. of the Thirteenth International World Wide Web Conference (WWW 2004)

| pages = 723–731

Line 90:

== Implementations ==

Caveat: Reasoners do not support the full specification because the reasoning becomes undecidable. There can be three types of approach:

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)

Line 166 ⟶ 165:

|}

== Comparison with Description Logic Programs ==

[[Description Logic Programs]] (DLPs) are another proposal for integrating rules and OWL.<ref name="Grosof2003">{{Cite conference

| author = Benjamin N. Grosof |author2=Ian Horrocks |author3=Raphael Volz |author4=Stefan Decker

Line 184 ⟶ 183:

* [[Semantic Web]]

* [[Semantic Grid]]

* [[Ontology (computerinformation science)]]

* [[Business Intelligence 2.0]] (BI 2.0)

* [[Semantic wiki]]