14:28:12 RRSAgent has joined #dawg 14:28:13 logging to http://www.w3.org/2006/02/14-dawg-irc 14:28:18 +Lee_Feigenbaum 14:28:35 Zakim, Lee_Feigenbaum is me 14:28:35 +LeeF; got it 14:28:42 EliasT has joined #dawg 14:30:10 franconi has joined #dawg 14:30:29 JanneS has joined #dawg 14:30:39 +[IBMCambridge] 14:30:42 +[IPcaller] 14:30:46 Zakim, IPcaller is JanneS 14:30:46 +JanneS; got it 14:31:00 Zakim, IBMCambridge is me 14:31:00 +EliasT; got it 14:31:00 Regrets: Libby, JosD, Sven 14:31:45 -> http://lists.w3.org/Archives/Public/public-rdf-dawg/2006JanMar/att-0360/07-dawg-minutes.html minutes 7 Feb 14:32:02 PROPOSED: to ammend them to show regrets from Sven and accept them 14:32:30 so RESOLVED 14:32:54 zakim, please dial ericP-415 14:32:54 ok, ericP; the call is being made 14:32:56 +EricP 14:33:10 Zakim, pick a scribe 14:33:10 Not knowing who is chairing or who scribed recently, I propose JanneS 14:33:21 Zakim, pick a scribe 14:33:21 Not knowing who is chairing or who scribed recently, I propose LeeF 14:33:29 regrets JanneS for 21 Feb 14:33:35 Zakim, pick a scribe 14:33:35 Not knowing who is chairing or who scribed recently, I propose AndyS 14:34:21 RESOLVED: to meet next 21 Feb, AndyS to scribe 14:34:25 +[Bozen-Bolzano] 14:34:39 zakim, bozen-bolzano is me 14:34:39 +franconi; got it 14:34:45 Zakim, who's on the phone? 14:34:45 On the phone I see jeen, DanC, AndyS, LeeF, EliasT, JanneS, EricP, franconi 14:36:05 Zakim, close item 1 14:36:05 agendum 1, Convene RDF Data Access WG meeting of 2006-02-14T14:30Z, closed 14:36:07 I see 8 items remaining on the agenda; the next one is 14:36:08 2. Protocol for syntax errors, syntax extensions [from DanC] 14:36:08 +PatH 14:36:12 Zakim, take up item 5 14:36:12 agendum 5. "valueTesting: xsd:string, divide by zero" taken up [from DanC] 14:36:45 patH has joined #dawg 14:36:46 -LeeF 14:37:49 +LeeF 14:38:39 PROPOSED: to accept tests sort-9 sort-10 xsd-string-lt xsd-string-gt , as per manifest version @@ 14:39:08 1.12 of test/data/ValueTesting/manifest.n3 14:39:21 PROPOSED: to accept tests sort-9 sort-10 xsd-string-lt xsd-string-gt , as per manifest version 1.12 of test/data/ValueTesting/manifest.n3 14:39:44 1.13 of test/data/sort/manifest.ttl 14:39:51 PROPOSED: to accept tests sort-9 sort-10 xsd-string-lt xsd-string-gt , as per manifest version 1.12 of test/data/ValueTesting/manifest.n3 and the 1.13 of test/data/sort/manifest.ttl 14:41:48 EricP: I fixed string <= in 1.639 , but the mirrors only show 1.638 14:42:59 A <= B xsd:stringxsd:stringfn:not(op:numeric-equal(fn:compare(STR(A), STR(B)), 1))xsd:boolean 14:43:10 A >= B xsd:stringxsd:stringfn:not(op:numeric-equal(fn:compare(STR(A), STR(B)), -1))xsd:boolean 14:43:48 RESOLVED: to accept tests sort-9 sort-10 xsd-string-lt xsd-string-gt , as per manifest version 1.12 of test/data/ValueTesting/manifest.n3 and the 1.13 of test/data/sort/manifest.ttl 14:44:27 AndyS: don't really need the STR() as fn:compare takes xsd:strings 14:44:37 EricP: uh... 14:44:38 -> http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2006Jan/0066.html major technical: underspecified errors 14:45:38 kendallclark has joined #dawg 14:45:54 http://www.w3.org/TR/2005/CR-xpath-functions-20051103/#error-summary -> XPath Functions and Operators Error Summary 14:46:05 err:FOAR0001, Division by zero. 14:46:17 sorry to be late -- it's my birthday and i overslept the alarm :> 14:46:28 ok, kc. join when you can 14:46:28 happy birthday, slacker! 14:46:33 +Kendall_Clark 14:47:01 zakim, mute me 14:47:01 Kendall_Clark should now be muted 14:47:17 DanC: does our spec deal with divide by zero? 14:47:25 EricP: No 14:47:43 ACTION EricP: fix /0 stuff in rq23 14:48:14 "Infinitye0"^^ 14:48:30 Zakim, close this item 14:48:30 agendum 5 closed 14:48:31 I see 7 items remaining on the agenda; the next one is 14:48:32 2. Protocol for syntax errors, syntax extensions [from DanC] 14:48:36 Zakim, next item 14:48:36 agendum 2. "Protocol for syntax errors, syntax extensions" taken up [from DanC] 14:49:13 zakim, unmute me 14:49:13 Kendall_Clark should no longer be muted 14:49:24 sorry, i was booting up 14:50:21 KendallC: The problem is that the spec says that if you would like to add an extension you have to implement your interface. 14:50:44 Zakim, take up item 3 14:50:44 agendum 3. "comments related to rdfSemantics, owlDisjunction" taken up [from DanC] 14:52:29 DanC: We have not had a LC since July. Therefore we must do one more LC. 14:52:37 for agendum 2: In 2.2 HTTP Bindings: "A SPARQL Protocol service may support other interfaces." 14:52:59 And in 4. Conformance: 14:53:15 "may implement other interfaces, bindings of the operations of those interfaces, or bindings of the query operation other than the normative HTTP or SOAP bindings described by SPARQL Protocol for RDF;" 14:53:31 "occuring in G" 14:53:40 Pattern solution: s/occurring in G// 14:53:58 but kc, where does it say that a query out msg is prohibited in the case of a syntax error/sparql++ query? 14:54:38 E-entailment Regime - needs fixing : 14:54:40 Definition: E-entailment Regime 14:54:40 An E-entailment regime is a binary relation between subsets of RDF 14:54:40 graphs. 14:54:40 A graph in the range of an E-entailment is called well-formed for the 14:54:40 E-entailment. 14:54:57 PatH: Enrico agreed to the text in email. AndyS is pasting it above. 14:55:01 (the changed text) 14:55:39 DanC: Does anybody think this is a big change or just editorial? 14:56:02 AndyS: There's another minor change regarding BGP and the other re: the use of BGP' 14:56:18 DanC: "When the value of the query type is not a legal sequence of characters in the language defined by the SPARQL grammar, the MalformedQuery fault message should be returned. According to the Fault Replaces Message Rule, if a WSDL fault is returned, including MalformedQuery, an Out Message must not be returned." 14:56:37 that says should, kendall 14:56:53 yes, it does 14:57:09 so it doesn't prohibit a query out in the case of a syntax error, does it? 14:57:46 but none of this is the question you asked 14:57:57 if you think it should say "must", then, no, it says "should". clearly. 14:59:05 I don't feel strongly; I just want us to be clear. I hear you saying "the spec prohibits SPARQL++ queries in this interface", but I can't find it in the spec. 14:59:11 Text Between Boxes -- my new art prog band :> 14:59:15 NO! 14:59:17 I didn't say that. :. 14:59:21 er... :> 14:59:27 ok, so I'm misunderstanding 14:59:29 I said "the spec says you can deploy other interfaces" 14:59:50 it doesn't absolutely prohibit. it says "should". 15:00:09 ok, then I think it's important to have a SPARQL++ query with a 200 query out response in the spec. 15:00:22 the spec says "you should return malformed on ++ queries, and if you do, you *cannot* returnn Out." 15:00:27 PatH: I can see that the definition of BGP' works as stated, but I think it's too complex. 15:02:13 fwiw, i'm not opposed to changing "should" to "must". i'd rather do that than add an example. that's too subtle. 15:02:29 i just don't feel strongly enough about it to champion. 15:02:33 I see. 15:03:22 Is G' the source of bnode-names for the answerset or is it the source of bnodes for the answer set? 15:03:34 i didn't want to decide about *that* issue till i'd thought more about the more general point, "add another interface to yr service and answer ++ queries on *that* interface". 15:03:46 which i'm now satisfied with 15:04:04 "bnode name" does not occur in http://www.w3.org/2001/sw/DataAccess/rq23/ 1.639. I'm confused. 15:04:33 "blank node label" does though, which is synonymous,I believe. 15:04:42 ah 15:04:49 blank node names. 15:04:55 in 2.5.1 15:04:57 ugh. "G' and BGP' do not share any blank node labels." 15:05:01 Right 15:09:57 DanC: _:abc can be used in the query and in the answerset and refer to two different [actual, mathematical] blank nodes 15:10:04 DanC: Enrico, PatH meant blank node instead of blank node labels. 15:10:06 What do implementations do? I don't rewrite the graph to G' (I make sure the BGP does not share bnodes with G). 15:11:35 PatH: If we are going to allow that there could be a bnode overlap between the query and answerset, then we should for the spec to hang together we should provide for some syntactic definition in the spec to support this. 15:12:54 PatH: There's a case where a bnode in the answerset matches on in the query. We have not dealt with this yet. 15:13:41 zakim, mute me 15:13:41 Kendall_Clark should now be muted 15:16:13 we can not be completely restricted by possible extensions because there will be others we have not considered yet (and maybe the community has not even invented) 15:16:18 half is optimistic IMO 15:17:11 I belive either defn works at the simple entailement level. Questions extensions and style are on top of that. 15:17:13 ACTION Enrico: explain definitions in reply to LeeF's questions 15:17:49 Zakim, next item 15:17:49 agendum 2. "Protocol for syntax errors, syntax extensions" taken up [from DanC] 15:18:04 zakim, unmute mme 15:18:04 sorry, kendallclark, I do not see a party named 'mme' 15:18:06 zakim, unmute me 15:18:06 Kendall_Clark should no longer be muted 15:18:43 bye I go to the doctor 15:18:49 -franconi 15:18:56 DanC: If we are going to allow an out message, we should be more explicit. 15:19:14 kendallclark: I don't feel strongly it should be a must. unless someone else i. 15:21:41 EricP: The question is whether we get a SPARQL++ we should throw an exception or an out message. 15:22:16 (a) "in case of syntax error, must not return query out, and should return malformed query" (b) "in case of extensions, may return Query out but should return Malformed Query" 15:22:37 LeeF: If we allow SPARQL++ then we might not need MalformedQuery. 15:27:35 PROPOSED: in case of syntax error [including extension], must return malformed query or query request refused 15:28:23 (I'll abstain, since I think that's still overspecification, but ok) 15:30:14 DanC: AndyS wants to have a way to give a query request refused w/o having to check for syntax. i.e. service disallows FROM queries. 15:30:46 abstain 15:31:12 RESOLVED, EricP/DanC, Hayes abstaining 15:31:14 I abstain 15:31:48 sparql++ 15:32:13 ACTION KendallC: edit proto-wd to show 15:32:23 syntaxExtensionProtocol 15:32:35 sparql pee ell you ess pee ell you ess 15:32:45 our decision closes syntaxExtensionProtocol 15:32:49 Zakim, next item 15:32:49 agendum 4. ""underspecified errors" comment re FROM/FROM NAMED" taken up [from DanC] 15:33:23 In "major technical: underspecified errors" 15:33:23 http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2006Jan/0066.html 15:35:04 zakim, mute me 15:35:04 Kendall_Clark should now be muted 15:37:44 AndyS: Fred's example is not a valid dataset: ... FROM NAMED FROM NAMED ... 15:40:02 (SELECT ?x) (FROM NAMED ) (FROM NAMED ) (WHERE { ?x a w:idget }) 15:42:02 dataset is a function from URI to Graph 15:42:14 can't have ds() = G1 and also ds() = G2 15:43:45 You can if G1=G2. Which it does, right? 15:43:53 not necessarily 15:43:56 :-) 15:44:09 15:44:48 Ah yes. I forgot that resources are functions from times to real things. 15:45:21 ACTION DanC: answer "major technical: underspecified errors" 15:45:30 Zakim, next item 15:45:30 agendum 6. "Toward updated QL WD" taken up [from DanC] 15:45:48 patH has left #dawg 15:45:57 patH has joined #dawg 15:46:52 Zakim, who's on the phone? 15:46:52 On the phone I see jeen, DanC, AndyS, EliasT, JanneS, EricP, PatH, LeeF, Kendall_Clark (muted) 15:47:52 Pat, Enrico, your discussion today inspired me to write an example of a bnode that crosses the query boundry 15:48:27 http://www.w3.org/mid/20060214154530.GA28459@w3.org -> told bnodes example 15:48:46 LC by editors make the changes, then publish 15:49:22 zakim, unmute me 15:49:22 Kendall_Clark should no longer be muted 15:49:26 can give qa check in next 48 hours 15:49:27 Janne may have comments within 48hrs 15:49:56 +1 to pub'ing LC doc now 15:50:25 zakim, mute me 15:50:25 Kendall_Clark should now be muted 15:50:25 agenda? 15:51:02 +1 15:51:09 extend by 20 15:51:11 i need to go pick up children - happy to catch up past missed weeks by checking ql wd 15:51:25 Zakim, take up item 3 15:51:25 agendum 3. "comments related to rdfSemantics, owlDisjunction" taken up [from DanC] 15:51:27 JanneS has left #dawg 15:51:36 -JanneS 15:53:00 ericP -- your example doesn't have a shared bnode occuring in both the query and the answerset, though, does it? 15:53:42 LeeF, the query was informed by some elided earler answer 15:53:50 PROPOSED: to publish as last call rq23 1.639 + edits to section 2.5 agreed by Andy, PatH, and (Enrico or Sergio), and editorial tweaks elsewhere agreed by 2 of {ericp, andys,danc} 15:54:01 that is, it'S the only way the query could be formed (i guess) 15:55:20 PROPOSED: to publish as last call rq23 1.639 + edits to section 2.5 agreed by Andy, PatH, and (Enrico or Sergio) by Thursday, and editorial tweaks elsewhere agreed by 2 of {ericp, andys,danc} 15:55:42 LeeF, it was a quick thought, you may want to flesh it out/critique it 15:56:24 PROPOSED: to publish as last call rq23 1.639 + actions today 15:56:32 ericP, i need to think about it more :) i mean, the WG made a decision not to support told bnodes -- so while the client might be smart enough to know that a bnode label from a previous query is special, it's NOT because the specification sanctioned a shared (mathematical) bnode 15:56:46 ACTION AndyS: to make 2 edits to 2.5 per today's discussion 15:57:05 Edits: "E-entailment Regime" and "Pattern Solution change" 15:57:10 Lee, the current defs do *allow* told bnodes to occur. 15:57:25 patH, the defs with BGP'? 15:58:45 Yes 15:58:57 Both of them, in fact. 15:59:08 Sorry, pat forgot to mute. 15:59:12 :-) 15:59:16 PROPOSED: to publish as last call rq23 1.639 + edits to section 2.5 agreed by Andy, PatH, and (Enrico or Sergio) by Thursday, and editorial tweaks elsewhere agreed by 2 of {ericp, andys,danc} 16:00:13 PROPOSED: to publish as last call rq23 1.639 + andy's 2 edits + results of enrico's action, as judged by DanC on Thursday, and editorial tweaks elsewhere agreed by 2 of {ericp, andys,danc} 16:01:17 abstain 16:01:30 so RESOLVED, risks noted 16:01:41 Zakim, take up item ftf 16:01:51 Zakim, take up item f2f 16:01:53 patH, To be honest, while I understand the use cases and basic idea behind told bnodes, I'm not sure I understand precisely what "allowing told bnodes" means (mathematically) -- care to help? for ex., does it imply anything about bnodeIDs acting as names? or as bnodes having shared identity across scopes? or something else? 16:02:01 agendum 8. "upcoming ftf 2-3Mar" taken up [from DanC] 16:02:11 'f2f' does not match any agenda item, DanC 16:03:18 http://www.w3.org/2002/09/wbs/1/DAWGnextSteps/ 16:03:43 will there be call-in facilities for the f2f? 16:04:00 Lee, I'll do that in an email. Basically there are 3 scopes: the target graph G, the query BGP and the answer set (G' in my version). Told bnodes allows BGP and G to overlap bnodes. Enrico and I are arguing about BGP and G' sharing. 16:05:40 q+ KC 16:05:52 thanks, patH. I'll think about it more. 16:07:33 (ericp, let's take KC's question and then adjourn with a "input to the agenda is welcome, esp before fri", breath, and chat) 16:08:21 (I recommend vegetables 1st (i.e. internal WG business) and dessert Fri) 16:08:57 +1 reboot testing effort at ftf. (andy's suggestion) 16:09:15 well, not reboot; re-invigorate 16:09:43 yay 16:10:10 it's mostly read-only from the remote caller's p.o.v. 16:10:19 +1 Yay. How many at the same time? 16:10:19 but i'm okay with that 16:10:19 zakim, unmute me 16:10:19 Kendall_Clark should no longer be muted 16:11:21 listen to telcon, write to IRC works for me 16:12:02 (for the on-call arrangement, best to have somebody in the room specifically thinking about when/if to call pat) 16:12:22 (we're over time) 16:12:25 Did Pat just say he spits on Alabama? 16:12:34 I'm familiar with that sentiment. 16:12:42 In Alabama. 16:13:37 kendallclark, would like to prioritize issues 16:13:45 kendallclark: would like to prioritize issues 16:13:48 I agree with KC... allowin folks to rate issues is a good idea 16:14:10 ericP: where's your PGP key? 16:14:19 +1 : need to ensure -- saying "yes" to everything is less useful 16:15:11 http://esw.w3.org/topic/SwigAtTp2006 16:15:17 was packed last I chatted with the chairs 16:16:00 (Friday afternoon future-of-SPARQL seems good to me) 16:17:59 ADJOURN. 16:18:29 RRSAgent, please make logs world readable 16:18:29 I'm logging. I don't understand 'please make logs world readable', EliasT. Try /msg RRSAgent help 16:18:48 RRSAgent, make logs world-access 16:18:54 RRSAgent, generate minutes 16:18:54 I have made the request to generate http://www.w3.org/2006/02/14-dawg-minutes.html EliasT 16:19:09 -jeen 16:19:14 http://torrez.us/code/json-sparql/ 16:19:42 "This is a DRAFT; please do not distribute or quote from it." 16:20:04 http://www.bnode.org/archives2/54 16:22:25 http://www.alvestrand.no/pipermail/ietf-types/2006-February/001663.html 16:23:33 the reg exp itself: 16:23:33 http://www.alvestrand.no/pipermail/ietf-types/2006-February/001661.html 16:25:35 references section could use a JSON cite 16:25:37 http://www.json.org/ 16:26:48 Here's the query: 16:26:49 PREFIX foaf: 16:26:49 SELECT DISTINCT ?p1 ?p1_name ?p2_name ?p2_mbox_sha1 16:26:49 WHERE { 16:26:49 ?p1 foaf:name ?p1_name ; 16:26:50 foaf:knows ?p2 . 16:26:52 ?p2 foaf:name ?p2_name ; 16:26:54 foaf:mbox_sha1sum ?p2_mbox_sha1 . 16:26:56 } 16:26:58 ORDER BY ?p1_name 16:27:00 LIMIT 30 16:27:02 Answe: 16:27:04 { 16:27:06 head: { 16:27:08 variables: ["p1", "p1_name", "p2_name", "p2_mbox_sha1"] 16:27:10 }, 16:27:12 results: { 16:27:14 distinct: true, 16:27:16 ordered: true, 16:27:20 compact: true, 16:27:22 indexed: false, 16:27:24 bindings: [ 16:27:26 { 16:27:28 p1: { 16:27:30 type: "bnode", 16:27:32 value: "b2e9ddd5ebb264646b852dcd207e13d8a_bn1" 16:27:34 }, 16:27:38 p1_name: "Jim Ley", 16:27:40 p2_name: "Jeremiah McElroy", 16:27:42 p2_mbox_sha1: "f0d988b33153f21479cffa647cbe6faac65a98f8" 16:27:44 }, 16:27:46 { 16:27:50 p1: { 16:27:52 type: "bnode", 16:27:54 value: "b2e9ddd5ebb264646b852dcd207e13d8a_bn1" 16:27:56 }, 16:27:58 p1_name: "Jim Ley", 16:28:00 p2_name: "Mart Sanderson", 16:28:02 p2_mbox_sha1: "ce3165ecf98cdb6d8153503949b320e24a6138a0" 16:28:04 }, 16:28:23 jsonc="p1(),p1_name,p2_name,p2_mbox_sha1"; 16:29:54 If you send the ARQ serializer, I'll add it. test and doc would be cool but aren't a barrier 16:29:55 (my preference is for the most compact version always.) 16:30:52 AndyS -- it doesn't exist yet but hopefully will within the next few days 16:31:00 :-) 16:31:06 *hopefully* :-) 16:31:19 should be rather straightforward. 16:32:23 "distractingly interesting" quite. I have a TAG telcon that I owe preparation for 16:33:22 AndyS has left #dawg 16:33:33 http://www.w3.org/TR/rdf-sparql-XMLres/ 16:34:24 -AndyS 16:34:24 p1.value 16:34:43 hasta. 16:34:48 -DanC 16:34:50 RRSAgent, stop