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

[buildbot]

Author: buildbot
Date: Mon Jan 16 12:03:09 2012
New Revision: 802732

Log:
Staging update by buildbot for stanbol

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

Modified: websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules.html
==============================================================================
--- websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules.html 
(original)
+++ websites/staging/stanbol/trunk/content/stanbol/docs/trunk/rules.html Mon 
Jan 16 12:03:09 2012
@@ -68,11 +68,15 @@
 </ul>
 <p>The rule pattern used for representing rules is the <em>modus ponens</em>, 
e.g. * <strong>if</strong> condition then <strong>consequent</strong> *. For 
example the axiom _ "every person has a father" _ can be expressed with
 the modus ponens in the following way:</p>
-<p>-&gt; <strong>if</strong> X is a person <strong>then</strong> X has a 
father &lt;-</p>
+<p><center>
+<strong>if</strong> X is a person <strong>then</strong> X has a father
+</center></p>
 <p>and by means of predicate calculus as:</p>
-<p>-&gt; &forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y) &lt;-</p>
-<p>where Person and hasF ather are two predicates.
-The Stanbol Rules component allows to add a layer which enables Stanbol to 
express business logics by means of axioms, i.e., rules. These axioms can be 
organized into a container called Recipe, which groups and identifies set of 
rules which share the same business logic and interprets them as a whole.</p>
+<p><center>
+&forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y)
+</center></p>
+<p>where Person and hasF ather are two predicates.</p>
+<p>The Stanbol Rules component allows to add a layer which enables Stanbol to 
express business logics by means of axioms, i.e., rules. These axioms can be 
organized into a container called Recipe, which groups and identifies set of 
rules which share the same business logic and interprets them as a whole.</p>
 <h3 id="sub-components">Sub-Components</h3>
 <ul>
 <li><a href="rules/language.html">Rule language</a>     - specifies the syntax 
used in Stanbol in order to represent rules. Stanbol rules can be as SWRL, Jema 
rules or SPARQL CONSTRUCT;</li>