Author: buildbot
Date: Mon Jan 16 12:04:31 2012
New Revision: 802733
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:04:31 2012
@@ -66,7 +66,7 @@
<li><strong>Jena Rules</strong> <a href="#jena">[2]</a>. It enables
compatibility with inference engines based on Jena inference and rule language.
Internally, the <a href="reasoners.html">Stanbol Reasoners component</a>
provides a reasoning profile based on Jena inference;</li>
<li><strong>SPARQL</strong> <a href="#sparql">[3]</a>. SPARQL is a W3C
recommendation as a query language for RDF. A natural way to represent
inference transformation rules in SPARQL is by using the CONSTRUCT query form.
Stanbl Rules can be converted to SPARQL CONSTRUCTs and executed by any SPARQL
engine. Stanbol provides a particular SPARQL engine, namely the <a
href="rules/refactor.html">Refactor</a> which is supposed to perform
transformation of RDF graphs based on transformation rules defined in Stanbol.
The latter allows, for instance, the vocabulary harmonization of RDF graphs
retrieved from different sources in Linked Data <a
href="#linkeddata">[4]</a>.</li>
</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
+<p>The rule pattern used for representing rules is the <em>modus ponens</em>,
e.g. * <strong><em>if</em></strong> condition <strong><em>then</em></strong>
consequent *. For example the axiom _ "every person has a father" _ can be
expressed with
the modus ponens in the following way:</p>
<p><center>
<strong>if</strong> X is a person <strong>then</strong> X has a father
