fix comment on total mapping for xsd:string
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Tue, 30 Apr 2013 08:23:21 -0700
changeset 808 3d744625b5ae
parent 807 9a33745e2db9
child 811 f145fb2d72e6
fix comment on total mapping for xsd:string
rdf-mt/index.html
--- a/rdf-mt/index.html	Tue Apr 30 07:57:50 2013 -0700
+++ b/rdf-mt/index.html	Tue Apr 30 08:23:21 2013 -0700
@@ -258,7 +258,7 @@
       set of pairs which identify the arguments for which the property is true,
       that is, a binary relational extension.
       </p>
-<p>The distinction between IR and IL will become significant below when the semantics of datatypes are defined. IL is allowed to be partial because some literals may fail to have a referent. However, IL is total on language-tagged strings and literals of type <code>xsd:string</code>. </p>
+<p>The distinction between IR and IL will become significant below when the semantics of datatypes are defined. IL is allowed to be partial because some literals may fail to have a referent. However, IL is total onlanguage-tagged strings (but not on literals of type <code>xsd:string</code>). </p>
 
 <ul><li><p class="technote"> 
 It is conventional to map a relation name to a relational extension directly.  This however presumes that the vocabulary is segregated into relation names and individual names, and RDF makes no such assumption. Moreover, RDF allows an IRI to be used as a relation name applied to itself as an argument. Such self-application structures are used in RDFS, for example. The use of the IEXT mapping to distinguish the relation as an object from its relational extension accommodates both of these requirements. It also provides for a more intuitive notion of RDFS 'class' which can be distinguished from its set-theoretic extension.