14:46:16 RRSAgent has joined #prov 14:46:16 logging to http://www.w3.org/2012/05/03-prov-irc 14:46:18 RRSAgent, make logs world 14:46:18 Zakim has joined #prov 14:46:20 Zakim, this will be 14:46:20 I don't understand 'this will be', trackbot 14:46:21 Meeting: Provenance Working Group Teleconference 14:46:21 Date: 03 May 2012 14:46:22 Zakim, this will be PROV 14:46:22 ok, pgroth; I see SW_(PROV)11:00AM scheduled to start in 14 minutes 14:46:35 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.05.03 14:46:43 Scribe: Stian Soiland-Reyes 14:46:49 Chair: Paul Groth 14:47:00 rrsagent, make logs public 14:47:08 Regrets: Khalid Belhajjame 14:53:01 TomDN has joined #prov 14:53:05 SW_(PROV)11:00AM has now started 14:53:13 + +49.674.180.aaaa 14:53:17 +TomDN 14:53:28 Zakim, mute me 14:53:28 TomDN should now be muted 14:53:37 do you hear us? 14:54:09 I don't hear anyone atm 14:54:39 problems with the system? 14:54:44 i don't know 14:54:51 can you say something? 14:54:55 Zakim, unmute me 14:54:55 TomDN should no longer be muted 14:55:18 i can hear you 14:58:25 GK has joined #prov 14:58:44 +??P31 14:58:47 smiles has joined #prov 14:58:53 Curt has joined #prov 14:59:24 +Curt_Tilmes 14:59:34 satya has joined #prov 15:00:08 +??P37 15:00:18 Paolo has joined #prov 15:01:02 tlebo has joined #prov 15:01:03 1 sec 15:01:31 +??P35 15:01:34 dgarijo has joined #prov 15:01:36 +??P38 15:01:39 +??P28 15:01:46 kai has joined #prov 15:01:49 jun has joined #prov 15:01:51 Zakim: one of those is me 15:01:55 +tlebo 15:02:01 zakim, one of those is me :) 15:02:01 I'm glad that smiley is there, GK 15:02:11 +??P44 15:02:13 -??P35 15:02:22 +??P39 15:02:25 Zakim, ??P44 is probably me 15:02:28 Zakim, who is being noisy? 15:02:34 +Satya_Sahoo 15:02:38 -??P38 15:02:40 +dgarijo?; got it 15:02:42 I don't understand your question, stain. 15:02:52 +Sandro 15:02:53 Zakim, who is noisy 15:02:56 +??P10 15:02:59 zakim, ??P38 is me 15:03:03 zednik has joined #prov 15:03:09 zakim, ??P10 is me 15:03:13 I don't understand 'who is noisy', dgarijo 15:03:14 +??P17 15:03:16 I already had ??P38 as ??P38, jun 15:03:18 +??P8 15:03:20 +jun; got it 15:03:24 +??P34 15:03:28 at some point z knew my number.. 15:03:32 stephenc has joined #prov 15:03:34 zakim, ??p17 is me (I think) 15:03:34 I don't understand '??p17 is me (I think)', GK 15:03:38 Topic: Admin 15:03:42 zakim, ??P34 is probably me. 15:03:42 +kai?; got it 15:03:42 pgroth: lots to talk about today 15:03:45 http://www.w3.org/2011/prov/meeting/2012-04-26 15:03:54 zakim, who is on the call? 15:03:54 On the phone I see +49.674.180.aaaa, TomDN, ??P31, Curt_Tilmes, ??P37, ??P28, tlebo, dgarijo?, ??P39, Satya_Sahoo, Sandro, jun, ??P17, ??P8, kai? 15:04:01 Minutes of the April 26 2012 Telecon 15:04:05 +1 15:04:07 +1 15:04:07 pgroth: Approve minutes? 15:04:08 zakim, ??p17 is me 15:04:08 +GK; got it 15:04:08 +1 15:04:10 +1 15:04:12 +1 15:04:15 +1 15:04:20 +0 (wasn't there) 15:04:23 jcheney has joined #prov 15:04:27 +1 15:04:31 0 (didn't attend) 15:04:37 +1 15:04:37 + +44.131.467.aabb 15:04:37 +1 15:04:48 Approved Minutes of the April 26 2012 Telecon 15:04:49 +[OpenLink] 15:04:54 APPROVED 15:05:01 Zakim, [OpenLink] is temporarily me 15:05:02 +MacTed; got it 15:05:03 Zakim, mute me 15:05:03 MacTed should now be muted 15:05:06 pgroth: not reviewing action items now, we'll look at those later 15:05:19 pgroth: would hope to get scribes before the day of the telcon! 15:05:23 Topic: Release of Documents 15:05:57 pgroth: all documents available and published now - thanks everyone 15:06:04 pgroth: see http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.05.03#Release_of_Documents 15:06:15 pgroth: http://www.w3.org/TR/prov-primer/ 15:06:16 http://www.w3.org/TR/prov-o/ 15:06:16 http://www.w3.org/TR/prov-dm/ 15:06:16 http://www.w3.org/TR/prov-n/ 15:06:17 http://www.w3.org/TR/prov-constraints/ 15:06:25 pgroth: now, how to announce this and promote this 15:06:42 pgroth: action items on announcement of documents 15:06:48 +??P33 15:06:54 pgroth: one action on pgroth was to make a general blog post - DONE 15:07:08 pgroth: one on Jun to prepare a PROV-O blogpost, done with Stian 15:07:09 done that with Stian 15:07:11 JimMcCusker has joined #prov 15:07:23 pgroth: and last a post around DM 15:07:30 Luc: Drafted - will finalize it tonight, finish tomorrow 15:07:41 pgroth: wanted to talk a little bit about when we want to publish this together 15:07:53 pgroth: we want the overral view and things in order 15:08:03 Luc: would assume the other two blog posts were published! Need their URLs.. 15:08:16 pgroth: I will post PROv-O blog and update its links - share it with you 15:08:20 q? 15:08:32 q? 15:08:38 pgroth: any questions on the announcements? 15:08:47 pgroth: semantic activity news - will also be on w3c main site 15:09:03 q+ what about various mailing lists? 15:09:10 +q what about various mailing lists? 15:09:13 whatever! 15:09:26 Luc: to email various participants 15:09:35 pgroth: that's next on the agenda! 15:09:38 q? 15:10:25 Stian: What about various mailing lists like semweb- lifesciences etc 15:10:29 I can do W3C HCLS and ACM SIGHIT 15:10:34 pgroth: happy to announce on semantic web mailing list and dagstuhl 15:10:44 action paul to send to semweb and dagstuhl mailing lists 15:10:44 Created ACTION-83 - Send to semweb and dagstuhl mailing lists [on Paul Groth - due 2012-05-10]. 15:11:11 action satya announce PROV to W3C HCLS and ACM SIGHIT 15:11:12 Created ACTION-84 - Announce PROV to W3C HCLS and ACM SIGHIT [on Satya Sahoo - due 2012-05-10]. 15:11:14 action satay w3c hcls arm and acm sighit 15:11:14 Sorry, couldn't find user - satay 15:11:33 Satya to wait for pgroth's email and copy from there 15:11:42 action satya w3c hcls and arm sigit 15:11:42 Created ACTION-85 - W3c hcls and arm sigit [on Satya Sahoo - due 2012-05-10]. 15:12:00 pub-lod? 15:12:03 there are project lists -- Wf4Ever, DataONE 15:12:03 pgroth: other mailing lists? 15:12:06 I can do both 15:12:13 ((?) could not hear you properly ) 15:12:18 action sandro to send to w3c mailing lists 15:12:18 Created ACTION-86 - Send to w3c mailing lists [on Sandro Hawke - due 2012-05-10]. 15:12:35 action paolo mail to wf4ever and dataone 15:12:35 Created ACTION-87 - Mail to wf4ever and dataone [on Paolo Missier - due 2012-05-10]. 15:12:44 I can post it in G+ ;) 15:12:45 why don't you do that? 15:12:54 there is still a provenance-challenge list, right? 15:12:55 Sandro said he'd notify other RDF WGs within W3C (RDF, SPARQL, etc) 15:13:02 or is it just us :-) 15:13:03 (@stian^^) 15:13:06 @GK thnx 15:13:46 pgroth: we've identified people who are interested in the spec, from Connecting taskforce - who is leading that now? Stephan? 15:13:59 stephenc: (?) tech list 15:14:10 stephenc: a survey, did not think of it as a connection taskforce.. 15:14:19 pgroth: would they get this already through the mailing lists? 15:14:27 stephenc: will send an email to people who said they were interested 15:14:29 http://www.w3.org/2011/prov/wiki/Connection_Task_Force is not test case TF 15:14:31 action stepenc to send email to stockholders 15:14:31 Sorry, couldn't find user - stepenc 15:14:38 q? 15:14:55 s/stepenc/zednik 15:14:55 Topic: PAQ 15:15:00 ... which is http://www.w3.org/2011/prov/wiki/Implementation_and_Test_Cases_Task_Force 15:15:13 @stain - that was zednik, not stephenc 15:15:15 is http://dvcs.w3.org/hg/prov/raw-file/default/paq/working/prov-aq.html the right URI? 15:15:23 GK: no changes since last meeting 15:15:34 ... feedback from Olaf, happy with changes. No objections on mailing list 15:15:55 ... lurking in the back are some other issues I've not tracked down, but don't think any blockers 15:16:11 pgroth: I've received comments from Luc that needs to be done, but all minor 15:16:17 (not minor?) 15:16:30 GK: addressed editorial stuff that came up on mailing lists, and a couple of issues mentioned there 15:16:41 pgroth: we are in a position that we can release a working draft 15:16:46 q? 15:16:53 Proposal: to release PAQ as a working draft 15:16:56 q+ 15:17:16 -??P8 15:17:25 stain: which url? 15:17:27 so that's http://dvcs.w3.org/hg/prov/raw-file/default/paq/prov-aq.html 15:17:33 ack stain 15:17:39 it claims: "PROV-DM, the PROV data model for provenance (this document)," 15:17:40 +??P8 15:17:45 GK has last edited /working/prov-aq.html 15:17:52 zakim, ??p8 is me 15:17:52 +GK; got it 15:17:54 hello 15:18:04 SCRIBE DROPPED OUT - backup scribe please 15:18:21 ok, I'll scribe 15:18:23 +??P11 15:18:24 http://dvcs.w3.org/hg/prov/raw-file/default/paq/prov-aq.html 15:18:25 I'm back 15:18:30 pgroth: Which is the correct URL? 15:18:31 -??P28 15:18:43 perhaps we need to sort out which document we are going to release.. ;) 15:19:28 GK: need to check this for a couple of minutes, and come back in the chatlog with the right URI 15:19:41 @GK in Mercurial, pgroth last edited /paq/ and you edited /paq/working/ 15:19:56 Topic: Dublin Core Best Practice 15:20:04 Kai/Simon/Daniel? 15:20:19 Zakim, who is on the call 15:20:19 I don't understand 'who is on the call', stain 15:20:19 @Kai, do you give the update or shall i? 15:20:31 Can you hear me? 15:20:33 no 15:20:34 no 15:20:42 (action wasn't created above... zednik to send email to stockholders [or is that stakeholders?]) 15:20:45 Daniel, can you jump in? 15:20:51 Zakim, who is on the phone? 15:20:51 On the phone I see +49.674.180.aaaa, TomDN, ??P31, Curt_Tilmes, ??P37, tlebo, dgarijo?, ??P39, Satya_Sahoo, Sandro, jun, GK, kai?, +44.131.467.aabb, MacTed (muted), ??P33, GK.a, 15:20:55 ... ??P11 15:20:55 PAQ URI should be http://dvcs.w3.org/hg/prov/file/ba89f8345d59/paq/working/prov-aq.html 15:20:56 sure 15:21:01 @MacTed stakeholders 15:21:15 dgarijo: I've been away this week, but catched up with Kai 15:21:15 action zednik to send email to stakeholders 15:21:15 Created ACTION-88 - Send email to stakeholders [on Stephan Zednik - due 2012-05-10]. 15:21:16 Thanks. 15:21:18 dgarijo: a small time table 15:21:26 https://github.com/dcmi/DC-PROV-Mapping/wiki/Mapping-overview 15:21:37 dgarijo: first, write down mappings we did at dagstuhl (link above) 15:21:52 dgarijo: in github so everyone can update and check 15:22:20 dgarijo: plan to develop some (?) with mappings we have in wiki page, stage 1 of mapping - the simple statements, but not missing statements from many different dublin core terms 15:22:25 Zakim, who's noisy? 15:22:35 dgarijo: SPARQL CONSTRUCT queries 15:22:36 MacTed, listening for 10 seconds I heard sound from the following: +49.674.180.aaaa (37%), dgarijo? (61%) 15:22:46 dgarijo: put examples in wiki that can be reviewed - to be done over the next 2 weeks 15:22:56 Zakim, mute aaaa 15:22:56 +49.674.180.aaaa should now be muted 15:23:02 dgarijo: after Kai has finished Masters' thesis we'll come up with an actual implementation to do it automatically 15:23:10 sorry -- the echoes are VERY hard to process thru 15:23:14 dgarijo: that's all 15:23:20 Zakim, unmute aaaa 15:23:20 +49.674.180.aaaa should no longer be muted 15:23:30 My question is, do we need a text and until when? 15:23:32 q? 15:23:43 pgroth: sounds reasonable plan, any comments? 15:23:49 q+ to ask for a deadline for some text. 15:24:01 Zakim, aaaa is pgroth 15:24:01 +pgroth; got it 15:24:03 Zakim, mute aaaa 15:24:03 sorry, pgroth, I do not know which phone connection belongs to aaaa 15:24:04 u can't hear me unfortunately 15:24:13 Zakim, mute pgroth 15:24:13 pgroth should now be muted 15:24:15 :-) 15:24:18 For some report text! 15:24:21 dgarijo: will there be any deadline for this task? 15:24:25 Zakim, unmute pgroth 15:24:25 pgroth should no longer be muted 15:24:27 Or is the technical mapping enough? 15:24:43 pgroth: no hard deadlines, but really important part of specifications. Typical questions we get lot 15:24:46 relations to Dublin Core 15:24:47 Luc has joined #prov 15:24:59 pgroth: would be good to get an idea of how long it would take you to do something 15:25:10 pgroth: I don't know how much you want to spend on this.. 15:25:18 when would you like to release something internally, for us to review? 15:25:24 Audio is cutting in and out - is it just me? 15:25:27 pgroth: we should be at a good state to talk about this for the F2F #3 in June 15:25:30 Zakim, mute pgroth 15:25:30 pgroth should now be muted 15:25:33 but what is your time frame? 15:25:36 Ok, then we focus on the technical mapping and I assume that we document it afterwards. 15:25:43 dgarijo: will try to have something for review as soon as possible 15:25:43 Zakim, unmute pgroth 15:25:43 pgroth should no longer be muted 15:25:51 q? 15:25:52 Technical mapping should be available end of June. 15:25:53 ack kai 15:25:53 kai, you wanted to ask for a deadline for some text. 15:26:22 pgroth: question: Do you think, github as a place to manage these drafts.. because of need to work with dublin core people? 15:26:22 Yes 15:26:31 dgarijo: yes, a place where we can all edit the wiki 15:26:45 But we will make sure to transfer everything to W3C 15:26:50 -GK.a 15:26:52 ?: Michael X to edit it, he's not in the W3C 15:27:06 ?2: can we add him as an invited expert to the group? 15:27:08 Zakim, mute pgroth 15:27:08 pgroth should now be muted 15:27:10 Michael Panzer (he was in the incubator) 15:27:11 agreements on copyright, etc 15:27:14 -??P37 15:27:22 Zakim, unmute pgroth 15:27:22 pgroth should no longer be muted 15:27:26 +1 IE invitation -- IPR, editing version history is preserved, etc. 15:27:28 would avoid any intellectual property issues 15:27:34 who was last speaker? 15:27:37 Of course 15:27:40 test test 15:27:49 @stian, sandro 15:27:51 Zakim, mute pgroth 15:27:51 pgroth should now be muted 15:27:57 smiles has joined #prov 15:28:00 sandro: not particularly unusual to join for such a reason 15:28:05 +??P3 15:28:06 ^^ ?2 is sandro 15:28:08 Zakim, unmute pgroth 15:28:08 pgroth should no longer be muted 15:28:31 pgroth: would be best to keep contributions on w3c site for Intellectual property reasons 15:28:32 jcheney has joined #prov 15:28:32 ok, thanks. 15:28:40 (action on ? to invite?) 15:28:45 +??P2 15:28:51 I seem to be having problems with audio, chat and w3c wiki access... problems with MIT network? 15:28:53 Topic: Definition of Alternate and Specialization 15:29:05 http://www.w3.org/2011/prov/wiki/SpecializationAlternateDefinitions#Definitions_13_.28refinement_of_12.29 15:29:09 Paolo has joined #prov 15:29:16 AGREED to invite Michael Panzer as invited expert 15:29:23 pgroth: we wanted a vote on that 15:29:26 GK_ has joined #prov 15:29:40 pgroth: two options.. one is to include definitions as they stand in DM, and close issue 15:29:46 pgroth: wrappijng it all up 15:29:52 pgroth: option 2 - drop the definitions 15:29:52 Luc has joined #prov 15:30:03 q? 15:30:06 I'm not seeing chat on IRC .. 15:30:11 q? 15:30:21 .. only on web ... ah it's back aginb 15:30:25 q? 15:30:27 any questions? No.. 15:30:41 pgroth: go to vote on option 1 15:30:47 +1 15:30:47 Option 1: Include proposed definitions in prov-dm document and close issue on alternate/specialization 15:30:54 +1 15:30:54 +1 15:30:55 +1 15:30:56 PROPOSED 15:30:57 +1 15:30:57 +1 15:30:59 +1 15:31:01 +1 15:31:03 +1 15:31:06 +1 15:31:07 +1 15:31:08 +1 15:31:13 PROPOSED: Option 1: Include proposed definitions in prov-dm document and close issue on alternate/specialization 15:31:15 +0.5 15:31:35 +0 (not wild about having to escape URIs) 15:31:36 graham? 15:31:42 .. (but not objecting) 15:31:43 +0 15:31:55 for reference: 15:31:55 * An entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects. Entities may be real or imaginary 15:31:58 * Two alternate entities present aspects of the same thing. These aspects may be the same or different, and the alternate entities may or may not overlap in time 15:32:01 * An entity that is a specialization of another entity shares all aspects of the latter, and additionally presents more specific aspects of the same thing as the latter. In particular, the lifetime of the specialized entity contains that of any specialization 15:32:21 Approved: Option 1 include proposed definitions in prov-dm document and close issue on alternate/specialization 15:32:31 pgroth: thanks, now we can consider option 2! 15:32:34 ;) 15:32:38 Topic: Responsibility 15:33:01 Luc to give an overview of what to do about responsibility 15:33:06 Luc: in DM we have a component on Derivation 15:33:20 Luc: that has got wasDerivedFrom and 3 sub-types (more or less) 15:33:30 Luc: and separate component on Agent and Responsibility 15:33:42 Luc: but they are not all orthagonal - some derivation relations that refer to agents 15:33:52 q? 15:33:54 Luc: an agent that is responsible for making the revision 15:34:03 Luc: or an agent that is doing the quote, who produced the original entity 15:34:10 Luc: some discussion on mailing list 15:34:26 Luc: for simplicitation, it would be good to make derivation independent of agents/responsibility 15:34:37 PROPOSED: drop the reference to agents in derivation relations. 15:34:50 +1 15:35:09 Luc: but if you really want to express responsibility? Then you would use attribution in addition to say the wasrevisionof relation 15:35:15 Luc: would simplify both model and ontology 15:35:23 q? 15:35:23 +1 15:35:31 q+ 15:35:51 ack stain 15:36:16 Stian: so we no longer have hadQuoter and hadQuotee? 15:36:24 Luc: no 15:36:59 Luc: so you would attribution instead 15:37:02 Luc: Instead of having quoter you could use attribution 15:37:09 +1 seems more elegant, and also fits better when asserting what we used to call "imprecise" provenance 15:37:38 q+ 15:37:50 is there a link to the segment being discussed? 15:38:01 http://www.w3.org/2011/prov/track/issues/368 15:38:04 http://www.w3.org/2011/prov/track/issues/368 15:38:08 I'm having a TERRIBLE time parsing speakers who are not in the room with the speakerphone. 15:38:27 zakim, mute pgroth 15:38:27 pgroth should now be muted 15:38:32 people would then write wasQuoteOf(theSentence, romeoAndJuliet) wasAttributedTo(theSentence, Shakespeare) as opposed to wasAttributedTo(theSentence, guyWhoMadeTheQuote) 15:38:48 but we could add roles for quoter and quotee 15:38:49 L() 15:38:53 zakim, unmute pgroth 15:38:53 pgroth should no longer be muted 15:38:58 pgroth: any other implications? 15:39:26 revision/quote are simply between entities instead of agents.. You can always figure out the agents from the attribution. 15:39:33 http://www.w3.org/2011/prov/track/issues/368 15:39:36 Luc: on the examples.. they can all be expressed by the proposed changes 15:39:38 +1 to proposal, hadQuoter can be modeled with Attribution with role "quoter" 15:39:45 Luc: in issue 368 15:39:52 (we can't resolve it as w3c is flaky) 15:40:09 Google Chrome could not connect to www.w3.org (!!) 15:40:20 zakim, mute pgroth 15:40:20 pgroth should now be muted 15:40:37 zakim, umute pgroth 15:40:37 I don't understand 'umute pgroth', pgroth 15:40:38 In the spirit of simplification, I would like to suggest that agents should not be mentioned in derivation relations. 15:40:41 Instead of wasRevisionOf(id,e2,e1,ag,attrs) 15:40:43 we should write wasRevisionOf(id,e2,e1,attrs) and wasAttributedTo(e2,ag) 15:40:46 Instead of wasQuotedFrom(id,e2,e1,ag2,ag1,attrs) 15:40:47 we should write: wasQuotedFrom(id,e2,e1,attrs) and wasAttributedTo(e1,ag1) and wasAttributedTo(e2,ag2) 15:40:57 (from Luc's email on ISSUE-368) 15:41:06 PROPOSED: drop the reference to agents in derivation relations. 15:41:17 silence... 15:41:19 +1 as proposed on http://www.w3.org/2011/prov/track/issues/368 (which is not the same as "drop the reference to agents in derivation relations.") 15:41:21 I've not got any sound.. are anyone talking? Last one was "I got the implications now" 15:41:24 +1 15:41:33 Luc ? 15:41:33 can you hear us? 15:41:33 In the issue, I assume e1, e2 are entities? 15:41:35 jcheney has joined #prov 15:41:36 Zakim, unmute me 15:41:36 MacTed should no longer be muted 15:41:37 nope 15:41:39 Zakim, unmute pgroth 15:41:39 pgroth should no longer be muted 15:41:41 cant hear you luc 15:41:42 smiles has joined #prov 15:41:45 +1 to proposal, since hadQuoter can be modeled with Attribution with role "quoter" 15:41:45 yes 15:41:58 Luc and pgroth are on the same phone 15:42:07 Speakerphone is causing everyone else to echo. 15:42:08 @tlebo agree 15:42:33 ?: Agree with text in ISSUE, but not on proposal 15:42:40 @stian, MacTed 15:42:41 PROPOSED: agents should not be mentioned in derivation relations. 15:42:46 s/?:/MacTed:/ 15:43:00 @GK: same here 15:43:01 can we not say 'as in ISSUE-368' ? 15:43:18 PROPOSED: adopt changes as put forth in drop http://www.w3.org/2011/prov/track/issues/368 15:43:31 ISSUE-368 can be changed, so we need to state explicitly 15:43:44 Vote now please 15:43:44 s/in drop/in/ 15:43:44 +1 15:43:45 +1 15:43:45 +1 15:43:46 +1 15:43:47 +1 15:43:48 +1 15:43:49 +1 15:43:49 +1 15:43:51 +1 15:43:53 +1 15:43:54 +1 15:43:56 +1 15:43:56 +1 15:43:59 +1 15:44:08 +1 15:44:12 quoting that issue page, for the record: 15:44:13 Accepted: adopt changes as put forth in drop http://www.w3.org/2011/prov/track/issues/368 15:44:14 In the spirit of simplification, I would like to suggest that agents should not be mentioned in derivation relations. 15:44:14 Instead of 15:44:14 wasRevisionOf(id,e2,e1,ag,attrs) 15:44:14 we should write 15:44:14 wasRevisionOf(id,e2,e1,attrs) 15:44:17 and wasAttributedTo(e2,ag) 15:44:19 Instead of 15:44:19 Zakim, mute me 15:44:20 wasQuotedFrom(id,e2,e1,ag2,ag1,attrs) 15:44:20 MacTed should now be muted 15:44:22 we should write: 15:44:24 wasQuotedFrom(id,e2,e1,attrs) 15:44:26 and wasAttributedTo(e1,ag1) 15:44:28 and wasAttributedTo(e2,ag2) 15:44:31 Topic: PROV Notation Optional Identifiers Syntax 15:44:31 GK_ has joined #prov 15:44:32 We are not losing in expressivity, I believe, instead, we decouple components 2 and 3 in the data model. 15:44:48 pgroth: PROV-N editors to summarize for us..? 15:44:58 jcheney raised the issue 15:45:01 Zakim, mute pgroth 15:45:01 pgroth should now be muted 15:45:14 http://www.w3.org/2011/prov/wiki/index.php?title=OptionalSyntax 15:45:18 jcheney: alternative proposals on this page 15:45:35 jcheney: some relations in PROV-N are... (?) 15:45:40 vox dead? 15:45:48 -??P11 15:45:50 SCRIBE OFFLINE 15:46:21 jcheney: prov-n notation difficult to parse for humans who have not studied the grammar 15:46:37 jcheney: in some cases, exp[ressions are hard to parse when some optional arguments are missing 15:46:53 jcheney: in particular, for relations that takes an optional first identifier 15:47:29 jcheney - prefer option 1 as its more similar to current syntax 15:47:50 why does current syntax matter if we are proposing a solution for people who don't know syntax? 15:48:02 Zakim, unmute me 15:48:02 MacTed should no longer be muted 15:48:03 q+ 15:48:09 q- 15:48:11 +??P5 15:48:17 I' can scribe again 15:48:18 yes 15:48:21 Zakim, unmute pgroth 15:48:21 pgroth should no longer be muted 15:48:52 Luc: not to make a change on PROV-N too often as we need to go through all the documents! 15:49:01 q? 15:49:09 jcheney: At least if we make a simple change, then.. (?) 15:49:18 Zakim, mute pgroth 15:49:18 pgroth should now be muted 15:49:25 MacTed: made a comment on this in my review of PROV-O (?) 15:49:51 MacTed: on optional values, when they are not easilbly determinable, you need to put blanks all the time - no matter if it's comma or semicolon 15:50:08 MacTed: I would stay with comma as it is, but suggest that every expression would have at least a comma or space and a comma 15:50:10 but we allow - 15:50:28 yes 15:50:28 MacTed: so you would need ,, to say which optional things are left out 15:50:44 jcheney: other things that seem ambigious.. namely sometimes two-three other optional arguments 15:50:53 jcheney: this proposal is only adressing identifer being optional 15:50:58 q+ 15:51:13 MacTed: just adressing identifiers is not going far enough, it should be for all optionals 15:51:21 jcheney: other proposals would give more owkr 15:51:22 work 15:51:23 ack MacTed 15:51:40 paolo go ahead 15:51:49 jcheney: question now is to decrease the ambigioutity, and then think about further ambigiuoty 15:51:58 jcheney: if there's a ; - then first argument before ; is the identifier 15:52:22 jcheney: other ways have been discussed - not saying it's the only way, but it's the smallest change 15:52:35 MacTed: as it's not the only problem, w hy not address the whole problem? 15:52:45 Zakim, unmute pgroth 15:52:45 pgroth should no longer be muted 15:52:51 jcheney: not deciding on how to put these as proposals 15:52:52 Zakim, mute pgroth 15:52:52 pgroth should now be muted 15:53:11 Paolo: the main reason why this was brought up is that several people spotted it was difficult to parse arguments with multiple optionals 15:53:21 I believe all james suggestions are already implemented or become implementable, if we have a syntactic marker for optional identifier (such as ;) 15:53:35 Paolo: identifier is odd in taht it can be optional and left out totally, while the others hate placeholder -, except the attributes that are last 15:53:47 I believe all james suggestions are already implemented or become implementable, if we have a syntactic marker for optional identifier (such as ';' ) 15:53:55 Paolo: rational was that because identifers are expected to be used barely - so a placeholder fo rthem all the time is too verbose 15:54:02 @MacTed: here is the full proposal I suggested: http://www.w3.org/2011/prov/wiki/Optional_arguments 15:54:10 ... the three parts are orthogonal 15:54:32 Paolo: trying to retain readability - like if there's not a semicolon then there's no identifier, and other missing optionals expressed using - 15:54:40 Zakim, unmute pgroth 15:54:40 pgroth should no longer be muted 15:54:40 Based on what Paolo says, no other changes would be needed ... or am I missing something? 15:54:52 q+ 15:54:55 @GK yes that's my implication, too 15:55:00 @GK, agree 15:55:09 @GK that's right, I think Luc has checked that everything else uses - for intermediate optionals in examples 15:55:22 ack Paolo 15:55:37 ?: will we comprehend the full implications if we do it one by one 15:55:40 (MacTed?) 15:55:43 ack pgroth 15:55:47 ack Luc 15:56:06 Luc: jcheney listed another suggestion.. one was .. to see if there was an optional identifier or not 15:56:18 Luc: once that is in place, there are a few tweaks that can be implemented 15:56:31 Luc: all suggestions by jcheney will be supported (??) 15:56:53 Luc: a lot of work to.. want to have guidance if it's the right step 15:57:08 -??P33 15:57:10 Luc: to take the optional id with semicolon - parsers that check this.. time consuming 15:57:15 isn't prov-n for human readability? 15:57:16 Luc: if we know we don't want a certain notation 15:57:31 @Luc +1 15:57:34 q+ 15:57:45 Zakim, mute pgroth 15:57:45 pgroth should now be muted 15:57:50 ack jcheney 15:57:51 I'm not sure what Luc is proposing - implement ALL of the proposals?? 15:58:13 +1 for that semicolon, acknowledging that it's not a "complete solution", as @macted points out. 15:58:14 jcheney: is the idea now to propose one of these, or see if it's something we want to do in principle 15:58:37 jcheney: would you be happier if the proposal was not binding, but just start with this design decission, then a few others, and form a complete proposal? 15:58:44 MacTed: not able to see what the real question is 15:59:04 MacTed: if question is - do we need to deal specifally with optional identifiers - then if ; is OK is a second question 15:59:13 q+ 15:59:13 MacTed: how do we deal with optionals anywhere is a different question 15:59:18 Zakim, unmute pgroth 15:59:18 pgroth should no longer be muted 15:59:19 MacTed: not just for identifier 15:59:25 ack Paolo 15:59:28 jcheney: this is strictly for optional identifier 15:59:32 Zakim, mute pgroth 15:59:32 pgroth should now be muted 15:59:49 Paolo: my understanding is that the issue of identifiers separately, then everything else falls in place and no more need to do anything 15:59:52 The optional identifier is special. Almost everything allows them, but they are quite frequently not required. 15:59:59 Paolo: the sooner we get a stable syntax, the better, tools are being made 16:00:11 Paolo: as far as I see there is no more work 16:00:14 Quite frequently not needed by a particular application/use case I mean. 16:00:25 MacTed: then the other notations I would try to make sense of in PROV-O (?) would not..(?) 16:00:45 @macted, prov-n is used in prov-o ? 16:00:50 MacTed: no, Prov-N is used to understand PROv-O (??) 16:00:51 Zakim, unmute pgroth 16:00:51 pgroth should no longer be muted 16:00:55 MacTed: there are too many optional things 16:00:57 q? 16:01:03 MacTed: doing something about identifiers does not solve anything 16:01:05 @macted, i don't understand what you said 16:01:10 q+ to ask Macted for a URL to this prov-o that uses prov-n 16:01:16 @MacTed how is PROV-O using PROV-N? 16:01:23 @macted, i don't understand how prov-n impacts prov-o 16:01:23 @MacTed: Please read this: http://www.w3.org/2011/prov/wiki/Optional_arguments 16:01:27 MacTed: adressing all optional things would also address identifiers 16:01:27 q+ 16:01:46 tlebo: confused by MacTed claiming PROV-N is used by PROV-O 16:02:06 ack tlebo 16:02:06 *PROV-N is used to describe PROV-O 16:02:07 tlebo, you wanted to ask Macted for a URL to this prov-o that uses prov-n 16:02:16 http://www.w3.org/2011/prov/wiki/ProvRDF 16:02:17 peraps referring to our dm to RDF mapping wiki page? 16:02:28 well I guess it's the DM which specifies the optionals, and that is what impacts PROV-O? 16:02:41 per/h/aps 16:02:41 @Paolo yes 16:02:51 @Paolo but syntax and order, not 16:02:54 so I understand that the issue is not PROV-N after all 16:03:11 I mean MacTed's issue 16:03:36 is about PROV-DM, not PROV-N 16:03:46 I think MacTed should raise a separate issue if he has a problem relating PROV-O/PROV-N 16:04:15 MacTed: tere are other optionals, not just identifier. If every optional has placeholder, I don't see need for the special thing on identifier 16:04:23 q+ 16:04:34 MacTed: easiest solution is to make identifier the last argument 16:04:35 +1 16:04:40 wasDerivedFrom(e1,e2) 16:04:47 @mac, agree, I think that will work better 16:04:50 Luc: we want to express simple things easily 16:04:54 wasDerivedFrom(id;e1,e2) 16:05:06 wasDerivedFrom(id;e1,e2,a,g,u) 16:05:08 and because of {attrs} it's easy to parse the argument after 16:05:19 wasDerivedFrom(id;e1,e2,a,-,u) 16:05:22 Luc: .. or we may just keep identifier on some of them 16:05:26 @MacTed we are actually using the the "last argument omitted" rule for optional attributes already... 16:05:30 @mac, I disagree, the intent for prov-n is for Humans to read, the identifier (if there) is the SUBJECT of the assertion (and thus belongs in the beginning). 16:05:41 i.e. don't want to say wasDerivedFrom(-,e1,e2) when id is missing. 16:05:46 Luc: Rule is we got some mandatory arguments, like e1, e2, the others are optional. 16:05:57 wasDerivedFrom(e1,e2) 16:06:00 Luc: if the remaining optional arguments are not expressed, nothing needs to be written, like above 16:06:15 Luc: otherwise, we do like suggested, with a placeholder for optional argument not there. 16:06:26 Luc: but to handle the first optional (the identifier) differently 16:06:28 -??P3 16:06:30 Have to leave soon, too. FWIW, I prefer to externalize the ID, seems most intuitive to me for all people but LISPians. 16:06:39 the id is for "wasDerivedFrom(e1, e2)" so it should be "id(wasDerivedFrom(e1, e2))" 16:07:07 not just inside.. 16:07:16 @satya, we don't identify a description but a derivation! 16:07:17 @kai and but logic programmers as well :-) 16:07:24 so something like wasDerivedFrom(e1, e2) : id or id: wasDerivedFrom(e1, e2) 16:07:36 @stain, exactly 16:07:46 pgroth: suggest for now to send around page again and gather more suggestions 16:07:50 http://www.w3.org/2011/prov/wiki/OptionalSyntax 16:07:55 @paolo: right. And indeed I don't like it for the entity statement, as there an ID is needed, IMHO. 16:07:56 vote next week 16:07:57 @luc, yes the id for the assertion about the derivation 16:08:04 it seems like there won't be progress on PROV-N until this is sorted 16:08:09 @satya, stian: please go through the wiki page, similar proposals to yours are there 16:08:10 q+ 16:08:17 ack Luc 16:08:20 @paolo: maybe a compromise, externalize it only if it is optional? 16:08:32 Luc: would not want to delay this, we want to do a revised draft in 4 weeks time 16:08:40 Luc: delay by 1 week is.. 16:08:45 @paolo, yes I agree with the proposals - I was just trying to clarify the issues from Mac's statement 16:08:48 @kai ID /is/ optional! 16:08:48 Luc: putting those drafts in danger 16:09:03 @paolo: also for entity? 16:09:14 is there an id for the entity record? (bomb shell!) 16:09:25 @stian, no. 16:09:36 jcheney: sounds like we can say go ahead with this, without having to decide.. (?) 16:09:40 MacTed agrees 16:09:49 that wasn't me! (sandrio, I think) 16:09:55 hihi 16:10:00 @paolo: From the wiki: e AS entity(attrs). Makes entity(attrs) sense without e, i.e., the ID? 16:10:17 @kai yes it's the ID /of the relation/ we are talking about 16:10:26 not of the entity 16:10:34 q+ 16:10:34 pgroth: what about just using the semicolon as suggested, about making other things optional is about readability 16:10:37 s/jcheney/sandro/ 16:10:39 ack jcheney 16:10:43 http://www.w3.org/2011/prov/wiki/Optional_arguments 16:10:49 +1 semicolon 16:10:49 Zakim, mute pgroth 16:10:49 pgroth should now be muted 16:10:53 @paolo. ok. then I prefer externalization even more, to avoid that confusion 16:11:05 @kai that seems wrong! I'll check the wiki 16:11:08 jcheney: as pointed out there are other ambiguoities, listed on wiki page above 16:11:12 @paolo: not the first time that I confused that, sorry. But maybe this also is a point. 16:11:14 ... believe not many have looked at it 16:11:36 externalization is a scary slope - it looks like an identifier for the record itself (and it's not) 16:11:43 jcheney: will look at the other comments and revise this proposal 16:11:45 @kai agreed -- simple rule is, if we are confused, everyone else will be 16:12:09 @tlebo yeah 16:12:18 Page is difficult to understand 16:12:36 the optional syntax page 16:12:38 http://www.w3.org/2011/prov/wiki/OptionalSyntax would be easier to comprehend as a table 16:12:48 Have to leave, sorry. Bye 16:12:56 Zakim, unmute pgroth 16:12:56 pgroth should no longer be muted 16:13:04 (I'll reallyt have to go soon too.. any backup scribes?) 16:13:07 -kai? 16:13:22 @Stian I can continue 16:13:30 thanks, take over 16:13:35 -??P5 16:13:41 scribe: dgarigo 16:13:52 scribe: dgarijo 16:14:09 @pgroth, +1 16:14:10 pgroth: that would be a good finish product that we can look as a whole 16:14:27 .... which is what we are aiming for. 16:14:29 bye! 16:14:31 ... goodbye! 16:14:34 -Satya_Sahoo 16:14:36 -??P2 16:14:36 -??P31 16:14:36 -pgroth 16:14:36 - +44.131.467.aabb 16:14:39 -Sandro 16:14:41 -tlebo 16:14:42 -MacTed 16:14:44 -Curt_Tilmes 16:14:46 -jun 16:14:48 -TomDN 16:14:51 -GK 16:14:55 -dgarijo? 16:15:00 rrsagent, set log public 16:15:10 rrsagent, draft minutes 16:15:10 I have made the request to generate http://www.w3.org/2012/05/03-prov-minutes.html pgroth 16:15:14 trackbot, end telcon 16:17:21 Zakim, list attendees 16:17:21 As of this point the attendees have been +49.674.180.aaaa, TomDN, Curt_Tilmes, tlebo, Satya_Sahoo, dgarijo?, Sandro, jun, kai?, GK, +44.131.467.aabb, MacTed, pgroth 16:17:24 RRSAgent, please draft minutes 16:17:24 I have made the request to generate http://www.w3.org/2012/05/03-prov-minutes.html trackbot 16:17:25 RRSAgent, bye 16:17:25 I see no action items