- From: Pat Hayes <phayes@ihmc.us>
- Date: Wed, 2 Nov 2005 14:07:35 -0600
- To: Enrico Franconi <franconi@inf.unibz.it>
- Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
>We have formalised very simply the l3 condition in our semantics >document <http://www.inf.unibz.it/krdb/w3c/sparql/>, along the lines >I was telling yesterday. We added an annotation on variables in >queries: "Variables may be annotated with a set of elements of RDFT >- to restrict the possible assignments of variables". And we added a >condition in the definition of query answer: "if a variable is >annotated with a set of elements of RDFT then S must map that >variable to one of these elements". As simple as that. That is conceptually simple, indeed, but the annotations will require revising the SPARQL test cases and changes to the SPARQL syntax. >Please check it out. Comments welcome. OK, but in an earlier email I suggested that l3 should be weakened in a significant way, which permits a simpler approach to be used. If that suggestion is accepted then I think much of this is no longer needed. Pat >cheers >--e. -- --------------------------------------------------------------------- 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 Wednesday, 2 November 2005 20:08:16 UTC