Semantic Web Rule Language: Difference between revisions

Revision as of 12:17, 21 June 2013

Revision as of 12:17, 21 June 2013

Line 62:

== Implementations ==

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); expdexpand an existing OWL-DL reasoner based on the tableaux algorithm (Pellet).

{{Expand section|date=January 2007}}