minor changes to Semantics

I did a pass on Semantics to fix a couple of references and check out the 
changes made in response to Ivan's comments.

I've enclosed a list of what I did.

peter


Changes to Semantics


* make reference to old rdf semantics document be informative

*reference SWBP Note on data values (action 219)


Changes from Ivan's comments

Minor
-----

- At the beginning of section 5, we say '...I is a structure consisting
of'... but then, in the semantic conditions, the same symbol 'I' is used
as a function. AFAIK, this is a usual abuse of notation, but maybe it is
better calling it out explicitly.

* Pat added some wording here, and I fiddled with it a bit to be more
   explicit.

- Section 6, second paragraph after the change note, it says: "they may
be at risk of introducing falsehoods and errors into otherwise correct
RDF data": what does the term 'correct' means in this context? I would
think it refers to the fact that it conforms to the C&AS document,
although the conformance clause of that document is also a bit vague...

* Pat turned "correct" into "true", which I think does the trick.

- Appendix B: I do not understand this: "plus a random member of each
nonempty class or type". You mean an extra, random member that does not
appear in the original graph? It is probably worth spelling out more and
also why it is necessary (although I just saw Peter's comment[1] who
seems to say that this clause may not be necessary at all, in which case
this comment is moot...)

* Pat made the changes I suggested.  I fixed up some of the wording (in
   particular to remove the "random" phrase).


Editorial
---------

- Abstract: are we sure that a reference to a (not-yet existing...)
Primer is the good reference for RDF 1.1? I think we should use
Concepts. A reference to RDF-SCHEMA that does not yet exist may also be
an issue.

* Primer removed by Pat.  Schema could be removed, but it is needed later
on, and there are no changes to Schema that would impact this document.

- Third paragraph in section 3: 's' -> 'S' at the begining of the
paragraph. Also, in the same paragraph, there should be some empty line
before and after the ex:a... triple to make it more readable.

* Done by Pat

- Section 4, 4th paragraph: 'matter. the' -> 'matter, the'

* Done by Pat

- Section 6, last paragraph right before 6.1: the reference to TESTCASES
is probably wrong in the respec source, it comes out as !-TESTCASES]] in
the document when viewed in the browser...

* Fixed by Pat, at least it looks fine to me.

- Section 6.1, remark on compactness: the text says 'This property is
often called compactness': I presume 'this' means that the graph is
finite. Maybe it is better spelling it out.

* Pat changed the wording.  I've slightly fiddled with the wording again.

- Section 10.1, second example: 'ex:a ex:p"25"^^xsd:decimal .' -> 'ex:a
ex:p "25"^^xsd:decimal .' (a space is missing)

* Done by Pat

- Appendix B, last-but-one paragraph: "truthvalues" -> "truth values"

* Done by Pat

- Appendix D.2, second paragraph: "The RDFS vocabulary, described below"
-> "The RDFS vocabulary, described above", and a link to 'above' is
probably a good idea

* Done by Pat

- Appendix D.3, last-but-one paragraph: "semantic extensions" ->
"Semantic extensions"

* Done by Pat

Received on Sunday, 9 June 2013 16:33:31 UTC