- From: Eric Prud'hommeaux <eric@w3.org>
- Date: Mon, 14 Aug 2006 13:08:03 +0200
- To: Kendall Clark <kendall@monkeyfist.com>
- Cc: dawg mailing list <public-rdf-dawg@w3.org>
---------- http://www.w3.org/2006/08/08-dawg-minutes ----------
Data Access Working Group Telecon
8 Aug 2006
See also: [2]IRC log
Attendees
Present
Kendall_Clark, ericP, PatH, AndyS, FredZ
Regrets
LeeF, LibbyM, EliasT, JeenZ
Chair
Kendall Clark
Scribe
ericP
Contents
* [3]Topics
1. [4]1. Convene [1]RDF Data Access WG meeting of Tuesday, 8
August, 2006
2. [5]ACTION updates
3. [6]1. Convene [1]RDF Data Access WG meeting of Tuesday, 8
August, 2006
4. [7]DAWG Formal Semantics
* [8]Summary of Action Items
_________________________________________________________________
PROPOSED: approve [9]minutes from 1 Aug 2006 as a true record
APPROVED
PROPOSED: meet 15 Aug at 14:30, scribe TDB
APPROVED
1. Convene [1]RDF Data Access WG meeting of Tuesday, 8 August, 2006
ACTION updates
ACTION: EricP to respond to PatH's new test with a proof of whether
it's monotonic to extended datatype support [DONE] [recorded in
[10]http://www.w3.org/2006/08/08-dawg-minutes.html#action01]
Note: [11]"proof" of nonmonotonicity in current text
ACTION: KendallClark to reopen punctuationSyntax to take up commas in
SELECT clause. CONTINUED [recorded in
[12]http://www.w3.org/2006/08/08-dawg-minutes.html#action02]
ACTION: LeeF to make a test case out of the nested GRAPH scenario from
DAWG email list CONTINUED [recorded in
[13]http://www.w3.org/2006/08/08-dawg-minutes.html#action03]
ACTION: LeeF to To review rq24. CONTINUED [recorded in
[14]http://www.w3.org/2006/08/08-dawg-minutes.html#action04]
1. Convene [1]RDF Data Access WG meeting of Tuesday, 8 August, 2006
ACTION: PatH to To write another open world value test to add to
Andy's. WITHDRAWN [recorded in
[15]http://www.w3.org/2006/08/08-dawg-minutes.html#action05]
ACTION: DanC to review PFPS's comments for more test cases CONTINUED
[recorded in
[16]http://www.w3.org/2006/08/08-dawg-minutes.html#action06]
ACTION: EricP to turn FredZ's test case sketches into tests. CONTINUED
[recorded in
[17]http://www.w3.org/2006/08/08-dawg-minutes.html#action07]
<ericP> kendallclark, what is "ACTION: take up new issue concatenated
nestedOptional" ???
<kendallclark> a new issue i decided to open the meeting before the
June break, which I cannot at this moment describe w/out consulting
the meeting minutes from that meeting
I think that "'II'^^roman:numeral = 2" has the same behavoir if backed
by either "sop:value-compare(A,B) == -1" or "op:numeric-less-than(A,
B)"
<AndyS> "'II'^^roman:numeral = 2" is error if Roman numerals are
unknown
A = B RDF termRDF termRDFterm-equal(A, B)
A = B RDF term RDF term RDFterm-equal(A, B)
<kendallclark> Does anyone have a proposal for leading us out of this?
It's starting to seem a bit like a morass...
<patH> if I followed it, this seems to work
<AndyS> I believe sop:value-comapre does it - I'm willing to flesh it
out.
<AndyS> It obeys the "every problem needs an extra level of
indirection" maxim
<kendallclark> :)
<patH> whoops, that was a reference to andys mesage of a few days ago.
number = number
date = date
string = string
--------------------
IRI = IRI
bNode = bNode
<fred> literal = literal: true or error
<fred> iri = iri: true or false
<fred> bnode = bnode: true or false
<fred> allother cells always false
2=3
<AndyS> Yes, Fred - that's the table I was thing of.
<AndyS> bNode = literal (not bNode in query) may be valid
<AndyS> Separate sameLiteral operator.
<AndyS> if we want a syntactic comparision
<AndyS> "(x,y)"^^:geo
<AndyS> If you want help with this, do ask - I'm the one keen to have
this extensibility so I feel responsible here.
<kendallclark> ACTION: EricP to redraft section 11 to support
extensible datatypes [recorded in
[18]http://www.w3.org/2006/08/08-dawg-minutes.html#action08]
<AndyS> sop:vaue-compare should return symbols for LE, GT, EQ and NE
(or error)
DAWG Formal Semantics
<SteveH> ok, I dont have anything to add to format sem. anyway
<kendallclark> I've also heard problems re: DISTINCT because the spec
doesn't really define identity sufficiently rigorously...
<AndyS> DISTINCT does not mean identity because it's separated from
the entailment by the algebra.
<AndyS> It is systems that onlt answer BGPs that could do that - in
general, there is no connection there.
<kendallclark> distinct requires some notion of identity, separated
from entailment, it seems to me
<AndyS> It sort of has - it's term uniqueness.
i am utterly convinced that one of PatH and FredZ may be right
<kendallclark> So we're 1 minute past our expire time :)
<AndyS> Fred -- I think the practical outcome is BGP's need a DISTINCT
applied. That's easily doable.
Summary of Action Items
[NEW] ACTION: EricP to redraft section 11 to support extensible
datatypes [recorded in
[19]http://www.w3.org/2006/08/08-dawg-minutes.html#action08]
[PENDING] ACTION: DanC to review PFPS's comments for more test cases
[recorded in
[20]http://www.w3.org/2006/08/08-dawg-minutes.html#action06]
[PENDING] ACTION: EricP to turn FredZ's test case sketches into tests.
[recorded in
[21]http://www.w3.org/2006/08/08-dawg-minutes.html#action07]
[PENDING] ACTION: KendallClark to reopen punctuationSyntax to take up
commas in SELECT clause. [recorded in
[22]http://www.w3.org/2006/08/08-dawg-minutes.html#action02]
[PENDING] ACTION: LeeF to make a test case out of the nested GRAPH
scenario from DAWG email list [recorded in
[23]http://www.w3.org/2006/08/08-dawg-minutes.html#action03]
[PENDING] ACTION: LeeF to To review rq24. [recorded in
[24]http://www.w3.org/2006/08/08-dawg-minutes.html#action04]
[DONE] ACTION: EricP to respond to PatH's new test with a proof of
whether it's monotonic to extended datatype support [recorded in
[25]http://www.w3.org/2006/08/08-dawg-minutes.html#action01]
[DROPPED] ACTION: PatH to To write another open world value test to
add to Andy's. [recorded in
[26]http://www.w3.org/2006/08/08-dawg-minutes.html#action05]
[End of minutes]
_________________________________________________________________
Minutes formatted by David Booth's [27]scribe.perl version 1.127
([28]CVS log)
$Date: 2006/08/14 11:04:45 $
References
1. http://www.w3.org/
2. http://www.w3.org/2006/08/08-dawg-irc
3. http://www.w3.org/2006/08/08-dawg-minutes#agenda
4. http://www.w3.org/2006/08/08-dawg-minutes#item01
5. http://www.w3.org/2006/08/08-dawg-minutes#item02
6. http://www.w3.org/2006/08/08-dawg-minutes#item03
7. http://www.w3.org/2006/08/08-dawg-minutes#item04
8. http://www.w3.org/2006/08/08-dawg-minutes#ActionSummary
9. http://lists.w3.org/Archives/Public/public-rdf-dawg/2006JulSep/0058
10. http://www.w3.org/2006/08/08-dawg-minutes.html#action01
11. http://lists.w3.org/Archives/Public/public-rdf-dawg/2006JulSep/0049
12. http://www.w3.org/2006/08/08-dawg-minutes.html#action02
13. http://www.w3.org/2006/08/08-dawg-minutes.html#action03
14. http://www.w3.org/2006/08/08-dawg-minutes.html#action04
15. http://www.w3.org/2006/08/08-dawg-minutes.html#action05
16. http://www.w3.org/2006/08/08-dawg-minutes.html#action06
17. http://www.w3.org/2006/08/08-dawg-minutes.html#action07
18. http://www.w3.org/2006/08/08-dawg-minutes.html#action08
19. http://www.w3.org/2006/08/08-dawg-minutes.html#action08
20. http://www.w3.org/2006/08/08-dawg-minutes.html#action06
21. http://www.w3.org/2006/08/08-dawg-minutes.html#action07
22. http://www.w3.org/2006/08/08-dawg-minutes.html#action02
23. http://www.w3.org/2006/08/08-dawg-minutes.html#action03
24. http://www.w3.org/2006/08/08-dawg-minutes.html#action04
25. http://www.w3.org/2006/08/08-dawg-minutes.html#action01
26. http://www.w3.org/2006/08/08-dawg-minutes.html#action05
27. http://dev.w3.org/cvsweb/~checkout~/2002/scribe/scribedoc.htm
28. http://dev.w3.org/cvsweb/2002/scribe/
--
-eric
home-office: +1.617.395.1213 (usually 900-2300 CET)
+33.1.45.35.62.14
cell: +33.6.73.84.87.26
(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.
Received on Monday, 14 August 2006 11:09:27 UTC