Author: anuzzolese
Date: Mon Jan 16 11:31:11 2012
New Revision: 1231938
URL: http://svn.apache.org/viewvc?rev=1231938&view=rev
Log:
[STANBOL-453] Typo fix in Rules.
Modified:
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules.mdtext
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules/refactor.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=1231938&r1=1231937&r2=1231938&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 11:31:11 2012
@@ -12,7 +12,7 @@ Stanbol allows to provide rules to other
* __Jena Rules__ <a href="#jena">[2]</a>. It enables compatibility with
inference engines based on Jena inference and rule language. Internally, the
[Stanbol Reasoners component](reasoners.html) provides a reasoning profile
based on Jena inference;
* __SPARQL__ <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 [Refactor](rules/refactor.html)
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>.
-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 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
### Sub-Components
Modified:
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules/refactor.mdtext
URL:
http://svn.apache.org/viewvc/incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules/refactor.mdtext?rev=1231938&r1=1231937&r2=1231938&view=diff
==============================================================================
---
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules/refactor.mdtext
(original)
+++
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/rules/refactor.mdtext
Mon Jan 16 11:31:11 2012
@@ -13,7 +13,7 @@ how the IKS can benefit from the Refacto
aligned and used within the IKS.
<figure>
-
+
<figcaption>Figure 1: the refactor is used to
align external data to the ontologies used in the IKS.</figcaption>
</figure>
