W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > October to December 2004

RE: definitions for SELECT, projection, substitution [was: [Fwd: Re:...]]

From: Dan Connolly <connolly@w3.org>
Date: Wed, 10 Nov 2004 15:18:23 -0600
To: "Seaborne, Andy" <andy.seaborne@hp.com>
Cc: RDF Data Access Working Group <public-rdf-dawg@w3.org>
Message-Id: <1100121504.4261.313.camel@dirk>
On Wed, 2004-11-10 at 18:23 +0000, Seaborne, Andy wrote:
> > (http://www.w3.org/2001/sw/DataAccess/rq23/#MultipleMatches 1.120 )
> Text added in v1.129

OK, but now there's some redundancy; the definition I gave
for substituion is intended to replace the definitions
of binding and set of bindings.

These define pretty much the same construct:

"A substitution S is a functional relation from variables to RDF terms.
We write S[v] for
the term that S pairs with the variable v."


"A binding is a pair which defines a mapping from a variable to an RDF
Term. If B is such a binding, var(B) is the variable of the binding, and
val(B) is the RDF term.


A binding, B, defines a substitution subst(T, B) on triple T that
replaces every occurrence of the variable, var(B), with the
corresponding RDF Term, val(B)."

I hope to have a suggestion about how to resolve the redundancy
after I study the definitions for SOURCE (and perhaps optionals).
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Wednesday, 10 November 2004 21:18:11 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:45 UTC