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

Re: defn binding wordy

From: Seaborne, Andy <andy.seaborne@hp.com>
Date: Mon, 06 Sep 2004 13:30:53 +0100
Message-ID: <413C587D.9080103@hp.com>
To: Dan Connolly <connolly@w3.org>
CC: RDF Data Access Working Group <public-rdf-dawg@w3.org>

Good idea - done.

I'm not going to go for the absolutely minimal definitions with no 
helper text but "A binding B is a function from V into A." is much better.

Current text is:

"""
Definition: Binding

A binding B is a function from V to A, mapping variables to values (RDF 
terms).
   VAR(b) is the variable of a binding
   VAL(b) is the value of a binding and is an RDF term.
"""


Dan Connolly wrote:

> In
> http://www.w3.org/2001/sw/DataAccess/rq23/#basicpatterns
> 
> first we have "A binding B is a subset of V x A"
> then "A binding only maps a variable once - it is functional."
> 
> simpler to just say:
> 
>   A binding B is a function from V into A.
> 
> 
Received on Monday, 6 September 2004 12:31:31 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:20 GMT