14:51:33 RRSAgent has joined #prov 14:51:33 logging to http://www.w3.org/2012/08/09-prov-irc 14:51:35 RRSAgent, make logs world 14:51:35 Zakim has joined #prov 14:51:37 Zakim, this will be 14:51:37 I don't understand 'this will be', trackbot 14:51:38 Meeting: Provenance Working Group Teleconference 14:51:38 Date: 09 August 2012 14:51:38 Zakim, this will be PROV 14:51:38 ok, Luc_; I see SW_(PROV)11:00AM scheduled to start in 9 minutes 14:52:56 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.08.09 14:53:02 Chair: Luc Moreau 14:53:07 Regrets: Paul Groth, Stephan Zednik 14:53:17 rrsagent, make logs public 14:53:22 zakim, who is here? 14:53:22 SW_(PROV)11:00AM has not yet started, Luc_ 14:53:23 On IRC I see RRSAgent, Luc_, MacTed, ivan, stain, trackbot, sandro 14:57:01 jcheney has joined #prov 14:57:32 Curt has joined #prov 14:58:06 SW_(PROV)11:00AM has now started 14:58:12 +Curt_Tilmes 14:58:23 +Luc 14:58:42 zakim, who is here? 14:58:44 On the phone I see Curt_Tilmes, Luc 14:58:45 On IRC I see Curt, jcheney, Zakim, RRSAgent, Luc_, MacTed, ivan, stain, trackbot, sandro 14:58:54 +jcheney 14:59:03 zakim, dial ivan-voip 14:59:05 ok, ivan; the call is being made 14:59:09 +Ivan 15:00:18 zakim, mute me 15:00:18 Ivan should now be muted 15:00:55 hook has joined #prov 15:00:59 zakim, who is here? 15:00:59 On the phone I see Curt_Tilmes, Luc, jcheney, Ivan (muted) 15:01:00 On IRC I see hook, Curt, jcheney, Zakim, RRSAgent, Luc_, MacTed, ivan, stain, trackbot, sandro 15:01:02 gk has joined #prov 15:01:07 i am looking for a scribe 15:01:12 +sandro 15:01:30 + +1.818.731.aaaa 15:01:41 Luc, I'll scribe when I get online. Still bringing up apps. 15:01:50 thanks 15:01:54 scribe: gk 15:02:02 smiles has joined #prov 15:02:02 @gk, everything is set up for you 15:02:10 +??P19 15:02:10 topic: Admin 15:02:15 GK1 has joined #prov 15:02:18 @gk can you let me know when ready? 15:02:26 scribe: gk1 15:02:43 + +44.789.470.aabb 15:02:48 TomDN has joined #prov 15:02:51 Zakim, +44.789.470.aabb is me 15:02:51 +stain; got it 15:03:07 SamCoppens has joined #prov 15:03:18 +TomDN 15:03:38 zakim, who is here? 15:03:38 On the phone I see Curt_Tilmes, Luc, jcheney, Ivan (muted), sandro, +1.818.731.aaaa, ??P19, stain, TomDN 15:03:40 On IRC I see SamCoppens, TomDN, GK1, smiles, gk, hook, Curt, jcheney, Zakim, RRSAgent, Luc_, MacTed, ivan, stain, trackbot, sandro 15:03:45 Zakim, SamCoppens is with TomDN 15:03:45 +SamCoppens; got it 15:03:47 +??P30 15:03:51 Zakim, mute me 15:03:51 TomDN should now be muted 15:03:52 I can scribe until GK is connected to the cloud 15:03:56 zakim, ??p30 is me 15:03:56 +GK1; got it 15:04:02 ah 15:04:48 CraigTrim has joined #prov 15:04:50 +??P31 15:04:59 http://www.w3.org/2011/prov/meeting/2012-08-02 15:05:06 proposed: to approve last week's teleconference minutes 15:05:12 0 (not present) 15:05:14 +1 15:05:15 +1 15:05:16 +1 15:05:18 +1 15:05:26 +1 15:05:26 +1 15:05:27 stephenc has joined #prov 15:05:29 +1 15:05:31 +1 15:05:33 + +1.661.382.aacc 15:05:40 accepted: last week's teleconference minutes 15:06:20 topic: prov-constraints 15:06:24 scribe: gk 15:06:37 Topic: PROV-constraints document 15:07:25 James: update on situation... Stian's review recvd Monday, identified things needing discussion, most have been resolved, 2-3 outstanding 15:07:44 +Satya_Sahoo 15:07:46 satya has joined #prov 15:08:21 ... have tried to address points in the draft, some ongoing discussion of resolution with Simon 15:08:51 ... should we try and resolve outstanding issues now? 15:09:03 Luc: we could review eachj outsatdning issue now... 15:09:05 http://www.w3.org/2011/prov/track/products/12 15:09:25 http://www.w3.org/2011/prov/track/issues/467 15:09:57 James: re; http://www.w3.org/2011/prov/track/issues/467 should we infer existence of trigger? 15:10:59 Stian: if an activity is starts and ends, do we require/assume existence of a trigger; seems odd as it may not apply to all activities. 15:11:25 ... can lead to chicken-and-egg - where to triggers come from? 15:11:30 s/to/do/ 15:11:41 q? 15:12:17 To be clear, is it correct to say that the options are: 15:12:18 1. [status quo] - allow expanding the trigger parameter to an existential variable denoting an unknown (but definite) trigger entity 15:12:20 2. change the trigger parameter to be non-expandable, so that "-" means "absent trigger", as with plan and other non-expandables. 15:12:26 jun has joined #prov 15:12:35 ... not entirely sure which way this should be resolved; two options (1) trigger always exists and may be undefined, or (2) trigger may not exist. leaning to (2). 15:12:42 q? 15:12:56 q+ 15:13:18 http://lists.w3.org/Archives/Public/public-prov-wg/2012Aug/0076.html 15:13:30 http://www.w3.org/2011/prov/track/issues/311 15:13:52 http://dvcs.w3.org/hg/prov/raw-file/b9d2157889f7/model/optional.html 15:13:59 q+ 15:14:01 Luc: constraint document is as it is... regarding 3.1.1, and meaning of optional arguments 15:14:34 ... 3rd of above links says existence is implied 15:14:57 q? 15:15:00 ... sop this seems like reopening an issue previously closed? is there new information? 15:15:00 ack luc 15:15:55 q? 15:16:02 Stian: this is different because it's about identifying optional arguments; what are the consequences of all these things existing? This is clearer now we have constraints document. 15:16:08 ack sti 15:16:13 ack sta 15:16:23 q+ to commetn about real numbers - many exist that are not named 15:16:33 q? 15:16:54 ack gk 15:16:54 GK, you wanted to commetn about real numbers - many exist that are not named 15:17:00 @GK - right, PROV-Constraint don't force them to be named, just to exist 15:17:14 GK: lots of real numbers exist for which there are no names... is this a similar issue? 15:17:25 q? 15:17:29 Zakim, unmute me 15:17:29 TomDN should no longer be muted 15:17:30 Q+ 15:17:32 +q 15:17:35 I suggested a strawman poll 15:18:36 jcheney: if the trigger parameter can denote something is absent... four other things line that (plan and 3 others) ... not implied if not specified. 15:19:10 -q 15:19:19 in effect, it's like having two relation startWithTrigger and startWithoutTrigger 15:19:40 ... all of these introduce a slight (formal?) complication needing to be specific when mentioning a constraint/association, can parameter be a null placeholder; needs additional editing of inferences. 15:20:15 ack jch 15:20:17 q- 15:20:17 @jcheney I agree #2 does not make it prettier :'( 15:20:18 ... trigger inferrable if activity is specified an option, ... all this doable but may have unanticipated consequences. 15:20:23 q? 15:20:32 +[IPcaller] 15:20:40 zakim, [IPcaller] is me 15:20:40 +jun; got it 15:20:52 q? 15:21:15 but I think the concern is what the model should allow, not how easy to read the (already hard) PROV-Constraint document is 15:21:47 Luc: also consider purpose of inferences... for validating provenance, not necessarily used outside. 15:22:30 q? 15:22:37 Stian: are there too many inferences? some of them always make sense. PROV-constraints says... 15:23:25 q? 15:24:19 GK: would prefer more compact option 15:24:20 my question is semantically - is there a problem with enforcing the existince of triggers for every activity start and end? 15:24:37 Luc: concern is with always assumingthe existence of a trigger. 15:25:32 q? 15:26:18 Stian: don't see any real complications, but does it reflect the boundaries of the PROV model? 15:27:43 ... e.g. queue of cars on motorway, what triggered this? Does it make sense, philosophically, for these to be part of the model? 15:28:18 q+ to say the bigger problem for me is that there is A unique trigger 15:29:12 q? 15:29:17 @Luc right, like an optional parameter would be done in Java and wasDerivedFrom(e2,e1,-,-,-) 15:29:22 without usage/gen/act 15:30:01 @gk, the trigger is the combination of all them 15:30:02 @GK, the trigger entity could be a collection though ;) 15:30:03 but there is no uniqueness constraint on triggers currently 15:30:08 @GK: just use a collection of cars as trigger? 15:30:22 @stain: you beat me to it ;) 15:30:28 @jcheney yes, by the merging rules 15:30:43 @stian: what about weather factor? 15:30:44 option 1: is to keep currrent formalization, assuming existence of trigger for any activity 15:30:55 0 15:31:00 +1 15:31:02 +1 15:31:02 +1 15:31:03 0 15:31:08 +1 15:31:09 0 15:31:12 0 15:31:14 @stian: ah yes, uniqueness of start events + key constraint does it 15:31:14 +1 15:31:15 @gk you'll need entity(theworld) as trigger then.. 15:31:20 0.5 15:31:27 0 (either way fine) 15:31:36 @stian - OK, why not? 15:32:20 option 2: change current formalization, do not assume existence of a trigger for activity 15:32:28 +1 15:32:29 0 15:32:30 0 15:32:31 0 15:32:31 0 15:32:34 0 15:32:37 0 15:32:40 0 15:32:44 -0 (don't wanna do it but not going to block it) 15:32:49 0 15:32:57 +0 (This is really philosophical) 15:32:59 Yeah, -0 15:33:46 proposed: is to keep currrent formalization, assuming existence of trigger for any activity 15:33:52 +1 15:33:54 Staw pole indicates staying with current fortmalization, Stian is Ok with this 15:33:54 +1 15:33:58 +1 15:34:00 +1 15:34:01 +1 15:34:01 +1 15:34:02 +1 15:34:02 s/pole/poll (doh) 15:34:06 +1 15:34:06 +1 15:34:09 0 15:34:16 +1 15:34:21 accepted: to keep current formalization, assuming existence of trigger for any activity 15:34:38 I have closed ISSUE-467 15:34:42 http://www.w3.org/2011/prov/track/issues/452 15:34:43 Next issue 15:34:55 subtopic: issue 452 15:35:45 15/16 missing (but has remark) 15:35:59 q? 15:36:04 example: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#wasAssociatedWith-ordering_text (47( 15:36:16 jcheney: "what is plan association inference" - where there are "not-expanable things" in inferences, ... (missed detail) ... does anyone have a problem 15:36:18 ackgk 15:36:22 ack gk 15:36:22 GK, you wanted to say the bigger problem for me is that there is A unique trigger 15:36:45 stian: not a blocking thing, inferences 15, 16 different. 15:37:09 jcheney: will fix this, send email, and hopefully we'll close 15:37:16 accepted: close issue 452 15:37:26 Next issue 15:37:27 http://www.w3.org/2011/prov/track/issues/459 15:38:41 Catch-all for reviews... asking for feedback from reviewers. Some reviewers on hols, but apart from Simon don't think there are any blocking issues remaining. 15:38:52 ^^jcheney: 15:38:56 sorry, have to leave now 15:39:03 -Satya_Sahoo 15:39:30 q? 15:39:30 jcheney: some things in reviews have not been fixed yet - some figiures, non-technical text, happy to leave it pending review with no technical issues outstanding 15:39:38 dgarijo has joined #prov 15:39:49 luc: we'll leave it that 15:39:50 http://www.w3.org/2011/prov/track/issues/473 15:39:54 Next issue 15:40:11 +??P3 15:40:12 subtopic: issue 473 15:40:50 Zakim, ??P3 is me 15:40:51 +dgarijo; got it 15:41:04 jcheney: simon ..., is everyone happy with unique generation event for each entity; then the associated activity is also unique? 15:41:21 q? 15:41:31 (this is also related to activities part-of activities) 15:42:03 Simon: original concern was that thetext mismatched the constraints, but that is resolved - every entity has a unique generating activity, not just unique event. 15:42:58 @stain: I am late, so I wouldn't want to raise things that you have already discussed. Have you discussed the entity being generated by 2 activities at 2 levels of granularity? 15:43:00 problem why an entities' generation coming from one single activity - would make primer examp,e invalid, as multiple levels of granularity are expressed. 15:43:14 q+ 15:43:39 @dgarijo - no, put yourself on the queue! 15:44:07 q- 15:44:10 ... could have two entities, related as specialized, linked to different levels of granularity. 15:44:27 q? 15:44:27 in workflow export we ended up with alternateOf for this, e1a, e1b, e1c which are generated by nested acitvities A, B and C (which made queries hard) 15:44:29 ... implications of this constraint need justifying 15:44:52 jcheney: easiet resolution would be to remove the constraint. 15:45:11 q+ 15:45:30 Luc: concerned that if removed, some inferences around derivation may be no longer valid 15:46:26 jcheney: taking away an inference won;'t make other inferences incorrect, but maybe non-derivable 15:46:50 the uniqueness constraint is effectively saying "don't mix levels of abstraction" 15:46:58 ^^Luc: 15:47:38 q? 15:47:56 Luc: don't think we limit expressiveness, just providing structure - good for "proper" provenance? Does it matter if the primer has "not proper" provenance? 15:48:56 Simon: does this need different instanbces for different levels of abstraction? Can live with that, but it seems surprising (?) 15:49:02 q? 15:49:25 q/ 15:49:31 ack dg 15:50:32 dgarijo: other places this happens - entities in DC mapping - all the steps that comprise the proiduction of an entity 15:51:10 ... in scientific workflows, complicated to query model if upper level activities generate different entities than lower level activities. 15:51:12 q+ 15:51:17 ack st 15:52:12 @gk: thx 15:52:32 stian: ended up creating multiple entities corresponding to appearance at b"different doors" in a workflow 15:52:35 q+ 15:53:38 ack jch 15:54:57 @jcheney: +1! 15:55:26 jcheney: seems to me that people want a validity checker - what's more useful is catching things that are definitely nonsense, or probably indicative of problem. Uniqueness seems to be in the latter category. We should be focusing on catching nonsense rather than limiting what people can do. 15:55:57 I really like the Ok vs Warning vs Invalid. 15:55:58 ... what are the consequences of being invalid? 15:56:47 I supposed it would be to drop the KEY property of wasGeneratedBy 15:57:15 Straw poll... status quo vs dropping unique generation requirement? 15:57:37 Dropping key property: so that wasGeneratedBy(id1; e1, a1, t1) wasGeneratedBy(id2; e1, a2, t2) would be allowed. (a2 <> a1, t1 <> t2 ?) 15:58:17 If we detect that an enitity is being generated by 2 activities, we could generate a warning, as James proposed. 15:58:26 for instance "When are you born?" - it depends on how you measure which activity 15:58:32 jcheney: need to think about consequences of options 15:58:59 option 1: keep generation unique and key property on generation 15:59:02 -1 15:59:06 0 15:59:06 -1 15:59:08 -1 15:59:10 -1 15:59:14 0 15:59:16 0 15:59:19 -0 15:59:21 0 15:59:23 0 15:59:24 +0 15:59:24 0 15:59:50 option 2: design a solution that relaxes uniqueness of generation 15:59:54 +1 15:59:55 +1 16:00:01 +1 16:00:01 0 16:00:02 +1 16:00:06 +1 16:00:06 +1 16:00:07 +1 16:00:08 +0 16:00:15 +0 16:00:16 +1 16:00:59 yes 16:00:59 Luc: Indication that we need to think about option to relax uniqueness of generation 16:01:08 like generating a warning. 16:01:15 q? 16:01:16 yes - but could be connected to levels of abstraction 16:01:30 http://www.w3.org/2011/prov/track/issues/474 16:01:32 hmmm... I don't think we should get too far into implementations 16:01:34 I think adding something about activity abstractions would help 16:01:39 subtopic: issue 474 16:02:49 smiles: lack of clarity what is link between bundles and instances? 16:03:04 ... text seems to make different assumptions in diufferent places 16:03:33 q? 16:04:01 can somebody take over from gk? 16:04:14 jcheney: text here was written at last minute, may need clarification 16:04:15 (for reference, our definition of instance in 1.2: A PROV instance is a set of PROV statements, possibly including bundles, or named sets of statements. For example, such a PROV instance could be a .provn document, the result of a query, a triple store containing PROV statements in RDF, etc.) 16:04:51 ... an instance may contain bundles 16:04:55 - +1.661.382.aacc 16:05:09 ... initially, talk about instances that are single (unnamed) bundles 16:05:17 CraigTrim has joined #prov 16:05:26 ... deal with named bundles independently, in same way 16:05:46 ... statements inside a bundle is an instance 16:06:15 ... collection of statements without identifier - currently calling this a top level bundle 16:06:45 - +1.818.731.aaaa 16:07:10 Would (b) be solved by calling it the "toplevel instance"? 16:07:11 prov-n has a top level bundle, i think that's what influenced this design 16:07:11 smiles: per DM, bundle has identifier so we can express provenance-of-provenance ... 16:07:18 + +1.818.731.aadd 16:08:16 jcheney: three things - blob of provenance (in whatever form); a named set of statements (bundle); a set of statements. have used two terms for these three things, probably confuses. 16:08:53 ... will try to come up with less confusing terminology 16:09:28 q+ 16:09:41 Luc: summary - it appears editors have homework to do on two issues - biundles and generation uniqueness. Can't really proceed for vote yet. 16:09:56 I don't think the bundles thing is a blocking issue 16:10:07 jcheney: could release as *a* working draft, it's been over 3 months. 16:10:24 Luc: getting LC draft ready is more important. 16:11:17 zakim, unmute me 16:11:17 Ivan should no longer be muted 16:11:38 Luc: hoping for LC vote early September - is there any point in producing a WD now, then LC draft in september? 16:11:59 ... given lots of ppl are on vacation 16:12:05 Sandro: concurs 16:12:38 topic: Tele-Conference Schedule over summer 16:12:55 Topic: teleconference schedule over summer 16:13:11 luc: Paul and Luc away for rest of August. 16:13:14 we can argue about wasGeneratedBy... ;) 16:13:27 GK: I probably can't make next 2 weeks anyway. 16:13:31 i think the remaining issues can get done over email... 16:13:56 Zakim, mute me 16:13:56 TomDN should now be muted 16:14:07 I talked with Stephan yesterday (he's on a plane right now). We might want to have an informal XML call, but it needn't be a formal working group teleconference.. 16:16:17 We will still have separate prov-o calls, in which implementation of constraints can be discussed 16:16:23 Curt(?): happy to chair informal meeing on 23rd; would help if Luc and/or Paul can sent out agenda 16:16:33 Luc: will circulate agenda for 23rd. 16:16:41 [not curt] 16:16:47 -dgarijo 16:16:47 SamCoppens has left #prov 16:16:48 -Ivan 16:16:48 -jcheney 16:16:49 -TomDN 16:16:49 -jun 16:16:49 Luc: we'll speak agin formally in September 16:16:50 - +1.818.731.aadd 16:16:50 -??P19 16:16:52 -Luc 16:16:54 -sandro 16:16:56 -Curt_Tilmes 16:16:58 -stain 16:17:01 -??P31 16:17:13 rrsagent, set log public 16:17:15 @Luc - I'm guessing you'll take it from here? 16:17:25 @GK, yes, thanks a lot for scribing! 16:17:33 rrsagent, draft minutes 16:17:33 I have made the request to generate http://www.w3.org/2012/08/09-prov-minutes.html Luc_ 16:17:38 trackbot, end telcon 16:17:38 Sorry, Luc_, I don't understand 'trackbot, end telcon '. Please refer to http://www.w3.org/2005/06/tracker/irc for help 16:17:43 OK, bye 16:17:47 -GK1 16:17:48 SW_(PROV)11:00AM has ended 16:17:48 Attendees were Curt_Tilmes, Luc, jcheney, Ivan, sandro, +1.818.731.aaaa, stain, TomDN, SamCoppens, GK1, +1.661.382.aacc, Satya_Sahoo, jun, dgarijo, +1.818.731.aadd 18:33:13 Zakim has left #prov