ACTION: Jos: explain log:includes to inform the discussion of SOURCE (nee provenance)

• From: Jos De_Roo <jos.deroo@agfa.com>
• Date: Mon, 26 Jul 2004 00:25:26 +0200
• To: public-rdf-dawg@w3.org
• Message-ID: <OF09EE9829.B9012136-ONC1256EDC.00793197-C1256EDC.007B2431@agfa.com>

For an explanation of log:semantics, log:includes and log:notIncludes
I would like to point to http://www.w3.org/2000/10/swap/doc/Reach

Now let's assume that

<a.n3> a q:Source.
<b.n3> a q:Source.

and a.n3 is

:foo :a "a".
:foo :b "b".

and b.n3 is

:bar :a "a".

Then the query

[] q:select { (?O ?SRC) };
   q:where {?SRC a q:Source. ?SRC.log:semantics log:includes {?S ?P ?O}}.

results in

("a" <file:/temp/a.n3>) .
("b" <file:/temp/a.n3>) .
("a" <file:/temp/b.n3>) .

as a matter of test case.


Another test case is that the query

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix x: <http://example.com/exon/#>.
[] q:select { (?E) };
   q:where { <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> 
log:semantics ?F.
             ?F log:includes { ?T1 a x:Transcript; x:hasExon ?E. ?T2 a 
x:Transcript }.
             ?F log:notIncludes { ?T2 x:hasExon ?E }}.

results in

(<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>) .
(<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>) .


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Sunday, 25 July 2004 18:26:06 UTC