style update
authorGuus Schreiber <guus.schreiber@vu.nl>
Tue, 04 Feb 2014 00:59:23 +0100
changeset 1801 3a25ebaedaa3
parent 1800 a61919ac3775
child 1802 0c05cafa19f8
style update
rdf-primer/index.html
--- a/rdf-primer/index.html	Tue Feb 04 00:57:37 2014 +0100
+++ b/rdf-primer/index.html	Tue Feb 04 00:59:23 2014 +0100
@@ -998,9 +998,9 @@
    <p>The derivation above is an example of an RDF Schema entailment [[RDF11-MT]]. </p> 
   
    <p>The semantics of RDF also tell us that the triple:</p>
-    <p class="example">
+    <pre>
    <code>ex:bob ex:age "forty"^^xsd:integer . </code>
-   </p>
+   </pre>
    <p>leads to a logical inconsistency, because the literal does not
     abide by the constraints defined for the XML Schema datatype <a
     href="http://www.w3.org/TR/xmlschema11-2/#integer">integer</a>.</p>
@@ -1016,7 +1016,7 @@
    between the world of "classes" and of "instances". Therefore, RDF
    semantics views the following graph as valid:</p>
 
-   <pre class="example">
+   <pre>
    <code>ex:Jumbo rdf:type ex:Elephant .</code>
    <code>ex:Elephant rdf:type ex:Species .</code>
    </pre>