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

Re: SOURCE - Choosing what to query and querying the origin of statements

From: <jos.deroo@agfa.com>
Date: Fri, 12 Nov 2004 01:27:40 +0100
To: connolly@w3.org
Cc: Dave Beckett <dave.beckett@bristol.ac.uk>, RDF Data Access Working Group <public-rdf-dawg@w3.org>, public-rdf-dawg-request@w3.org
Message-ID: <OFD2FECC59.9E88B6DD-ONC1256F4A.000010F4-C1256F4A.0002A192@agfa.com>

Dan Connolly wrote:
[...]

> I don't understand "Any variable that is not bound must not match..."
> below.
[...]

>> Any variable that is not bound must not match another variable that
>> is not bound.
>
> I don't understand that sentence, even after studying the example
> a few times. Hmm.

I also don't understand that sentence.. rather I'am sure that
"Any variable that is not bound must match another variable that
is not bound."


The main issue I see with SOURCE is where Dave writes

>>  SOURCE ?var (?s ?p ?o)
>> 
>> When SOURCE ?var is given before a triple, the variable will be bound
>> to all of the known *Graph Names* for that triple.

i.e. to implement SOURCE we use a bound ?var in
?var.log:semantics log:includes {?s ?p ?o}.
I have explored alternative implementations
but was loosing..

-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 12 November 2004 00:28:21 GMT

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