update comments Sandro
authorGuus Schreiber <guus.schreiber@vu.nl>
Tue, 04 Feb 2014 00:57:37 +0100
changeset 1800 a61919ac3775
parent 1799 cae0e05c5757
child 1801 3a25ebaedaa3
update comments Sandro
--- a/rdf-primer/index.html	Mon Feb 03 23:56:11 2014 +0100
+++ b/rdf-primer/index.html	Tue Feb 04 00:57:37 2014 +0100
@@ -959,7 +959,7 @@
     <p>These notions,
     and others, are specified with mathematical precision in the RDF
-    Semantics document [RDF11-MT].</p>
+    Semantics document [[RDF11-MT]].</p>
     <p>One of the benefits of RDF having these declarative semantics
     is that systems can make logical inferences. That is, given a
@@ -995,21 +995,17 @@
     <code>ex:bob rdf:type foaf:Person .</code>
-   <p>RDF Semantics distinguishes
-   a number of different "entailment regimes". The derivation above is
-   an example of an RDF Schema entailment. For detailed
-   information about entailment regimes 
-   please consult the RDF Semantics document [[RDF11-MT]]. </p> 
+   <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>
-    <pre>
+    <p class="example">
    <code>ex:bob ex:age "forty"^^xsd:integer . </code>
-   </pre>
+   </p>
    <p>leads to a logical inconsistency, because the literal does not
     abide by the constraints defined for the XML Schema datatype <a
-   <p>RDF tools may not recognize all datatypes. As a
+   <p>Note that RDF tools may not recognize all datatypes. As a
    minimum, tools are required to support the datatypes for string literals
    and language-tagged literals.</p>
@@ -1019,10 +1015,14 @@
    as both a class and a property. Also, there is no strict separation
    between the world of "classes" and of "instances". Therefore, RDF
    semantics views the following graph as valid:</p>
-   <pre>
+   <pre class="example">
    <code>ex:Jumbo rdf:type ex:Elephant .</code>
    <code>ex:Elephant rdf:type ex:Species .</code>
+   <p>So, an elephant can both be a class (with Jumbo as a sample
+   instance) and an instance (namely of the class of 
+   animal species).</p>
    <p>The examples in this section are just meant to give the reader
 some feeling about what the RDF Semantics brings you. Please consult