RDF semantics draft revision

The latest draft (pushed a few minutes ago, dated 1 March) of the RDF semantics addresses, I believe, all the issues raised by Peter recently. These suggestions greatly improved the document, thanks. I hope I have eliminated all the colorful language, but Peter, feel free to edit if I missed some.

FWIW, treating rdf:langString as a datatype is a royal PITA.

This draft has one other significant change, which I mentioned some time ago. Interpretations are defined over *all* IRIs and literals, rather than over a particular vocabulary V, and so all mention of vocabularies has been eliminated. I see this as part of the KISS process. 

This makes all interpretations infinite, but an appendix will point out that it is only necessary to interpret the part of this infinite vocabulary which actually occurs in the graphs under consideration or which have applicable semantic constraints (the rdfs: vocabulary for RDFS-entailment, etc.), thereby allowing for finite interpretation structures. (Some care is needed to handle the RDF container properties. All the theoretical work behind this has been done by terHorst, who will be duly cited.) 

This keeps the main body of the semantics simpler and easier to read, while providing the necessary information for logicians (who can be expected to read appendices.) This appendix will be normative, and will define the older terminology ("interpretation *of a vocabulary* ") as before, maintaining conformity with spec documents which rely on this aspect of the 2004 semantics. I hope y'all approve. 

Pat

PS. If you are looking at a version dated 28 February, get the more recent version before proceeding.

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Friday, 1 March 2013 19:49:34 UTC