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

Re: defn variable vacuuous

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

Dan Connolly wrote:
> I'm transcribing the definitions into larch
> (cf http://www.w3.org/XML/9711theory/) and I got to...
> 
> "Definition: Query Variable
> 
> A variable in a query is name, used to define a graph pattern.
> Variables are associated to terms in a graph by a binding."
>  -- http://www.w3.org/2001/sw/DataAccess/rq23/#basicpatterns
> 
> That definition doesn't actually constrain the term
> Query Variable at all. There's no impact, formally.
> 
> I suggest getting rid of the Definition markup and just stating
> it as commentary.
> 

Ideally, I'd like a definition there, even though it is text.
How about something based on

"""
A symbol whose referent varies or is unknown. A place-holder, as opposed
to an abbreviation or name (a constant). ... A variable ranging over
individual objects from the domain of a system.
"""

http://www.earlham.edu/~peters/courses/logsys/glossary.htm#v

like:

"""
A variable is a placeholder in a query pattern for possible RDF terms.
A variables is asscoiated with at most one RDF term in a query solution.
"""
which disallows multivalue variables in a single query solution.

Just saying it as text misses the formal nature of variables.  Its
always difficult to handle the base definitions as they are going to
refer to concepts that are outside the doc.

	Andy


	Andy
Received on Monday, 6 September 2004 12:27:33 GMT

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