14:53:30 RRSAgent has joined #sparql 14:53:30 logging to http://www.w3.org/2011/03/01-sparql-irc 14:53:36 Zakim has joined #sparql 14:53:52 Zakim, this will be sparql 14:53:52 ok, AxelPolleres; I see SW_(SPARQL)10:00AM scheduled to start in 7 minutes 14:56:14 SW_(SPARQL)10:00AM has now started 14:56:21 +??P11 14:56:38 Zakim, ??P11 is me 14:56:38 +SteveH; got it 14:56:56 +[IPcaller] 14:57:03 zakim, IPCaller is me. 14:57:03 +AndyS; got it 14:57:25 +??P13 14:57:32 +corby 14:57:38 AndyS, did you just say something? 14:57:39 zakim, ??P13 is me 14:57:39 +NickH; got it 14:58:06 Yes - did you hear anytghing? I can't hear you. skype testing service worked though. 14:58:21 I'm muted, one sec 14:58:43 +kasei 14:58:45 cbuilara has joined #sparql 14:58:48 +pgearon 14:58:58 getting some echo 15:00:32 MattPerry has joined #sparql 15:00:48 +[IPcaller] 15:00:49 trackbot, start meeting 15:00:51 RRSAgent, make logs world 15:00:53 Zakim, this will be 77277 15:00:53 ok, trackbot; I see SW_(SPARQL)10:00AM scheduled to start now 15:00:54 Meeting: SPARQL Working Group Teleconference 15:00:54 Date: 01 March 2011 15:01:06 zakim, IPcaller is me 15:01:06 sorry, cbuilara, I do not recognize a party named 'IPcaller' 15:01:29 Zakim, who is on the phone? 15:01:29 I notice SW_(SPARQL)10:00AM has restarted 15:01:30 On the phone I see SteveH, AndyS, NickH, corby, kasei, pgearon, [IPcaller], AxelPolleres, Sandro, MattPerry 15:01:35 Zakim, IPcaller is me 15:01:35 +cbuilara; got it 15:01:44 zakim, mute me 15:01:46 cbuilara should now be muted 15:02:07 SteveH has joined #sparql 15:02:14 scribe: steveH 15:02:21 chair: Axel Polleres 15:02:35 agenda: http://www.w3.org/2009/sparql/wiki/Agenda-2011-03-01 15:02:53 regrets: LeeF, Chime 15:03:12 +bglimm 15:03:15 topic: admin 15:03:20 Zakim, mute me 15:03:20 bglimm should now be muted 15:03:24 PROPOSED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2011-02-22 15:03:59 RESOLVED: Approve minutes at http://www.w3.org/2009/sparql/meeting/2011-02-22 15:04:10 topic: comments 15:04:32 Axel: I've updated the comments page, picked any additional comments found on list 15:04:48 ... have several things not assigned, 1 from Greg R, from 26th of Jan 15:05:02 ... not sure if there was an overall answer 15:05:10 ... Lee thinks he's ok with the answer 15:05:17 ... Axel to check with Lee 15:05:42 ... next comment from Jeremy C. on Update, graph identification 15:05:52 ... using URIs that are IRI 15:06:03 ... I will ask Chime if noone else wants to comment 15:06:28 next, some comment on AVG() testcase from Jeen B 15:06:43 http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2011Feb/0025.html 15:06:45 Axel: anybody voluneering? 15:07:06 I guess I should, but I'm really busy 15:07:40 Axel: I'll put Steve's name on it 15:07:56 ... we should clear all the comments before going to last call 15:07:56 NickH has joined #sparql 15:08:05 ACTION: Steve to draft an answer for JB-4 15:08:05 Created ACTION-401 - Draft an answer for JB-4 [on Steve Harris - due 2011-03-08]. 15:08:24 alex_ has joined #sparql 15:08:51 Axel: last comment from ???, I can take a look at that 15:08:59 ACTION: Axel to take care of RV-7 15:08:59 Created ACTION-402 - Take care of RV-7 [on Axel Polleres - due 2011-03-08]. 15:09:04 ??? = Rob V. 15:09:04 http://lists.w3.org/Archives/Public/public-rdf-dawg-comments/2011Feb/0024.html 15:09:14 +AlexPassant 15:09:38 http://www.w3.org/2009/sparql/wiki/CommentResponse:KK-7 15:09:59 Axel: one problem with comment from Jeen which we can't address yet 15:10:07 ... there's a mail about it on list 15:10:40 ... Jeen commented on MINUS v's NOT EXIST 15:10:44 http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0369.html ... not exists vs. minus 15:10:53 ... don't know how to proceed there 15:11:13 that isn't true, though 15:11:16 ... Jeen says that MINUS is equiv. in all cases where it's not redundant 15:11:38 -SteveH 15:12:03 http://www.w3.org/2009/sparql/wiki/CommentResponse:JB-2 15:12:16 +??P11 15:12:24 Zakim, ??P11 is me 15:12:24 +SteveH; got it 15:12:52 kasei: Jeen posted it on his weblog before this comment, and I commented on the blog 15:13:28 ACTION: greg to answer to http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0369.html with counterexample to JB-2 15:13:28 Created ACTION-403 - Answer to http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0369.html with counterexample to JB-2 [on Gregory Williams - due 2011-03-08]. 15:13:58 Next regular meeting: 2011-03-08 @ 15:00 UK / 10:00 EST (scribe: Paul Gearon) 15:14:18 regrets for next week from me 15:14:30 AxelPolleres: I will not be here but lee will be 15:14:31 regrets also 15:14:40 ... geosparql has asked us for a review 15:14:49 topic: gepsparql review http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0343.html 15:15:05 MattPerry: we have a group of about 10, working on geosparql, it is straightforward, vocab + filter functions for SPARQL 15:15:30 ... in OGC they've had std. object models for geometry, takes on and created RDF vocab that does the same thing 15:15:45 ... different classes for polygon,. point, line + dimensions and so on 15:16:07 ... also functions for objects, created analagous filter functions for them 15:16:15 ... union intersection etc. 15:16:24 ... translation of existing standard 15:16:37 .... serialise these geometries in RDF, created datatypes 15:16:40 http://www.w3.org/2011/02/GeoSPARQL.pdf 15:16:57 ... existing text based standards can be put in literals 15:17:23 ... use these literals as arguments to functions 15:18:21 I can do it, or ask anybody in my grpup 15:18:25 group 15:18:34 zakim, unmunte me 15:18:34 I don't understand 'unmunte me', cbuilara 15:18:44 zakim, unmunte me 15:18:44 I don't understand 'unmunte me', cbuilara 15:18:54 zakim, unmute me 15:18:54 cbuilara should no longer be muted 15:19:19 cbuilara: people in my research group working on GML(?) 15:19:25 ... it would be worth them looking at it 15:19:47 ... I will send a review 15:19:54 ACTION: carlos to look in his group for a review for GeoSPARQL and send it to us 15:19:54 Could not create new action (failed to parse response from server) - please contact sysreq with the details of what happened. 15:19:54 Could not create new action (unparseable data in server response: local variable 'd' referenced before assignment) - please contact sysreq with the details of what happened. 15:20:16 AxelPolleres: to last call... 15:20:23 ... take a look at status of drafts 15:20:24 topic: to last call 15:20:25 http://www.w3.org/2009/sparql/wiki/To_Last_Call 15:20:25 \ 15:20:43 Zakim, unmute me 15:20:43 bglimm should no longer be muted 15:21:09 I had a few comments on the revised sections 15:22:43 AndyS: there are 12 markers in doc for things to do, all editorial - Steve can you look at the eval of ToList, not sure it can be removed 15:22:55 ... if people are happy to comment in that state we can go ahead 15:23:04 andy: 12 editorial markers in the doc at the moment... apart from that, we can go ahead with review 15:23:42 AxelPolleres: we have reviewers assigned, so can turn to BGP matching 15:23:53 BGP matching extensions rewording suggestions by Birte http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0276.html 15:24:02 ... has rewording suggestions 15:24:31 bglimm: the main problem is that terminology is outdated, uses old terminology 15:24:47 ... uses different word from rest of text, not been updated since defintions were tested 15:24:56 ... would like it updated 15:25:17 ... the only thing I suggest is to require that solutions are uniquely satisfied 15:25:26 ... I think it's quite important 15:25:41 q? 15:25:44 ... doesn't really change any of the semantics 15:26:06 AndyS: looked through the text, it looked pretty good, was planning on putting that text in 15:26:16 ... there's a couple of points I want to check 15:26:36 AxelPolleres: one point, reformulation of cond. 1, sent to list 15:27:08 [ discussion of uniquely specified issues ] 15:27:41 -SteveH 15:27:53 s/uniquely/uniquely (up to RDF graph equivalence)/ ? 15:27:54 sorry, something wrong with the sip connection :( 15:28:13 +??P11 15:28:19 Zakim, ??P11 is me 15:28:19 +SteveH; got it 15:29:02 q+ 15:29:44 q- 15:29:46 I can try 15:30:01 AxelPolleres: no action here 15:31:23 ACTION: Birte to draft xml for revised Extending BGP matching section for query 15:31:23 Created ACTION-405 - Draft xml for revised Extending BGP matching section for query [on Birte Glimm - due 2011-03-08]. 15:31:38 ... that's all for query 15:31:55 ... for update, any news? lots of discussion, will come to that later 15:32:10 ... service descirption, grega, can you give update 15:32:11 Zakim, mute me 15:32:11 bglimm should now be muted 15:32:29 kasei: I've added a couple of things to the SD section, biggest thing is relationship with dataset protocol 15:33:14 ... said I'd take it to email, suggested simple change to SD vocab which will be sufficient to describe a dataset in terms of the dataset protocol 15:33:32 ... if its goes beyond that I'm going to push back, to avoid getting into out of scope things 15:33:37 ... waiting on more discussionm 15:33:57 ... been discussing conformance language with Andy 15:34:16 ... I'm happy discussing on email 15:35:07 I owe a review on {something} 15:35:10 Zakim, unmute me 15:35:10 bglimm should no longer be muted 15:35:23 bglimm: waiting for a review on entailment 15:35:57 ???: the parital review that was sent out is the final one 15:36:05 bglimm: I saw one review 15:36:11 s/???/Matt/ 15:36:34 bglimm: connonicalisation issue 15:36:49 ... only define d-entailment within some limit 15:37:05 ... not happy, but it's what we decided, not sure if we want to revisit 15:37:28 AxelPolleres: I guess at the moment we just go on, what's your suggestion 15:37:46 bglimm: I would just remove the entailment, it's not nice that systems behave differently 15:38:09 ... SPARQL doesn't specify this behaviour, so maybe it's not up to the entailments regimes 15:38:48 ... you can only return ansers that occur in the graph, but that depends on parsing process 15:39:04 ... might have two different values, so might return two answers 15:39:22 issue different answers and also differenct cardinalities implied. 15:39:23 ... can get different cardinality 15:39:40 ... do you want to require canonicalisation - seems to be the only way to solve this problem 15:40:24 bglimm will add a note to the document 15:40:27 zakim, who is on the call? 15:40:27 On the phone I see AndyS, NickH, corby, kasei, pgearon, cbuilara, AxelPolleres, Sandro, MattPerry, bglimm, AlexPassant, SteveH 15:40:32 q? 15:40:56 cbuilara: proposed semantics of service algebra, difficult to understand what I was proposing in email, I will follow your comments 15:41:16 ... it is almost finished I think, will be finished this/next week 15:41:44 formal update semantics] 15:41:51 topic: Update Formal Semantics (incl. bnodes as DELETE-wildcards) 15:41:53 particularly bnodes as wildcards 15:41:59 zakim, mute me 15:41:59 cbuilara should now be muted 15:42:25 AxelPolleres: summary - there were concerns about update semantics as in current draft 15:42:28 http://www.w3.org/2009/sparql/docs/update-1.1/Overview.xml#formalModel 15:42:48 ... because it doesn't cover the resolution that we wanted to create blank nodes in delete patters as wildcards 15:42:57 ... there were some mails with suggestions 15:42:59 http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0305.html 15:43:19 http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0317.html 15:43:19 ... three options 15:43:39 -SteveH 15:43:52 +??P0 15:43:59 Zakim, ??P0 is me 15:43:59 +SteveH; got it 15:44:11 ... several coinflip descisions on what it means 15:44:37 ... do the bns match all resources which are available, or whether they are [something] 15:44:43 ... people not so convinced 15:44:55 ... third option is to revisit resolution. no blank nodes as wildcards 15:44:57 q+ 15:46:52 q- 15:46:55 q+ 15:47:10 Option 1: Bnode match all resources in the graph (essentially rewriting 1 in the mails) 15:48:12 Option 2 : bnodes match whatever they match if treated as "moficy_tmeplate copied tyo body" 15:48:39 (essentially rewriting 2) 15:49:14 AndyS: are there usecases where 1 & 2 are different 15:49:24 Option 1 and 2 differ , see http://lists.w3.org/Archives/Public/public-rdf-dawg/2011JanMar/0317.html 15:51:12 AxelPolleres: at end of mail there's a simple example, so prolem with unbound is there 15:51:21 Option3: treat bnodes as in CONSTRUCT/INSERT, i.e. as new bnodes... would mean they don't match anything. 15:51:38 (that is against our earlier resolution) 15:51:55 Option4:is to forbid bnodes in DELETE 15:51:55 q- 15:52:03 SteveH: rather to make it an error 15:52:18 AxelPolleres: one mail from birte, not happy with rewritings 15:52:26 Zakim, unmute me 15:52:26 bglimm was not muted, bglimm 15:52:50 bglimm: you could just define that you wanted all things deleteed that are an instance of the graph 15:53:16 ... not specifiy how you want the deletion, reqriting is one way of doing the delete, would like a more abstract definition 15:53:35 ... would have to do some graph matching to decide which triples are deleted 15:53:39 ... re. option 2 15:53:42 IIUC version 1 does not reflect pattern of bNode use -> makes me v nervious 15:54:21 ... equiv. to option 1, but not specified with UNIONs 15:54:31 AxelPolleres: think it could be done but not sure anyone has time 15:55:12 ... need some kind of skolemisation/deskolemisation 15:55:25 Who was a supporter of the original point of making bNodes variables at all? Do we need to check with them? 15:55:34 bglimm: they are like variables in normal evaluation, don't have to skolemise 15:56:20 bglimm: think it's more difficult to delete lists 15:56:31 AndyS: do any of the mechanisms actually help? 15:57:01 Can someone draft a Testcase that does list deletion? 15:57:05 bglimm: I think they do 15:57:12 AndyS: only works where you know the links 15:57:14 q+ 15:57:25 bglimm: that's the main usecase 15:57:34 AxelPolleres: only works with fixed length lists 15:59:19 -SteveH 15:59:37 +??P0 15:59:41 Zakim, ??P0 is me 15:59:41 +SteveH; got it 16:00:23 Hmm - something like DELETE { ?x rdf:first ?f ; rdf:rest ?y } WHERE { ?list rdf:rest* ?x . ?x rdf:first ?f ; rdf:rest ?y } 16:00:33 4, where forbidden = causes an error, rather than bannedby syntax 16:00:34 3 or 4 16:00:41 option 4 (followed by 3) 16:00:43 which works by finding the list element one at a time 16:00:48 0 16:00:50 (sorry, undecided.) 16:00:54 no opinion - need to see details. 16:01:02 don't know yet 16:01:12 -pgearon 16:01:15 Strawpoll Option1-4 ? 16:01:16 prefer 1 over 2 , but can live with 3/4 16:01:32 -Sandro 16:01:33 bye 16:01:35 \quit 16:01:39 let's take it to email 16:01:40 -SteveH 16:01:42 -bglimm 16:01:44 -kasei 16:01:48 -corby 16:01:52 -NickH 16:01:54 -MattPerry 16:01:55 steve, can you take care of the minutes? (need to run) 16:01:56 hm, Zakim over VoIP, not really mature 16:01:58 -AlexPassant 16:02:00 -cbuilara 16:02:04 -AndyS 16:02:09 rrsagent, make records public 16:02:20 -AxelPolleres 16:02:22 SW_(SPARQL)10:00AM has ended 16:02:24 Attendees were SteveH, AndyS, corby, NickH, kasei, pgearon, AxelPolleres, Sandro, MattPerry, cbuilara, bglimm, AlexPassant 16:02:37 AxelPolleres has left #sparql 16:29:36 OK - I have an arbitrary length list deletion SPARQL Update :-) 16:30:01 It uses INSERT and EXISTS! It's a bit like a Turing machine. 16:34:27 heh 16:34:47 Nice, Turing machines are good ;-) 16:34:48 how complex is it? 16:35:15 Quite complex :-) Just building an every-case example. 16:36:19 I really hate to suggest this, but does this justify introducing something for list deletion? 16:36:57 we descided not to do lists 16:37:00 IIRC 16:37:09 OK 16:37:46 well, if that's the case, then this will deserve an entry into the "Cookbook" for using SPARQL :-) 16:37:47 you can't (easily) create arbitrary length lists either 16:38:40 Interesting. What kind of use cases do you have for creating arbitrary length lists? 16:39:12 like, "find all of property :x on :y and generate a list of them"? 16:46:14 I doubt there is a good solution without making lists first class objects in RDF. 16:48:13 agreed 16:49:10 INSERT { :list ?list } WHERE { SELECT (LIST(?x, ?y, ?z) AS ?list) WHERE { .. } } 16:49:14 or something like that 16:59:05 iv_an_ru has joined #sparql 17:09:13 email sent - I'm sure it can be shortened but the way it's done reflect the problem solving process. 17:34:17 iv_an_ru has joined #sparql 18:05:24 Zakim has left #sparql 19:44:55 Birte's suggested text is now in rq25. 20:20:13 karl has joined #sparql 20:42:30 AndyS has joined #sparql 21:29:17 AndyS has joined #sparql 22:29:04 karl has joined #sparql 23:14:07 LeeF has joined #sparql