svn commit: r1231963 - /incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext

[anuzzolese]

Author: anuzzolese
Date: Mon Jan 16 12:03:04 2012
New Revision: 1231963

URL: http://svn.apache.org/viewvc?rev=1231963&view=rev
Log:
[STANBOL-453] Typo fix in Rules.

Modified:
    incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext

Modified: incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext
URL: 
http://svn.apache.org/viewvc/incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext?rev=1231963&r1=1231962&r2=1231963&view=diff
==============================================================================
--- incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext 
(original)
+++ incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext Mon 
Jan 16 12:03:04 2012
@@ -15,13 +15,18 @@ Stanbol allows to provide rules to other
 The rule pattern used for representing rules is the _modus ponens_, e.g. * 
__if__ condition then __consequent__ *. For example the axiom _ "every person 
has a father" _ can be expressed with
 the modus ponens in the following way:
 
--> __if__ X is a person __then__ X has a father <-
+<center>
+__if__ X is a person __then__ X has a father
+</center>
 
 and by means of predicate calculus as:
 
--> &forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y) <-
+<center>
+&forall;x&exist;y:Person(x) ) &rArr; hasFather(x; y)
+</center>
 
 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.
 
 ### Sub-Components