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

[buildbot]

Author: buildbot
Date: Mon Jan 16 12:06:11 2012
New Revision: 802735

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:06:11 2012
@@ -73,7 +73,7 @@ the modus ponens in the following way:</
 </center></p>
 <p>and by means of predicate calculus as:</p>
 <p><center>
-&forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y)
+&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>