- From: Pat Hayes <phayes@ihmc.us>
- Date: Tue, 28 Nov 2006 17:02:15 -0600
- To: "Seaborne, Andy" <andy.seaborne@hp.com>
- Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
First very rough draft visible at http://www.ihmc.us/users/phayes/SPARQL-BGP-semantics.html I havnt yet tried to fit this elegantly into your algebra document, Im afraid, or linked it to the test cases. The missing proof at the end is elementary but tedious to write out, maybe should be in an appendix somewhere. In fact, I'd be happy to put the whole of the first section into an appendix, if we can make an appendix be normative. Feedback welcome. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 cell phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Tuesday, 28 November 2006 23:02:29 UTC