Re: defn binding wordy

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 UTC