svn commit: r796862 - /websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules/language.html

[buildbot]

Author: buildbot
Date: Mon Oct 10 17:01:02 2011
New Revision: 796862

Log:
Staging update by buildbot

Modified:
    
websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules/language.html

Modified: 
websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules/language.html
==============================================================================
--- 
websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules/language.html 
(original)
+++ 
websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules/language.html 
Mon Oct 10 17:01:02 2011
@@ -47,7 +47,7 @@
   <div id="content">
     <h1 class="title">Stanbol Rule Language</h1>
     <h2 id="example">Example</h2>
-<p>The following is a rule for inferring the relation <em>hasUncle</em> 
between individuals <em>x_ and _y</em> if <em>z_ is a parent of _x</em> and 
<em>z_ is brother of _y</em>.</p>
+<p>The following is a rule for inferring the relation <em>hasUncle</em> 
between individuals _x and _y if _z is a parent of _x and _z is brother of 
_y.</p>
 <p>In Stanbol Rule syntax it is:</p>
 <div class="codehilite"><pre><span class="n">uncleRule</span><span 
class="p">[</span><span class="n">has</span><span class="p">(</span><span 
class="sr">&lt;http://www.foo.org/myont.owl#hasParent&gt;</span><span 
class="p">,</span> <span class="p">?</span><span class="n">x</span><span 
class="p">,</span> <span class="p">?</span><span class="n">z</span><span 
class="p">)</span> <span class="o">.</span>
           <span class="n">has</span><span class="p">(</span><span 
class="sr">&lt;http://www.foo.org/myont.owl#hasSibling&gt;</span><span 
class="p">,</span> <span class="p">?</span><span class="n">z</span><span 
class="p">,</span> <span class="p">?</span><span class="n">y</span><span 
class="p">)</span>
@@ -58,30 +58,33 @@
 
 
 <p>The rule above becomes the following SWRL rule:</p>
-<p><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> </p>
+<div class="codehilite"><pre><span class="nt">&lt;swrl:Variable</span> <span 
class="na">rdf:ID=</span><span class="s">&quot;x&quot;</span><span 
class="nt">/&gt;</span>
+<span class="nt">&lt;swrl:Variable</span> <span class="na">rdf:ID=</span><span 
class="s">&quot;z&quot;</span><span class="nt">/&gt;</span>
+<span class="nt">&lt;swrl:Variable</span> <span class="na">rdf:ID=</span><span 
class="s">&quot;y&quot;</span><span class="nt">/&gt;</span>
+<span class="nt">&lt;ruleml:Imp&gt;</span> 
+   <span class="nt">&lt;ruleml:body</span> <span 
class="na">rdf:parseType=</span><span 
class="s">&quot;Collection&quot;</span><span class="nt">&gt;</span>
+      <span class="nt">&lt;swrl:IndividualPropertyAtom&gt;</span> 
+          <span class="nt">&lt;swrl:propertyPredicate</span> <span 
class="na">rdf:resource=</span><span 
class="s">&quot;&amp;eg;hasParent&quot;</span><span class="nt">/&gt;</span> 
+          <span class="nt">&lt;swrl:argument1</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#x&quot;</span> <span 
class="nt">/&gt;</span>
+          <span class="nt">&lt;swrl:argument2</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#z&quot;</span> <span 
class="nt">/&gt;</span>
+      <span class="nt">&lt;/swrl:IndividualPropertyAtom&gt;</span>
+      <span class="nt">&lt;swrl:IndividualPropertyAtom&gt;</span> 
+          <span class="nt">&lt;swrl:propertyPredicate</span> <span 
class="na">rdf:resource=</span><span 
class="s">&quot;&amp;eg;hasSibling&quot;</span><span class="nt">/&gt;</span> 
+          <span class="nt">&lt;swrl:argument1</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#z&quot;</span> <span 
class="nt">/&gt;</span>
+          <span class="nt">&lt;swrl:argument2</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#y&quot;</span> <span 
class="nt">/&gt;</span>
+      <span class="nt">&lt;/swrl:IndividualPropertyAtom&gt;</span>
+   <span class="nt">&lt;/ruleml:body&gt;</span>
+   <span class="nt">&lt;ruleml:head</span> <span 
class="na">rdf:parseType=</span><span 
class="s">&quot;Collection&quot;</span><span class="nt">&gt;</span> 
+      <span class="nt">&lt;swrl:IndividualPropertyAtom&gt;</span> 
+          <span class="nt">&lt;swrl:propertyPredicate</span> <span 
class="na">rdf:resource=</span><span 
class="s">&quot;&amp;eg;hasUncle&quot;</span><span class="nt">/&gt;</span> 
+          <span class="nt">&lt;swrl:argument1</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#x&quot;</span> <span 
class="nt">/&gt;</span>
+          <span class="nt">&lt;swrl:argument2</span> <span 
class="na">rdf:resource=</span><span class="s">&quot;#y&quot;</span> <span 
class="nt">/&gt;</span>
+      <span class="nt">&lt;/swrl:IndividualPropertyAtom&gt;</span>
+   <span class="nt">&lt;/ruleml:head&gt;</span> 
+<span class="nt">&lt;/ruleml:Imp&gt;</span>
+</pre></div>
+
+
 <p>or the following SPARQL query:</p>
 <div class="codehilite"><pre><span class="n">PREFIX</span> <span 
class="n">myont:</span> <span 
class="sr">&lt;http://www.foo.org/myont.owl#&gt;</span>