Re: Agenda request: characterize the diffs between subgraph-matching and E-entailment

Bijan Parsia wrote:

>> Test cases are:
>> 1/ A deliverable we are chartered to provide
>> 2/ A good way of making sure we are talking about the same thing.
> 
> Sure, but I think progress on the semantics of the algebra are 
> achievable even without test cases, or with tests cases that might have 
> to be updated (just as they were with distinct).

No tests changed or were updated for DISTINCT.  We've gone back to the Nov 
2005 text (which I stupidly lost) and clarified that two functions have the 
same mapping - solutions map to RDF terms.  Which is function equality without 
function names.

I added one DISTINCT test but it's not approved.

find . -name \*rq | xargs grep -l -i distinct | xargs ls -l

-rwxr-xr-x 1 Andy None 129 Sep 25 11:09 ./Distinct/distinct-1.rq
-rwxr-xr-x 1 Andy None  79 Mar 22  2006 ./SolutionSeq/q-seq-02.rq
-rwxr-xr-x 1 Andy None  92 Mar 22  2006 ./SolutionSeq/q-seq-04.rq
-rwxr-xr-x 1 Andy None 107 Mar 22  2006 ./SolutionSeq/q-seq-09.rq
-rwxr-xr-x 1 Andy None 112 Mar 23  2006 ./extracted-examples/query-10.1.2.rq
-rwxr-xr-x 1 Andy None  96 Aug 21  2005 ./survey/query-survey-10.rq


Maybe you meant datatype/lang.  The fixes were unrelated to discussion at that
point and date from much further back.

http://lists.w3.org/Archives/Public/public-rdf-dawg/2006JulSep/0169

	Andy

Received on Tuesday, 10 October 2006 11:29:46 UTC