Semantic Web Rule Language: Difference between revisions

Revision as of 14:03, 18 December 2015

Revision as of 07:22, 5 January 2016

Line 50:

== 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''.

Line 78:

</ruleml:imp>

</source>

''=== RDF Concrete Syntax'' ===

It is straightforward to provide such an [[Resource Description Framework|RDF]] concrete syntax for rules, but the presence of variables in rules goes beyond the RDF Semantics.<ref name="mei2006">{{cite journal