Title: Stanbol Rule Language

## Example

The following is a rule, called <code>uncleRule</code>, for inferring the relation <code>hasUncle</code> between individuals <code>x</code> and <code>y</code> if <code>z</code> is a parent of <code>x</code> and <code>z</code> is brother of <code>y</code>.

In __Stanbol Rule__ syntax it is:

    uncleRule[has(<http://www.foo.org/myont.owl#hasParent>, ?x, ?z) .
              has(<http://www.foo.org/myont.owl#hasSibling>, ?z, ?y)
                 ->
              has(<http://www.foo.org/myont.owl#hasUncle>, ?x, ?y)
    ]

The rule above becomes the following __SWRL__ rule:

    <swrl:Variable rdf:ID="x"/>
    <swrl:Variable rdf:ID="z"/>
    <swrl:Variable rdf:ID="y"/>
    <ruleml:Imp> 
       <ruleml:body rdf:parseType="Collection">
          <swrl:IndividualPropertyAtom> 
              <swrl:propertyPredicate rdf:resource="&eg;hasParent"/> 
              <swrl:argument1 rdf:resource="#x" />
              <swrl:argument2 rdf:resource="#z" />
          </swrl:IndividualPropertyAtom>
          <swrl:IndividualPropertyAtom> 
              <swrl:propertyPredicate rdf:resource="&eg;hasSibling"/> 
              <swrl:argument1 rdf:resource="#z" />
              <swrl:argument2 rdf:resource="#y" />
          </swrl:IndividualPropertyAtom>
       </ruleml:body>
       <ruleml:head rdf:parseType="Collection"> 
          <swrl:IndividualPropertyAtom> 
              <swrl:propertyPredicate rdf:resource="&eg;hasUncle"/> 
              <swrl:argument1 rdf:resource="#x" />
              <swrl:argument2 rdf:resource="#y" />
          </swrl:IndividualPropertyAtom>
       </ruleml:head> 
    </ruleml:Imp> 

or the following __SPARQL CONSTRUCT__ statement:

    PREFIX myont: <http://www.foo.org/myont.owl#>
    
    CONSTRUCT { ?x myont:hasUncle ?y }
    WHERE { ?x myont:hasParent ?z . 
            ?z myont:hasSibling ?y}

____ 
_[Back to Rules](../rules.html)_