Author: enridaga
Date: Tue Nov 8 11:16:57 2011
New Revision: 1199193
URL: http://svn.apache.org/viewvc?rev=1199193&view=rev
Log:
Some minor edit on the reasoners doc page.
Fixed links and some typos (STANBOL-373)
Modified:
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/reasoners.mdtext
Modified:
incubator/stanbol/site/trunk/content/stanbol/docs/trunk/reasoners.mdtext
URL:
http://svn.apache.org/viewvc/incubator/stanbol/site/trunk/content/stanbol/docs/trunk/reasoners.mdtext?rev=1199193&r1=1199192&r2=1199193&view=diff
==============================================================================
--- incubator/stanbol/site/trunk/content/stanbol/docs/trunk/reasoners.mdtext
(original)
+++ incubator/stanbol/site/trunk/content/stanbol/docs/trunk/reasoners.mdtext
Tue Nov 8 11:16:57 2011
@@ -4,7 +4,7 @@ The Stanbol Reasoners component provides
The module implements a common api for reasoning services, providing the
possibility to plug different reasoners and configurations in parallel.
-Actually the module includes OWLApi and Jena based abstract services, with
concrete implementations for Jena RDFS, OWL, OWLMini and HermiT reasoning
service.
+Actually the module includes <a href="http://owlapi.sourceforge.net/";
target="_blank">OWLApi</a> and <a href="http://jena.sourceforge.net/";
target="_blank">Jena</a> based abstract services, with concrete implementations
for Jena RDFS, OWL, OWLMini and HermiT reasoning service.
The Reasoners module expose a REST endpoint at the following location:
@@ -12,16 +12,16 @@ The Reasoners module expose a REST endpo
with the following preloaded services:
-* /rdfs, which is based on Jena RDFS reasoner and supports almost all of the
RDFS entailments.
-* /owl, a Jena reasoner configured to support OWL (with some limitations)
-* /owlmini, another Jena configuration that partially supports OWL
+* <tt>/rdfs</tt>, which is based on Jena RDFS reasoner and supports almost all
of the RDFS <a href="#ref1">[1]</a> entailments.
+* <tt>/owl</tt>, a Jena reasoner configured to support OWL <a
href="#ref2">[2]</a> (with some limitations, <a href="#ref4">[4]</a>)
+* <tt>/owlmini</tt>, another Jena configuration that partially supports OWL
(see <a href="#ref5">[5]</a>)
-In addition, it is also available a service which uses the HermiT reasoner to
exploit the full OWL2 specification.
+In addition, it is also available a service which uses the HermiT <a
href="#ref6">[6]</a> reasoner to exploit the full OWL 2 <a href="#ref3">[3]</a>
specification.
Each reasoner can be accessed with one of three tasks:
-* check: to perform a consistency check. This service returns HTTP Status 200
if data is consistent, 204 otherwise (at the current state of implementation
the service does not include an explanation about why the input is
inconsistent. This feature is in our �todo� list, by the way)
-* classify: to materialize all inferred rdf:type statements.
+* check: to perform a consistency check. This service returns HTTP Status
<tt>200</tt> if data is consistent, <tt>204</tt> otherwise (at the current
state of implementation the service does not include an explanation about why
the input is inconsistent. This feature is in our todo list, by the way)
+* classify: to materialize all inferred <tt>rdf:type</tt> statements.
* enrich: to materialize all inferred statements.
For example:
@@ -181,7 +181,7 @@ The following example shows the use of c
</pre>
<a
href="https://raw.github.com/enridaga/reasoners.examples/master/enridaga.reasoners.examples/owl/some-values-from.xml";
target="_blank">download it</a>
-We expect an OWL reasoner to state that John is an <tt>Employee</tt>. This
example does not work with <tt>/rdfs</tt> (it ignores the OWL semantics), and
does not work with <tt>/owlmini</tt>, because the Jena OWL(mini) reasoner omits
the forward entailments for <tt>owl:someValuesFrom restrictions</tt> (see [<a
href="#ref4">4</a>]). It works correctly if we use the service <tt>/owl</tt>.
+We expect an OWL reasoner to state that John is an <tt>Employee</tt>. This
example does not work with <tt>/rdfs</tt> (it ignores the OWL semantics), and
does not work with <tt>/owlmini</tt>, because the Jena OWL(mini) reasoner omits
the forward entailments for <tt>owl:someValuesFrom restrictions</tt> (see <a
href="#ref4">[4]</a>). It works correctly if we use the service <tt>/owl</tt>.
The <tt>/owl</tt> service support the most of the semantic of OWL. The HermiT
reasoner is based on <a href="http://owlapi.sourceforge.net/";>OWLApi</a> and is
an example of a DL reasoner. It fully covers OWL and OWL2, which introduces lot
of interesting features. Here is an example:
<pre style="overflow: auto">
@@ -266,13 +266,12 @@ The above differences depend on the sema
## Build and install
Run Stanbol, for example:
- % java -jar -Xmx1g
org.apache.stanbol.launchers.full-0.9.0-incubating-SNAPSHOT.jar
-
+ $ java -jar -Xmx1g
org.apache.stanbol.launchers.full-0.9.0-incubating-SNAPSHOT.jar
You must have the Ontonet and Rules modules already installed (they are if you
have followed the above example).
-Move to the /reasoners directory, then run
+Move to the <tt>/reasoners</tt> directory, then run
- % mvn install -PinstallBundle -Dsling.url=<the path to your running Felix
administration console>
+ $ mvn install -PinstallBundle -Dsling.url=<the path to your running
Felix administration console>
for example
@@ -286,6 +285,15 @@ To enable HermiT as OWL2 reasoner you ca
$ cd stanbol-hermit
$ mvn install -PinstallBundle
-Dsling.url=http://localhost:8080/system/console // change this to the path
related to your Stanbol instance
+## References:
+
+* [1] <a name="ref1" href="http://www.w3.org/TR/rdf-schema/";
target="_blank">RDFS</a></li>
+* [2] <a name="ref2" href="http://www.w3.org/TR/owl-features/";
target="_blank">OWL</a></li>
+* [3] <a name="ref3" href="http://www.w3.org/TR/owl2-overview/";
target="_blank">OWL 2</a></li>
+* [4] <a name="ref4" href="http://jena.sourceforge.net/inference/";
target="_blank">Jena inference support</a></li>
+* [5] <a name="ref5" href="http://jena.sourceforge.net/inference/#OWLnotes";
target="_blank">Jena OWL notes</a></li>
+* [6] <a name="ref6" href="http://hermit-reasoner.com/";
target="_blank">HermiT</a>
+
____
