--- 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 @@
</ol>
<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>
</pre>
- <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
href="http://www.w3.org/TR/xmlschema11-2/#integer">integer</a>.</p>
- <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>
</pre>
+ <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