You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@jena.apache.org by bu...@apache.org on 2013/06/20 12:18:36 UTC

svn commit: r866584 [16/21] - in /websites/staging/jena/trunk/content: ./ documentation/assembler/ documentation/inference/ documentation/io/ documentation/javadoc/arq/ documentation/javadoc/fuseki/ documentation/javadoc/jena/ documentation/javadoc/lar...

Modified: websites/staging/jena/trunk/content/documentation/tools/eyeball-manual.html
==============================================================================
--- websites/staging/jena/trunk/content/documentation/tools/eyeball-manual.html (original)
+++ websites/staging/jena/trunk/content/documentation/tools/eyeball-manual.html Thu Jun 20 10:18:34 2013
@@ -215,8 +215,8 @@ classpath. (Note that Eyeball comes with
 <em>mirror</em> should be in the current directory or also on your
 classpath.</p>
 <p>Run the Eyeball command:</p>
-<div class="codehilite"><pre><span class="n">java</span> <span class="p">[</span><span class="n">java</span> <span class="n">options</span> <span class="n">eg</span> <span class="n">classpath</span> <span class="ow">and</span> <span class="n">proxy</span><span class="p">]</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span>
-    <span class="p">(</span><span class="o">-</span><span class="n">check</span> <span class="o">|</span> <span class="o">-</span><span class="n">sign</span> <span class="o">|</span> <span class="o">-</span><span class="nb">accept</span><span class="p">)</span> <span class="n">specialURL</span><span class="o">+</span>
+<div class="codehilite"><pre><span class="n">java</span> <span class="p">[</span><span class="n">java</span> <span class="n">options</span> <span class="n">eg</span> <span class="n">classpath</span> <span class="n">and</span> <span class="n">proxy</span><span class="p">]</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span>
+    <span class="p">(</span><span class="o">-</span><span class="n">check</span> <span class="o">|</span> <span class="o">-</span><span class="nb">sign</span> <span class="o">|</span> <span class="o">-</span><span class="n">accept</span><span class="p">)</span> <span class="n">specialURL</span><span class="o">+</span>
     <span class="p">[</span><span class="o">-</span><span class="n">assume</span> <span class="n">Reference</span><span class="o">*</span><span class="p">]</span>
     <span class="p">[</span><span class="o">-</span><span class="n">config</span> <span class="n">fileOrURL</span><span class="o">*</span><span class="p">]</span>
     <span class="p">[</span><span class="o">-</span><span class="n">set</span> <span class="n">Setting</span><span class="o">*</span><span class="p">]</span>
@@ -239,17 +239,17 @@ file manager to possibly map those names
 <a href="../notes/file-manager.html">file manager howto</a>
 for details on how to configure the file manager.</p>
 <h3 id="examples-of-command-line-use">Examples of command-line use</h3>
-<div class="codehilite"><pre><span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">version</span>
+<div class="codehilite"><pre><span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">version</span>
 
-<span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myDataFile</span><span class="o">.</span><span class="n">rdf</span>
+<span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myDataFile</span><span class="p">.</span><span class="n">rdf</span>
 
-<span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">assume</span> <span class="n">dc</span> <span class="o">-</span><span class="n">check</span> <span class="n">http:</span><span class="sr">//</span><span class="n">example</span><span class="o">.</span><span class="n">com</span><span class="o">/</span><span class="n">nosuch</span><span class="o">.</span><span class="n">n3</span>
+<span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">assume</span> <span class="n">dc</span> <span class="o">-</span><span class="n">check</span> <span class="n">http</span><span class="p">:</span><span class="o">//</span><span class="n">example</span><span class="p">.</span><span class="n">com</span><span class="o">/</span><span class="n">nosuch</span><span class="p">.</span><span class="n">n3</span>
 
-<span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">assume</span> <span class="n">mySchema</span><span class="o">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">check</span> <span class="n">myData</span><span class="o">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">render</span> <span class="n">xml</span>
+<span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">assume</span> <span class="n">mySchema</span><span class="p">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">check</span> <span class="n">myData</span><span class="p">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">render</span> <span class="n">xml</span>
 
-<span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myData</span><span class="o">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">include</span> <span class="n">consistent</span><span class="o">-</span><span class="n">type</span>
+<span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myData</span><span class="p">.</span><span class="n">rdf</span> <span class="o">-</span><span class="n">include</span> <span class="n">consistent</span><span class="o">-</span><span class="n">type</span>
 
-<span class="n">java</span> <span class="n">jena</span><span class="o">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myConfig</span><span class="o">.</span><span class="n">ttl</span> <span class="o">-</span><span class="n">sign</span> <span class="o">&gt;</span><span class="n">signedConfig</span><span class="o">.</span><span class="n">ttl</span>
+<span class="n">java</span> <span class="n">jena</span><span class="p">.</span><span class="n">eyeball</span> <span class="o">-</span><span class="n">check</span> <span class="n">myConfig</span><span class="p">.</span><span class="n">ttl</span> <span class="o">-</span><span class="nb">sign</span> <span class="o">&gt;</span><span class="n">signedConfig</span><span class="p">.</span><span class="n">ttl</span>
 </pre></div>
 
 
@@ -259,9 +259,9 @@ for details on how to configure the file
 case, these are plain filenames, <code>file:</code> URLs, or <code>http:</code> URLs. At
 least one <em>specialURL</em> must be specified. Each specified model is
 checked independently of the others.</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">myModel</span><span class="o">.</span><span class="n">ttl</span>
-<span class="o">-</span><span class="n">check</span> <span class="n">file:</span><span class="sr">///c:/</span><span class="n">rdf</span><span class="o">/</span><span class="n">pizza</span><span class="o">.</span><span class="n">owl</span>
-<span class="o">-</span><span class="n">check</span> <span class="n">http:</span><span class="sr">//</span><span class="n">example</span><span class="o">.</span><span class="n">com</span><span class="sr">/rdf/</span><span class="n">beer</span><span class="o">.</span><span class="n">rdf</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">myModel</span><span class="p">.</span><span class="n">ttl</span>
+<span class="o">-</span><span class="n">check</span> <span class="n">file</span><span class="p">:</span><span class="o">///</span><span class="n">c</span><span class="p">:</span><span class="o">/</span><span class="n">rdf</span><span class="o">/</span><span class="n">pizza</span><span class="p">.</span><span class="n">owl</span>
+<span class="o">-</span><span class="n">check</span> <span class="n">http</span><span class="p">:</span><span class="o">//</span><span class="n">example</span><span class="p">.</span><span class="n">com</span><span class="o">/</span><span class="n">rdf</span><span class="o">/</span><span class="n">beer</span><span class="p">.</span><span class="n">rdf</span>
 </pre></div>
 
 
@@ -270,8 +270,8 @@ checked model is the model <em>base</em>
 specification <code>OntModelSpec.&lt;i&gt;NAME&lt;/i&gt;</code>; see
 <a href="../ontology/index.html">the Jena ontology documentation</a>
 for the available names.</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">ont:OWL_MEM_RDFS_INF:myModel</span><span class="o">.</span><span class="n">ttl</span>
-<span class="o">-</span><span class="n">check</span> <span class="n">ont:OWL_DL_MEM_RULE_INF:http:</span><span class="sr">//</span><span class="n">example</span><span class="o">.</span><span class="n">com</span><span class="sr">/rdf/</span><span class="n">beer</span><span class="o">.</span><span class="n">rdf</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">ont</span><span class="p">:</span><span class="n">OWL_MEM_RDFS_INF</span><span class="p">:</span><span class="n">myModel</span><span class="p">.</span><span class="n">ttl</span>
+<span class="o">-</span><span class="n">check</span> <span class="n">ont</span><span class="p">:</span><span class="n">OWL_DL_MEM_RULE_INF</span><span class="p">:</span><span class="n">http</span><span class="p">:</span><span class="o">//</span><span class="n">example</span><span class="p">.</span><span class="n">com</span><span class="o">/</span><span class="n">rdf</span><span class="o">/</span><span class="n">beer</span><span class="p">.</span><span class="n">rdf</span>
 </pre></div>
 
 
@@ -280,8 +280,8 @@ that described by the resource <em>R</em
 <a href="../assembler/index.html">assembler</a>
 description file <em>AF</em>. <em>R</em> is prefix-expanded using the prefixes in
 <em>AF</em>.</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">ja:my:root</span><span class="nv">@my</span><span class="o">-</span><span class="n">assembly</span><span class="o">.</span><span class="n">ttl</span>
-<span class="o">-</span><span class="n">check</span> <span class="n">ont:OWL_MEM_RDFS_INF:my:root</span><span class="nv">@my</span><span class="o">-</span><span class="n">assembly</span><span class="o">.</span><span class="n">ttl</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">ja</span><span class="p">:</span><span class="n">my</span><span class="p">:</span><span class="n">root</span><span class="p">@</span><span class="n">my</span><span class="o">-</span><span class="n">assembly</span><span class="p">.</span><span class="n">ttl</span>
+<span class="o">-</span><span class="n">check</span> <span class="n">ont</span><span class="p">:</span><span class="n">OWL_MEM_RDFS_INF</span><span class="p">:</span><span class="n">my</span><span class="p">:</span><span class="n">root</span><span class="p">@</span><span class="n">my</span><span class="o">-</span><span class="n">assembly</span><span class="p">.</span><span class="n">ttl</span>
 </pre></div>
 
 
@@ -290,7 +290,7 @@ the checked model is the one called <em>
 connection <em>jdbc:DB:head</em>. (The database user and password must be
 specified independently using the <em>jena.db.user</em> and
 <em>jena.db.password</em> system properties.)</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">jdbc:mysql:</span><span class="sr">//</span><span class="n">localhost</span><span class="o">/</span><span class="n">test:example</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">check</span> <span class="n">jdbc</span><span class="p">:</span><span class="n">mysql</span><span class="p">:</span><span class="o">//</span><span class="n">localhost</span><span class="o">/</span><span class="n">test</span><span class="p">:</span><span class="n">example</span>
 </pre></div>
 
 
@@ -303,8 +303,8 @@ option is omitted, the default configura
 <em>etc/eyeball-config.n3</em> is loaded. See
 <a href="#inside-configuration">inside the Eyeball configuration file</a> for
 details of the configuration file.</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">config</span> <span class="k">my</span><span class="o">-</span><span class="n">hacked</span><span class="o">-</span><span class="n">config</span><span class="o">-</span><span class="n">file</span><span class="o">.</span><span class="n">n3</span>
-<span class="o">-</span><span class="n">config</span> <span class="n">etc</span><span class="o">/</span><span class="n">eyeball</span><span class="o">-</span><span class="n">config</span><span class="o">.</span><span class="n">n3</span> <span class="n">extras</span><span class="o">.</span><span class="n">ttl</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">config</span> <span class="n">my</span><span class="o">-</span><span class="n">hacked</span><span class="o">-</span><span class="n">config</span><span class="o">-</span><span class="n">file</span><span class="p">.</span><span class="n">n3</span>
+<span class="o">-</span><span class="n">config</span> <span class="n">etc</span><span class="o">/</span><span class="n">eyeball</span><span class="o">-</span><span class="n">config</span><span class="p">.</span><span class="n">n3</span> <span class="n">extras</span><span class="p">.</span><span class="n">ttl</span>
 </pre></div>
 
 
@@ -312,9 +312,9 @@ details of the configuration file.</p>
 Eyeball configuration. If this option is omitted, <em>eye:eyeball</em> is
 used by default. <em>rootURI</em> is prefix-expanded using the prefixes in
 the configuration file.</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">root</span> <span class="k">my</span><span class="p">:</span><span class="n">root</span>
-<span class="o">-</span><span class="n">root</span> <span class="k">my</span><span class="p">:</span><span class="n">sparse</span><span class="o">-</span><span class="n">config</span>
-<span class="o">-</span><span class="n">root</span> <span class="n">urn:x</span><span class="o">-</span><span class="n">hp:eyeball</span><span class="o">-</span><span class="n">roots:special</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">root</span> <span class="n">my</span><span class="p">:</span><span class="n">root</span>
+<span class="o">-</span><span class="n">root</span> <span class="n">my</span><span class="p">:</span><span class="n">sparse</span><span class="o">-</span><span class="n">config</span>
+<span class="o">-</span><span class="n">root</span> <span class="n">urn</span><span class="p">:</span><span class="n">x</span><span class="o">-</span><span class="n">hp</span><span class="p">:</span><span class="n">eyeball</span><span class="o">-</span><span class="n">roots</span><span class="p">:</span><span class="n">special</span>
 </pre></div>
 
 
@@ -349,7 +349,7 @@ into RDF nodes <code>S'</code>, <code>P'
 </ul>
 <p>For example, to enable the URI inspectors non-default reporting of
 URIs with empty local names, use:</p>
-<div class="codehilite"><pre><span class="o">-</span><span class="n">set</span> <span class="n">URIInspector</span><span class="o">.</span><span class="n">reportEmptyLocalNames</span><span class="o">=</span><span class="s">&quot;&#39;true&#39;&quot;</span>
+<div class="codehilite"><pre><span class="o">-</span><span class="n">set</span> <span class="n">URIInspector</span><span class="p">.</span><span class="n">reportEmptyLocalNames</span><span class="p">=</span>&quot;<span class="s">&#39;true&#39;</span>&quot;
 </pre></div>
 
 
@@ -381,7 +381,7 @@ refer to the OWL schema, <em>dc</em> to 
 to the Dublin Core terms schema, and <em>dc-all</em> to both.</p>
 <div class="codehilite"><pre><span class="o">-</span><span class="n">assume</span> <span class="n">owl</span>
 <span class="o">-</span><span class="n">assume</span> <span class="n">owl</span> <span class="n">dc</span><span class="o">-</span><span class="n">all</span>
-<span class="o">-</span><span class="n">assume</span> <span class="n">owl</span> <span class="k">my</span><span class="o">-</span><span class="n">ontology</span><span class="o">.</span><span class="n">owl</span>
+<span class="o">-</span><span class="n">assume</span> <span class="n">owl</span> <span class="n">my</span><span class="o">-</span><span class="n">ontology</span><span class="p">.</span><span class="n">owl</span>
 </pre></div>
 
 
@@ -433,9 +433,9 @@ associates renderer names with their cla
 you are behind a firewall, you will need specify the proxy to Java
 using system properties; one way to do this is by using the Java
 command line options:</p>
-<div class="codehilite"><pre>    <span class="o">-</span><span class="n">DproxySet</span><span class="o">=</span><span class="n">true</span>
-    <span class="o">-</span><span class="n">DproxyHost</span><span class="o">=</span><span class="n">theProxyHostName</span>
-    <span class="o">-</span><span class="n">DproxyPort</span><span class="o">=</span><span class="n">theProxyPortNumber</span>
+<div class="codehilite"><pre>    <span class="o">-</span><span class="n">DproxySet</span><span class="p">=</span><span class="n">true</span>
+    <span class="o">-</span><span class="n">DproxyHost</span><span class="p">=</span><span class="n">theProxyHostName</span>
+    <span class="o">-</span><span class="n">DproxyPort</span><span class="p">=</span><span class="n">theProxyPortNumber</span>
 </pre></div>
 
 
@@ -524,11 +524,11 @@ takes no account of <code>owl:sameAs</co
 </ul>
 <p>The <em>typed list idiom</em> is boilerplate OWL for defining a type which
 is List-of-T for some type T. It takes the form:</p>
-<div class="codehilite"><pre><span class="err">my:EList</span> <span class="err">a</span> <span class="err">owl:Class</span>
-    <span class="err">;</span> <span class="err">rdfs:subClassOf</span> <span class="err">rdf:List</span>
-    <span class="err">;</span> <span class="err">rdfs:subClassOf</span> <span class="err">[owl:onProperty</span> <span class="err">rdf:first;</span> <span class="err">owl:allValuesFrom</span> <span class="err">my:Element]</span>
-    <span class="err">;</span> <span class="err">rdfs:subClassOf</span> <span class="err">[owl:onProperty</span> <span class="err">rdf:rest;</span> <span class="err">owl:allValuesFrom</span> <span class="err">my:EList]</span>
-    <span class="err">.</span>
+<div class="codehilite"><pre><span class="n">my</span><span class="o">:</span><span class="n">EList</span> <span class="n">a</span> <span class="n">owl</span><span class="o">:</span><span class="n">Class</span>
+    <span class="o">;</span> <span class="n">rdfs</span><span class="o">:</span><span class="n">subClassOf</span> <span class="n">rdf</span><span class="o">:</span><span class="n">List</span>
+    <span class="o">;</span> <span class="n">rdfs</span><span class="o">:</span><span class="n">subClassOf</span> <span class="o">[</span><span class="n">owl</span><span class="o">:</span><span class="n">onProperty</span> <span class="n">rdf</span><span class="o">:</span><span class="n">first</span><span class="o">;</span> <span class="n">owl</span><span class="o">:</span><span class="n">allValuesFrom</span> <span class="n">my</span><span class="o">:</span><span class="n">Element</span><span class="o">]</span>
+    <span class="o">;</span> <span class="n">rdfs</span><span class="o">:</span><span class="n">subClassOf</span> <span class="o">[</span><span class="n">owl</span><span class="o">:</span><span class="n">onProperty</span> <span class="n">rdf</span><span class="o">:</span><span class="n">rest</span><span class="o">;</span> <span class="n">owl</span><span class="o">:</span><span class="n">allValuesFrom</span> <span class="n">my</span><span class="o">:</span><span class="n">EList</span><span class="o">]</span>
+    <span class="o">.</span>
 </pre></div>
 
 
@@ -550,21 +550,21 @@ complete report structure.</p>
 identifies the problem; the others are qualifications supplying
 additional detail.</p>
 <h3 id="propertyinspector-predicate-not-declared">PropertyInspector: predicate not declared</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:unknownPredicate</span> <span class="s">&quot;*URIString*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">unknownPredicate</span> &quot;<span class="o">*</span><span class="n">URIString</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
 <p>The predicate with the given URI is not defined in any of the
 <em>-assumed</em> schemas.</p>
 <h3 id="classinspector-class-not-declared">ClassInspector: class not declared</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:unknownClass</span> <span class="s">&quot;*URIString*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">unknownClass</span> &quot;<span class="o">*</span><span class="n">URIString</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
 <p>The resource with the given URI is used as a Class, but not defined
 in any of the <em>-assumed</em> schemas.</p>
 <h3 id="uriinspector-bad-uri">URIInspector: bad URI</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:badURI</span> <span class="s">&quot;*URIString*&quot;</span><span class="p">;</span> <span class="n">eye:forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">badURI</span> &quot;<span class="o">*</span><span class="n">URIString</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*</span><span class="p">.</span>
 </pre></div>
 
 
@@ -630,28 +630,28 @@ string identifying the reason.</p>
 </tbody>
 </table>
 <h3 id="literalinspector-illegal-language-code">LiteralInspector: illegal language code</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:badLanguage</span> <span class="s">&quot;*badCode*&quot;</span><span class="p">;</span> <span class="n">eye:onLiteral</span> <span class="s">&quot;*spelling*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">badLanguage</span> &quot;<span class="o">*</span><span class="n">badCode</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onLiteral</span> &quot;<span class="o">*</span><span class="n">spelling</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
 <p>A literal with the lexical form <em>spelling</em> has the illegal language
 code <em>badCode</em>.</p>
 <h3 id="literalinspector-bad-datatype-uri">LiteralInspector: bad datatype URI</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:badDatatypeURI</span> <span class="s">&quot;*badURI*&quot;</span><span class="p">;</span> <span class="n">eye:onLiteral</span> <span class="s">&quot;*spelling*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">badDatatypeURI</span> &quot;<span class="o">*</span><span class="n">badURI</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onLiteral</span> &quot;<span class="o">*</span><span class="n">spelling</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
 <p>A literal with the lexical form <em>spelling</em> has the illegal datatype
 URI <em>badURI</em>.</p>
 <h3 id="literalinspector-bad-lexical-form">LiteralInspector: bad lexical form</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:badLexicalForm</span> <span class="s">&quot;*spelling*&quot;</span><span class="p">;</span> <span class="n">eye:forDatatype</span> <span class="s">&quot;*dtURI*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">badLexicalForm</span> &quot;<span class="o">*</span><span class="n">spelling</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">forDatatype</span> &quot;<span class="o">*</span><span class="n">dtURI</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
 <p>A literal with the datatype URI <em>dtURI</em> has the lexical form
 <em>spelling</em>, which isn't legal for that datatype.</p>
 <h3 id="prefixinspector-bad-namespace-uri">PrefixInspector: bad namespace URI</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:badNamespaceURI</span> <span class="s">&quot;*URIString*&quot;</span> <span class="p">;</span> <span class="n">eye:onPrefix</span> <span class="s">&quot;*prefix*&quot;</span> <span class="p">;</span> <span class="n">eye:forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">badNamespaceURI</span> &quot;<span class="o">*</span><span class="n">URIString</span><span class="o">*</span>&quot; <span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onPrefix</span> &quot;<span class="o">*</span><span class="n">prefix</span><span class="o">*</span>&quot; <span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*</span><span class="p">.</span>
 </pre></div>
 
 
@@ -659,7 +659,7 @@ URI <em>badURI</em>.</p>
 suspicious for the given <em>Reason</em> (see the URIInspector reports for
 details of the possible reasons).</p>
 <h3 id="prefixinspector-jena-prefix-found">PrefixInspector: Jena prefix found</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:jenaPrefixFound</span> <span class="s">&quot;*j.Digits*&quot;</span><span class="p">;</span> <span class="n">eye:forNamespace</span> <span class="s">&quot;*URIString*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">jenaPrefixFound</span> &quot;<span class="o">*</span><span class="nb">j</span><span class="p">.</span><span class="n">Digits</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">forNamespace</span> &quot;<span class="o">*</span><span class="n">URIString</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
@@ -673,14 +673,14 @@ prefix.</p>
 <p>There are multiple prefix declarations for <em>NameSpace</em>, namely,
 <em>prefix<sub>1</sub></em> etc.</p>
 <h3 id="vocabularyinspector-not-from-schema">VocabularyInspector: not from schema</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:notFromSchema</span> <span class="s">&quot;*NameSpace*&quot;</span><span class="p">;</span> <span class="n">eye:onResource</span> <span class="o">*</span><span class="n">Resource</span><span class="o">*.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">notFromSchema</span> &quot;<span class="o">*</span><span class="n">NameSpace</span><span class="o">*</span>&quot;<span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onResource</span> <span class="o">*</span><span class="n">Resource</span><span class="o">*</span><span class="p">.</span>
 </pre></div>
 
 
 <p>The <em>Resource</em> has a URI in the <em>NameSpace</em>, but isn't declared in
 the schema associated with that <em>NameSpace</em>.</p>
 <h3 id="owlsyntaxinspector-suspicious-restriction">OwlSyntaxInspector: suspicious restriction</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:suspiciousRestriction</span> <span class="o">*</span><span class="n">R</span><span class="o">*</span><span class="p">;</span> <span class="n">eye:forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*...</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">suspiciousRestriction</span> <span class="o">*</span><span class="n">R</span><span class="o">*</span><span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">forReason</span> <span class="o">*</span><span class="n">Reason</span><span class="o">*</span><span class="p">...</span>
 </pre></div>
 
 
@@ -702,7 +702,7 @@ the schema associated with that <em>Name
 properties, and (b) identifying its named equivalent classes and
 subclasses.</p>
 <h3 id="sparqldriveninspector-require-failed">SparqlDrivenInspector: require failed</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:sparqlRequireFailed</span> <span class="s">&quot;*message*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">sparqlRequireFailed</span> &quot;<span class="o">*</span><span class="n">message</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
@@ -710,7 +710,7 @@ subclasses.</p>
 not. The <em>message</em> is either the query that failed or a meaningful
 description, depending on the inspector configuration.</p>
 <h3 id="sparqldriveninspector-prohibit-failed">SparqlDrivenInspector: prohibit failed</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:sparqlProhibitFailed</span> <span class="s">&quot;*message*&quot;</span><span class="o">.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">sparqlProhibitFailed</span> &quot;<span class="o">*</span><span class="n">message</span><span class="o">*</span>&quot;<span class="p">.</span>
 </pre></div>
 
 
@@ -718,7 +718,7 @@ description, depending on the inspector 
 The <em>message</em> is either the query that succeeded or a meaningful
 description, depending on the inspector configuration.</p>
 <h3 id="alltypedinspector-should-have-type">AllTypedInspector: should have type</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:shouldHaveType</span> <span class="o">*</span><span class="n">Resource</span><span class="o">*.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">shouldHaveType</span> <span class="o">*</span><span class="n">Resource</span><span class="o">*</span><span class="p">.</span>
 </pre></div>
 
 
@@ -747,7 +747,7 @@ with.</p>
 automatically inconsistent, Eyeball quietly ignores such resources,
 since they turn up quite often in simple RDF models.</p>
 <h3 id="cardinalityinspector-cardinality-failure">CardinalityInspector: cardinality failure</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:cardinalityFailure</span> <span class="o">*</span><span class="n">Subject</span><span class="o">*</span><span class="p">;</span> <span class="n">eye:onType</span> <span class="o">*</span><span class="n">T</span><span class="o">*</span><span class="p">;</span> <span class="n">eye:onProperty</span> <span class="o">*</span><span class="n">P</span><span class="o">*</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">cardinalityFailure</span> <span class="o">*</span><span class="n">Subject</span><span class="o">*</span><span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onType</span> <span class="o">*</span><span class="n">T</span><span class="o">*</span><span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">onProperty</span> <span class="o">*</span><span class="n">P</span><span class="o">*</span>
 </pre></div>
 
 
@@ -780,7 +780,7 @@ index <em>index<sub>i</sub></em> had <em
     <code>rdf:rest</code> property.</li>
 </ul>
 <h3 id="listinspector-suspect-list-idiom">ListInspector: suspect list idiom</h3>
-<div class="codehilite"><pre><span class="o">[]</span> <span class="n">eye:suspectListIdiom</span> <span class="o">*</span><span class="n">Type</span><span class="o">*.</span>
+<div class="codehilite"><pre><span class="p">[]</span> <span class="nb">eye</span><span class="p">:</span><span class="n">suspectListIdiom</span> <span class="o">*</span><span class="n">Type</span><span class="o">*</span><span class="p">.</span>
 </pre></div>
 
 
@@ -846,9 +846,9 @@ there is a <em>check</em> property with 
 a problem is reported if <em>any</em> prohibition is violated; if there
 are multiple <code>require</code>s, a problem is reported if <em>none</em> of them
 succeed.</p>
-<div class="codehilite"><pre><span class="err">eye:URIInspector</span> <span class="err">eye:check</span>
-  <span class="err">[eye:prefix</span> <span class="err">&quot;urn:x-hp:&quot;;</span> <span class="err">eye:prohibit</span> <span class="err">&quot;.*:.*&quot;]</span>
-  <span class="err">;</span> <span class="err">[eye:prefix</span> <span class="err">&quot;http:</span><span class="c1">//example.com/&quot;; eye:require &quot;.*eyeball.*&quot;]</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">URIInspector</span> <span class="n">eye</span><span class="o">:</span><span class="n">check</span>
+  <span class="o">[</span><span class="n">eye</span><span class="o">:</span><span class="n">prefix</span> <span class="s2">&quot;urn:x-hp:&quot;</span><span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">prohibit</span> <span class="s2">&quot;.*:.*&quot;</span><span class="o">]</span>
+  <span class="o">;</span> <span class="o">[</span><span class="n">eye</span><span class="o">:</span><span class="n">prefix</span> <span class="s2">&quot;http://example.com/&quot;</span><span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">require</span> <span class="s2">&quot;.*eyeball.*&quot;</span><span class="o">]</span>
 </pre></div>
 
 
@@ -871,7 +871,7 @@ the inspector object in the configuratio
 <p>The object of each of these properties must be a resource; the URI
 of this resource is an open namespace for which the inspector will
 not report problems.</p>
-<div class="codehilite"><pre><span class="err">eye:VocabularyInspector</span> <span class="err">eye:openNamespace</span> <span class="err">&lt;http:</span><span class="c1">//example.com/examples#&gt;</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">VocabularyInspector</span> <span class="n">eye</span><span class="o">:</span><span class="n">openNamespace</span> <span class="o">&lt;</span><span class="n">http</span><span class="o">://</span><span class="n">example</span><span class="o">.</span><span class="na">com</span><span class="o">/</span><span class="n">examples</span><span class="err">#</span><span class="o">&gt;</span>
 </pre></div>
 
 
@@ -879,20 +879,20 @@ not report problems.</p>
 <p>The SPARQL inspector object in the configuration may be given
 <code>eye:sparql</code> properties whose objects are resources specifying
 SPARQL queries and problem messages.</p>
-<div class="codehilite"><pre><span class="err">eye:SparqlDrivenInspector</span> <span class="err">eye:sparql</span> <span class="err">[...]</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">SparqlDrivenInspector</span> <span class="n">eye</span><span class="o">:</span><span class="n">sparql</span> <span class="o">[...]</span>
 </pre></div>
 
 
 <p>The resource may specify a SPARQL query which must succeed in the
 model, and a message to produce if it does not.</p>
-<div class="codehilite"><pre><span class="err">eye:SparqlDrivenInspector</span> <span class="err">eye:sparql</span>
-  <span class="err">[eye:require</span> <span class="err">&quot;select</span> <span class="err">*</span> <span class="err">where</span> <span class="err">{?s</span> <span class="err">?p</span> <span class="err">?o}&quot;;</span> <span class="err">eye:message</span> <span class="err">&quot;must</span> <span class="err">be</span> <span class="err">non-empty&quot;]</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">SparqlDrivenInspector</span> <span class="n">eye</span><span class="o">:</span><span class="n">sparql</span>
+  <span class="o">[</span><span class="n">eye</span><span class="o">:</span><span class="n">require</span> <span class="s2">&quot;select * where {?s ?p ?o}&quot;</span><span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">message</span> <span class="s2">&quot;must be non-empty&quot;</span><span class="o">]</span>
 </pre></div>
 
 
 <p>If the query is non-trivial, the string may contain a reference to
 a file containing the query, rather than the entire query.</p>
-<div class="codehilite"><pre><span class="err">eye:require</span> <span class="err">&quot;@&#39;/home/kers/example/query-one.sparql&#39;&quot;</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">require</span> <span class="s2">&quot;@&#39;/home/kers/example/query-one.sparql&#39;&quot;</span>
 </pre></div>
 
 
@@ -906,9 +906,9 @@ fails.</p>
 <h3 id="configuring-renderers">Configuring renderers</h3>
 <p>The renderer class that Eyeball uses to render the report into text
 is giving in the config file by triples of the form:</p>
-<div class="codehilite"><pre><span class="o">[]</span>
-  <span class="n">eye:renderer</span> <span class="n">FullClassName</span>
-  <span class="p">;</span> <span class="n">eye:shortName</span> <span class="n">ShortClassHandler</span>
+<div class="codehilite"><pre><span class="p">[]</span>
+  <span class="nb">eye</span><span class="p">:</span><span class="n">renderer</span> <span class="n">FullClassName</span>
+  <span class="p">;</span> <span class="nb">eye</span><span class="p">:</span><span class="n">shortName</span> <span class="n">ShortClassHandler</span>
 </pre></div>
 
 
@@ -946,7 +946,7 @@ its inspection methods to all of its sub
 <p>The renderer can be anything that implements the (simple) renderer
 interface.</p>
 <p>To create an Eyeball:</p>
-<div class="codehilite"><pre><span class="n">Eyeball</span> <span class="n">eyeball</span> <span class="o">=</span> <span class="k">new</span> <span class="n">Eyeball</span><span class="p">(</span> <span class="n">inspector</span><span class="p">,</span> <span class="n">assumptions</span><span class="p">,</span> <span class="n">renderer</span> <span class="p">);</span>
+<div class="codehilite"><pre><span class="n">Eyeball</span> <span class="n">eyeball</span> <span class="p">=</span> <span class="n">new</span> <span class="n">Eyeball</span><span class="p">(</span> <span class="n">inspector</span><span class="p">,</span> <span class="n">assumptions</span><span class="p">,</span> <span class="n">renderer</span> <span class="p">);</span>
 </pre></div>
 
 
@@ -954,7 +954,7 @@ interface.</p>
 <p>Models to be inspected are provided as OntModels. The problems are
 delivered to a Report object, where they are represented as an RDF
 model.</p>
-<div class="codehilite"><pre><span class="n">eyeball</span><span class="o">.</span><span class="n">inspect</span><span class="p">(</span> <span class="n">report</span><span class="p">,</span> <span class="n">ontModelToBeInspected</span> <span class="p">)</span>
+<div class="codehilite"><pre><span class="n">eyeball</span><span class="p">.</span><span class="n">inspect</span><span class="p">(</span> <span class="n">report</span><span class="p">,</span> <span class="n">ontModelToBeInspected</span> <span class="p">)</span>
 </pre></div>
 
 
@@ -1012,8 +1012,8 @@ class has the appropriate constructors.<
 renderer know which property of a report is the "main" one, and
 which order the other properties should appear in, the inspector's
 <code>begin</code> method should declare the properties:</p>
-<div class="codehilite"><pre><span class="n">r</span><span class="o">.</span><span class="n">declareProperty</span><span class="p">(</span> <span class="n">EYE</span><span class="o">.</span><span class="n">badDatatypeURI</span> <span class="p">);</span>
-<span class="n">r</span><span class="o">.</span><span class="n">declareOrder</span><span class="p">(</span> <span class="n">EYE</span><span class="o">.</span><span class="n">badLanguage</span><span class="p">,</span> <span class="n">EYE</span><span class="o">.</span><span class="n">onLiteral</span> <span class="p">);</span>
+<div class="codehilite"><pre><span class="n">r</span><span class="p">.</span><span class="n">declareProperty</span><span class="p">(</span> <span class="n">EYE</span><span class="p">.</span><span class="n">badDatatypeURI</span> <span class="p">);</span>
+<span class="n">r</span><span class="p">.</span><span class="n">declareOrder</span><span class="p">(</span> <span class="n">EYE</span><span class="p">.</span><span class="n">badLanguage</span><span class="p">,</span> <span class="n">EYE</span><span class="p">.</span><span class="n">onLiteral</span> <span class="p">);</span>
 </pre></div>
 
 
@@ -1034,11 +1034,11 @@ being inspected; a report renderer will 
 (here we're using <code>my:Fresh</code> and assuming a prefix declaration for
 <code>my:</code>) and a short name (here, "fresh") and add a description to
 the configuration file:</p>
-<div class="codehilite"><pre><span class="err">my:Fresh</span> <span class="err">a</span> <span class="err">eye:Inspector</span>
-  <span class="err">;</span> <span class="err">eye:shortName</span> <span class="err">&quot;fresh&quot;</span>
-  <span class="err">;</span> <span class="err">rdfs:label</span> <span class="err">&quot;fresh</span> <span class="err">checks</span> <span class="err">for</span> <span class="err">my</span> <span class="err">application&quot;</span>
-  <span class="err">;</span> <span class="err">eye:</span><span class="kd">class</span><span class="nc">Name</span> <span class="err">&quot;</span><span class="nc">full.path.to.Fresh</span><span class="err">&quot;</span>
-  <span class="err">.</span>
+<div class="codehilite"><pre><span class="n">my</span><span class="o">:</span><span class="n">Fresh</span> <span class="n">a</span> <span class="n">eye</span><span class="o">:</span><span class="n">Inspector</span>
+  <span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">shortName</span> <span class="s2">&quot;fresh&quot;</span>
+  <span class="o">;</span> <span class="n">rdfs</span><span class="o">:</span><span class="n">label</span> <span class="s2">&quot;fresh checks for my application&quot;</span>
+  <span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">className</span> <span class="s2">&quot;full.path.to.Fresh&quot;</span>
+  <span class="o">.</span>
 </pre></div>
 
 
@@ -1048,12 +1048,12 @@ the Eyeball command line (and ensuring t
 classpath).</p>
 <p>If you want <code>Fresh</code> to be included by default, then you must add it
 as an <code>eye:inspector</code> property of the configuration root, <em>eg</em>:</p>
-<div class="codehilite"><pre><span class="err">eye:eyeball</span> <span class="err">a</span> <span class="err">eye:Eyeball</span>
-  <span class="err">;</span> <span class="err">eye:inspector</span>
-    <span class="err">eye:PrefixInspector,</span>    <span class="cp"># as delivered</span>
-    <span class="err">my:FreshInspector,</span>      <span class="cp"># new inspector</span>
-    <span class="err">eye:URIInspector,</span>       <span class="cp"># as delivered</span>
-    <span class="err">...</span>
+<div class="codehilite"><pre><span class="n">eye</span><span class="o">:</span><span class="n">eyeball</span> <span class="n">a</span> <span class="n">eye</span><span class="o">:</span><span class="n">Eyeball</span>
+  <span class="o">;</span> <span class="n">eye</span><span class="o">:</span><span class="n">inspector</span>
+    <span class="n">eye</span><span class="o">:</span><span class="n">PrefixInspector</span><span class="o">,</span>    <span class="err">#</span> <span class="k">as</span> <span class="n">delivered</span>
+    <span class="n">my</span><span class="o">:</span><span class="n">FreshInspector</span><span class="o">,</span>      <span class="err">#</span> <span class="k">new</span> <span class="n">inspector</span>
+    <span class="n">eye</span><span class="o">:</span><span class="n">URIInspector</span><span class="o">,</span>       <span class="err">#</span> <span class="k">as</span> <span class="n">delivered</span>
+    <span class="o">...</span>
 </pre></div>
   </div>