svn commit: r798290 - /websites/staging/stanbol/trunk/content/stanbol/docs/trunk/reasoners.html

[buildbot]

Author: buildbot
Date: Tue Nov  8 12:22:36 2011
New Revision: 798290

Log:
Staging update by buildbot

Modified:
    websites/staging/stanbol/trunk/content/stanbol/docs/trunk/reasoners.html

Modified: 
websites/staging/stanbol/trunk/content/stanbol/docs/trunk/reasoners.html
==============================================================================
--- websites/staging/stanbol/trunk/content/stanbol/docs/trunk/reasoners.html 
(original)
+++ websites/staging/stanbol/trunk/content/stanbol/docs/trunk/reasoners.html 
Tue Nov  8 12:22:36 2011
@@ -273,15 +273,12 @@ The <tt>/owlmini</tt> implements the OWL
     &lt;firstname&gt;Enrico&lt;/firstname&gt;
     &lt;familyname&gt;Daga&lt;/familyname&gt;
     &lt;email&gt;enrid...@example.org&lt;/email&gt;
-    &lt;worksAt rdf:resource="#Catania" /&gt;</p>
-<div class="codehilite"><pre><span class="o">&amp;</span><span 
class="ow">lt</span><span class="p">;</span><span class="o">!--</span> <span 
class="n">If</span> <span class="n">you</span> <span class="n">uncomment</span> 
<span class="n">the</span> <span class="n">two</span> <span 
class="n">statements</span> <span class="n">below</span> <span 
class="n">you</span> <span class="n">will</span> <span class="n">obtain</span> 
<span class="n">an</span> <span class="n">inconsistency</span><span 
class="p">,</span> 
-    <span class="n">because</span> <span class="c1">#Moricone is not an 
allowed place for developers --&amp;gt;</span>
-<span class="o">&amp;</span><span class="ow">lt</span><span 
class="p">;</span><span class="o">!--</span> <span class="o">&amp;</span><span 
class="ow">lt</span><span class="p">;</span><span class="n">worksAt</span> 
<span class="n">rdf:resource</span><span class="o">=</span><span 
class="s">&quot;#Moricone&quot;</span> <span class="o">/&amp;</span><span 
class="ow">gt</span><span class="p">;</span> <span class="o">&amp;</span><span 
class="ow">lt</span><span class="p">;</span><span class="n">rdf:type</span> 
<span class="n">rdf:resource</span><span class="o">=</span><span 
class="s">&quot;#Employee&quot;</span> 
-    <span class="o">/&amp;</span><span class="ow">gt</span><span 
class="p">;</span> <span class="o">--&amp;</span><span 
class="ow">gt</span><span class="p">;</span>
-</pre></div>
-
-
-<p>&lt;/Person&gt;
+    &lt;worksAt rdf:resource="#Catania" /&gt;
+    &lt;!-- If you uncomment the two statements below you will obtain an 
inconsistency, 
+        because #Moricone is not an allowed place for developers --&gt;
+    &lt;!-- &lt;worksAt rdf:resource="#Moricone" /&gt; &lt;rdf:type 
rdf:resource="#Employee" 
+        /&gt; --&gt;
+&lt;/Person&gt;
 </pre>
 <a 
href="https://raw.github.com/enridaga/reasoners.examples/master/enridaga.reasoners.examples/owl2/class-restrictions-owl2.xml";
 target="_blank">download it</a></p>
 <p>The above differences depend on the semantic supported by the specific 
reasoner and from the implementation, which limit the power of the system in 
favour of a better efficiency (is the case of the <tt>/owlmini</tt> 
implementation of Jena, more efficient then the respective <tt>/owl</tt>). If 
you need to work with RDFS semantic, and don't need OWL for your inferences, 
just use the RDFS one.</p>