- From: Pat Hayes <phayes@ihmc.us>
- Date: Fri, 10 May 2013 00:47:58 -0500
- To: RDF-WG WG <public-rdf-wg@w3.org>
I just pushed a major edit of Semantics. It still needs work and cleanup before LC, but y'all might want to take a look to see if you approve. Section 3, last para has discussion on denotes/refers versus identifies. "Lemma" language has been eliminated. Merge has been put back, and example given of union vs. merge. Tables of "entailment patterns" have been inserted, but they aren't called "rules" in any normative text. FInal informative section 14 mentions rule sets and generalized RDF syntax and states the terHorst completeness and complexity results, without proofs and treated descriptively rather than formally. The 'extensional sematnics for RDFS' section has been eliminated. If we want it back, it should be another appendix. I havnt done the various appendices yet. I would like to shorten and simplify the current appendix C, or eliminate it entirely (?) Comments? Pat ------------------------------------------------------------ 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, 10 May 2013 05:48:23 UTC