14:50:17 RRSAgent has joined #prov 14:50:17 logging to http://www.w3.org/2011/06/16-prov-irc 14:50:20 RRSAgent, make logs world 14:50:20 Zakim has joined #prov 14:50:22 Zakim, this will be 14:50:22 I don't understand 'this will be', trackbot 14:50:23 dgarijo has joined #prov 14:50:23 Meeting: Provenance Working Group Teleconference 14:50:23 Date: 16 June 2011 14:50:27 Zakim, this will be PROV 14:50:28 ok, Luc; I see SW_(PROV)11:00AM scheduled to start in 10 minutes 14:50:50 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.06.16 14:51:02 Chair: Luc Moreau 14:51:24 Regrets: Paolo Missier, Kai Eckert 14:51:30 rrsagent, make logs public 14:51:30 SW_(PROV)11:00AM has now started 14:51:36 scribe: dgarijo 14:51:37 +??P34 14:51:48 Zakim, +??P34 is me 14:51:48 sorry, pgroth, I do not recognize a party named '+??P34' 14:51:58 Zakim, ??P34 is me 14:51:58 +pgroth; got it 14:52:40 + +44.238.059.aaaa 14:52:50 zakim, aaaa is me 14:52:50 +Luc; got it 14:53:00 zakim, who is here? 14:53:00 On the phone I see pgroth, Luc 14:53:02 On IRC I see dgarijo, Zakim, RRSAgent, Luc, pgroth, edsu, sandro, trackbot, stain 14:54:19 +[IPcaller] 14:54:35 Topic: Admin 14:54:56 Zakim, [IPcaller] is me 14:54:56 +dgarijo; got it 14:55:50 smiles has joined #prov 14:56:38 +??P38 14:56:48 Zakim, ???P38 is me 14:56:48 sorry, stain, I do not recognize a party named '???P38' 14:56:49 jorn has joined #prov 14:56:54 Zakim, ?P38 is me 14:56:54 sorry, stain, I do not recognize a party named '?P38' 14:57:06 Zakim: +??P38 is me 14:57:06 +??P39 14:57:14 zakim, ??P39 is me 14:57:14 +smiles; got it 14:57:28 +??P40 14:57:28 Regrets+: Graham Klyne 14:57:30 +??P41 14:57:36 dcorsar has joined #prov 14:58:15 tlebo has joined #prov 14:58:23 -??P41 14:58:26 http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.06.16 14:58:34 +??P41 14:58:36 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.06.16 14:58:44 Zakim: ??p41 is me 14:58:45 + +1.518.276.aabb 14:58:51 Zakim, ??p41 is me 14:58:52 +jorn; got it 14:59:03 zakim, aabb is me 14:59:04 +tlebo; got it 14:59:25 zakim, who is noisy? 14:59:31 zednik has joined #prov 14:59:36 jorn, listening for 10 seconds I heard sound from the following: Luc (14%) 14:59:53 SamCoppens has joined #prov 15:00:00 (SIP on Android actually working) 15:00:06 khalidbelhajjame has joined #prov 15:00:19 + +1.509.554.aacc 15:00:20 altintas has joined #prov 15:00:35 ericstephan has joined #prov 15:00:46 satya has joined #prov 15:01:00 + +1.518.633.aadd 15:01:17 olaf has joined #prov 15:01:18 jun has joined #prov 15:01:34 + +1.216.368.aaee 15:01:37 i'm calling via Skype so I don't know what my area code is 15:02:03 + +329331aaff 15:02:13 Luc: Welcome and review the tf drafts 15:02:20 http://www.w3.org/2011/prov/meeting/2011-06-09 15:02:37 ... accept the minutes of last week's telecon 15:02:41 +1 15:02:42 +1 15:02:43 +1 15:02:43 Zakim, +329331aaff is me 15:02:47 +1 15:02:48 +1 15:02:48 Luc: Accept the minutes for last telcon 15:02:49 +1 15:02:49 +1 15:02:51 +1 15:02:52 +1 15:02:53 +1 15:02:55 + +49.302.093.aagg 15:03:08 JimM has joined #prov 15:03:09 +[IPcaller] 15:03:13 zakim, aagg is me 15:03:17 +SamCoppens; got it 15:03:21 zakim, IPcaller is me 15:03:21 ACCEPTED: minutes of last week's teleconference 15:03:29 +1 15:03:35 zakim, [IPcaller] is me 15:03:35 +??P29 15:03:41 A process execution has a duration, i.e. it spans a time interval. Statements denoting this duration are optional. 15:03:48 Luc: record the votes that took place during the week 15:03:52 http://lists.w3.org/Archives/Public/public-prov-wg/2011Jun/0244.html 15:03:53 Yogesh has joined #prov 15:03:54 I didn't vote as I was not here last week - but neither was ilkayaltintas :) 15:03:57 +??P24 15:03:57 ... on the mailing list 15:04:01 +olaf; got it 15:04:13 +jun; got it 15:04:22 ... review actions 15:04:27 sorry, jun, I do not recognize a party named '[IPcaller]' 15:04:34 paulo has joined #prov 15:04:40 jcheney has joined #prov 15:04:47 + +1.518.276.aahh 15:04:49 ... 2 actions for the coordinators of tf 15:05:01 Luc: were completed during the week 15:05:03 -??P24 15:05:11 zakim, ??P24 is me 15:05:25 Luc: the last item is that we are still need scribe volunteers 15:05:26 +??P7 15:05:35 Edoardo has joined #prov 15:05:36 Luc: Connection Task Force 15:05:38 zakim, ??P7 is really me 15:05:42 +??P9 15:05:53 I already had ??P24 as ??P24, jcheney 15:06:04 Eric: update on the Connection TF & time table 15:06:23 +khalidbelhajjame; got it 15:06:24 http://www.w3.org/2011/prov/wiki/F2F1_Connection_Proposal 15:06:30 ericstephan: meeting yesterday 15:06:35 + +1.540.449.aaii 15:06:41 ... developed a timetible 15:06:58 +[LC] 15:07:01 ... for the next 2 weeks we are going to gather info about ppossible connections 15:07:05 zakim, LC is edsu 15:07:14 tfrancart has joined #prov 15:07:17 ... using the template provided by kai 15:07:17 zakim, +1.540 is me 15:07:24 +Yolanda 15:07:26 YolandaGil has joined #prov 15:07:42 ... search possible "clients" to use the PIL 15:07:51 +edsu; got it 15:08:04 q? 15:08:05 Luc: have you identified contributors 15:08:09 ... ? 15:08:10 +Yogesh; got it 15:08:20 ... have you an online template already? 15:08:48 ericstephan if anybody has one possible connection please contact the connection task force 15:08:49 q? 15:08:52 +q 15:08:55 + +1.915.603.aajj 15:08:58 +q 15:09:00 q? 15:09:05 +??P13 15:09:06 q? 15:09:11 +??P10 15:09:14 pgroth: there is a template on the proposal page 15:09:16 q- 15:09:21 q? 15:09:27 ack dgarijo 15:09:30 q- 15:09:30 q? 15:10:09 q? 15:10:24 note: irc being very laggy atm 15:10:26 YolandaGil: just wondering where to put the contributions? 15:10:39 stephen has joined #prov 15:10:47 +q 15:10:57 ericstephan: want to do a catalogue with one page per possible connection 15:11:00 q- 15:11:06 q? 15:11:12 Luc: add the entrypoints to the page, so anyone can contribute 15:11:58 q? 15:12:09 ... as a wg, we want to see how our model relates to other initievives (DC, etc). Are we going to start that work? 15:12:43 ericstephan: the model is evolving right now, so for now we will focus on possible collaborators 15:13:44 Luc: that work would tell us which properties should the PIL tackle to 15:13:55 ...too 15:13:59 -jorn 15:14:16 +??P41 15:14:23 ericstephan: yes, we'll be sensitive to that 15:14:23 zakim, ??p41 is me 15:14:23 +jorn; got it 15:14:30 +q 15:14:44 ... to the needs of other communities 15:15:05 q? 15:15:15 Luc: it doesn't have to be a detailed analysys 15:15:22 ack pgroth 15:15:46 pgroth: in the template there are already fields in the line of work proposed by Luc 15:16:23 ericstephan: Kai has already tracked that 15:16:48 Luc: who is going to contribute to what? 15:17:22 ericstephan: 5 people contributing to the call yesterday, with different ideas/areas/interests 15:17:28 q? 15:18:12 +??P1 15:18:14 ... if anyone is interested, you don't have to belong to the tf to participate or provide pointers 15:18:16 Christine has joined #prov 15:18:35 Luc: Implementation & test cases Task Force 15:18:42 Luc: situation? 15:18:56 Regrets+: Helena Deus 15:19:10 stephan: yet to have a call. 15:19:18 Yogesh has joined #prov 15:19:29 ... to focus the direction/test cases / requirements 15:19:58 q? 15:20:04 +q 15:20:07 q? 15:20:10 ack pgroth 15:20:13 +q 15:21:43 pgroth: be able to identify provenance systems that already use provenance. 15:22:10 pgroth: Implementor: somebody that would include our model in the system 15:22:12 ack ericstephan 15:22:20 ack pgroth 15:22:21 zednic: aka user 15:22:52 eric: some of the work of the connection tf is connected to the use cases 15:23:00 q? 15:23:26 ... maybe it is useful to detect potential clients 15:24:11 zednik: we can do this, but it is not a big task. 15:24:17 Luc: it would be useful info to gather 15:24:49 q? 15:24:50 zednik: create a list of user who would be able to oncorpore the spec 15:25:32 Luc: there is a bit of overlap between tf, but it is not necessarily a concern 15:25:37 q? 15:26:07 Luc: next Item. Provenance access & query TF 15:26:12 q? 15:26:21 TOPIC: PAQ TF Plan to F2F1 15:26:31 simon: no comments about the template 15:26:48 ... GK and Luc have added some proposals to the TF 15:26:55 q? 15:26:58 ... we need comments for the proposals 15:27:24 ... are they clear/not clear? please comment on them 15:27:26 -??P38 15:27:37 q? 15:27:56 ... send comments also to the mailing list 15:27:56 q+ 15:27:58 q? 15:28:06 +??P8 15:28:14 Zakim: +??P8 is me 15:28:15 yogesh? 15:28:21 ack yogesh 15:28:43 http://www.w3.org/2011/prov/wiki/F2F1_Access_and_Query_Proposal 15:28:47 q? 15:29:30 Luc: wiki or on the mailing list? 15:29:31 +q 15:29:44 -jorn 15:29:59 q- 15:30:14 q? 15:30:20 simon: wiki, but no objections to mailing list 15:30:25 q? 15:31:03 TOPIC: Model TF Plan to F2F1 15:31:04 Luc: everybody can comment even if it is not on your tf 15:31:11 Luc: Model TF 15:31:19 http://www.w3.org/2011/prov/wiki/F2F1_Model_Proposal 15:32:16 satya: there were discussions on the mailing list 15:32:19 +??P21 15:32:24 ... people can comment on the wiki pages 15:32:32 zakim, ??p21 is me 15:32:32 +jorn; got it 15:32:37 q? 15:32:42 ... or send an email to the mailing list 15:33:41 Luc: the curation process. It would be nice to have some comments as to why we are not adopting a definition. Is something you are planning to do 15:33:43 ... ? 15:34:48 khalid: group concepts that people have agreed on 15:35:12 +??P60 15:35:19 satya: for the f2f try to constraint the journalist example & the concepts that model the example 15:35:25 Zakim: +??P60 is me 15:36:18 q+ 15:36:37 Luc: khalid proposed a definition of derivation. It would be useful to add comments why this def has been revised in terms of IVPT 15:36:55 q? 15:36:55 Ok, 15:37:02 Luc: where to put these comments is up to you :) 15:37:05 ack pgroth 15:37:19 q? 15:38:00 TOPIC: Model Task Force 15:38:00 +1 yes thank you coordinators 15:38:33 Luc: properties to gather consensus 15:38:45 A process execution has either completed (occurred in the past) or is occurring in present (partially complete). In other words, the start of a process execution is always in the past. 15:38:47 Luc: paul sent a proposal to vote 15:39:29 Luc: it would be nice to reach consensus here 15:39:58 Luc: suggestion by Simon to add additional info to the definition 15:40:33 q? 15:41:00 A process execution has either completed (occurred in the past) or is occurring in present (partially complete). In other words, the start of a process execution is always in the past, from the position of any assertion made about it. 15:41:21 q+ 15:41:25 Luc: should it be rephrased? 15:41:28 ack jcheney 15:41:32 + +1.650.386.aakk 15:42:00 q? 15:42:05 jcheney: if we approve this now is it going to be definitive or just agreeing on terminology as a starting point 15:42:07 ... ? 15:42:10 q+ to respond to that 15:42:16 q? 15:42:19 ... maybe it will contraint us later 15:42:40 q? 15:42:44 ack pgroth 15:42:44 pgroth, you wanted to respond to that 15:43:06 +q 15:43:22 q- 15:43:27 pgroth: to get a set of terminology to agree in the beggining. Doesn't mean that we can't change it later, but just to understand us right now 15:43:32 Luc: agrees 15:43:48 q+ 15:43:57 ack Christine 15:44:15 -q 15:44:16 Why don't you make these plans explicit, ie, say somewhere when will you allow a cycle of revisions to the model 15:44:21 q- 15:44:24 Christine: might be more useful to separate process execution in the past from the one is now occurring 15:44:27 Luc: why? 15:44:38 Yolanda, good point 15:44:54 q? 15:44:54 Christine: it would make it easier to understand by the community. 15:45:13 ack Christine 15:45:43 introduction of Ralph Hudson? a new memeber for the group. 15:45:46 welcome, ralph 15:46:03 has not joined yet 15:46:15 q? 15:46:34 absolutely 15:46:46 ack satya 15:46:53 ...from the time instant any assertion is made about it 15:47:03 satya: small modification to de definition 15:47:16 ... simon's definition 15:47:28 ralphtq has joined #prov 15:47:43 q? 15:47:46 -jorn 15:47:49 Luc: anyone has any problems with that? 15:47:55 q? 15:48:02 +??P21 15:48:08 zakim, ??p21 is me 15:48:08 +jorn; got it 15:48:36 zakim, aakk is maybe ralphtq 15:48:36 I don't understand 'aakk is maybe ralphtq', jorn 15:48:44 satya: time dimension is always involved 15:48:50 zakim, aakk maybe is ralphtq 15:48:50 I don't understand 'aakk maybe is ralphtq', jorn 15:49:00 A process execution has either completed (occurred in the past) or is occurring in present (partially complete). In other words, the start of a process execution is always in the past, from the instant referred to by any assertion made about it. 15:49:10 simon: posts a suggestion to the definition 15:49:27 what is 'the past' ? 15:49:44 PROPOSED: A process execution has either completed (occurred in the past) or is occurring in present (partially complete). In other words, the start of a process execution is always in the past, from the instant referred to by any assertion made about it. 15:49:44 I am the person that asked about joining the call 15:49:57 my email is rhodgson@topquadrant.com 15:49:57 Luc: vote on this proposal 15:49:58 +1 15:50:02 +1 15:50:03 +1 15:50:04 +1 15:50:04 +1 15:50:04 +1 15:50:05 0 15:50:05 +1 15:50:07 +1 15:50:09 +1 15:50:10 +1 15:50:11 +1 (though probably could still be phrased better) 15:50:13 +1 15:50:14 +1 15:50:17 +1 15:50:18 +1 15:50:18 0 15:50:27 +1 - provenance is past tense 15:50:32 +1 15:50:39 Christine: not voting (the definition would benefit from some rephrasing for clarity) 15:50:39 zakim, aakk may be ralphtq 15:50:39 +ralphtq?; got it 15:50:48 ACCEPTED: A process execution has either completed (occurred in the past) or is occurring in present (partially complete). In other words, the start of a process execution is always in the past, from the instant referred to by any assertion made about it. 15:50:56 q? 15:51:22 Luc: discussion on resources and IVPT 15:51:37 1. We began definitions using resources, but were not progressing, because there is no universal definition of resource, and challenge with dealing with stateful resources 2. Two weeks ago, we decided to separate web architecture discussions from model discussions 3. We recognized that from a provenance viewpoint, we needed something that was stable/invariant/immutable, though we recognized that absolute immutability didn't really exist. Hence, we introduced the 15:51:44 ... would like to paste a small summary of the discussions from the mailing list 15:52:16 ... 1 duscussion on resources, but got stuck 15:52:42 my work is on the web as VOAG - Vocabulary of Attribution and Governance (this currently includes some Provenance concepts) - see http://www.linkedmodels.org/doc/voag/1.0 15:52:42 ... there is no universal agreement on resource, and the state of the resources. 15:52:56 ... then we separated the discussions 15:53:06 ... arch/model 15:53:14 3. We recognized that from a provenance viewpoint, we needed something that was stable/invariant/immutable, though we recognized that absolute immutability didn't really exist. Hence, we introduced the idea of "Invariant View or Perspective on Thing" (IVPT) 15:53:39 ... we recognised that we needed to have something immutable to assert provenance 15:53:46 I finish my introduction with this link to my web page - I am the second person listed - http://www.topquadrant.com/company/mgmt.html 15:53:54 4. Last WE's discussions between Jim and I were about whether IVPT was a type on its own, distinct from other things 15:54:16 ... idea of IVPT. Generation in terms of IVPT 15:54:43 ... IVPT as a new concept, different than anything that we had 15:54:51 5. I was convinced by Jim's argument that there is only a concept of "thing" with properties that are stable with respect to other things. So IVPT is not a separate type, but a relationship between types. 15:55:15 but a relationship between things. 15:55:22 ... So IVPT is not a separate type, but a relationship between things 15:55:22 6. We came up with the definition http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Definition_by_Jim_and_Luc_v2_.28in_progress.29 15:55:47 ... have a Luc at this definition and provide feedback 15:56:08 s/ Luc /look 15:56:30 Luc: it is my perspective 15:56:49 What do you mean by "identity" in this context? 15:57:13 ... using invariant properties and mutable properties 15:57:22 ... first definition of thing 15:57:49 ... relationship between things 15:57:51 q? 15:57:56 I raise my hand to speak about SBFI and distinctions between Perspective, Viewpoint and Aspect 15:57:57 q? 15:57:57 ... a thing can be invariant from another 15:57:58 christine 15:57:59 q+ 15:58:19 Christine: whta is identity in this context? 15:58:30 s/whta/what 15:58:35 s/whta/what/ 15:58:42 Luc: to me, it's the ability to distinguish 2 entities 15:58:45 -Yolanda 15:59:11 SBFI stands for Structure, Behavior, Function adn Interface/Interaction - dimensions that characterize a system + BDI - Beliefs, Desires and Intentions 15:59:21 Christine: identity is diferent from identification 15:59:25 he collective aspect of the set of characteristics by which a thing is definitively recognizable or known: 16:00:01 DOCLE ontology defines endurants and perdurants - are you wanting to be that deep about the nature of the world? 16:00:03 Luc: identity: the collective aspect of the set of characteristics by which a thing is definitively recognizable or known 16:00:05 DOLCE 16:00:16 q? 16:00:20 +q 16:00:20 q- 16:00:27 ack pgroth 16:01:00 q? 16:01:06 @Christine: Can we limit the scope of the definition to the journalism example for now? 16:01:11 pgroth: reasonable, but concerned that it might be to deepas a definitio. 16:01:23 q? 16:01:27 q? 16:01:36 q? 16:01:38 q+ 16:01:43 q+ 16:01:54 Paul, understand the need to reach consensus on language for definition 16:02:01 Luc: not trying to get a final def today 16:02:35 Luc: but process exectution, generation, etc will refer to thing 16:02:46 q? 16:02:47 q+ 16:02:50 Perhaps we just need to briefly explain "identity" as it is used here 16:02:55 ack ralphtq 16:02:58 ... we should get agreement asap, but not necessarily today 16:03:29 q? 16:03:30 -jorn 16:03:47 +??P0 16:03:48 q? 16:04:04 zakim, ??p0 is me 16:04:04 +jorn; got it 16:04:27 ralph: entity/thing. The DOLCE ontology has concepts to model some of the concepts endurants/perdurants 16:04:45 q? 16:05:01 ... viewpoints helps with the notion of identity 16:05:09 q? 16:05:19 ... because it is driven by context. 16:05:41 @ralph: Basic Formal Ontology (BFO) has similar concepts called continuants/occurrent 16:05:42 ... desires to have a lightweight notion for provenance 16:05:59 thanks ralph 16:06:12 ack JimM 16:07:03 JimM: we have the use cases and we are looking for the lightweight notion to cover the user cases. 16:07:11 -pgroth 16:07:16 -tlebo 16:07:27 -jorn 16:07:43 q- 16:08:07 JimM: been trying to put consitent defs of all the concepts. 16:08:18 q- 16:08:36 ack satya 16:08:43 satya: +1 to a lightweight notion to cover the use cases 16:08:53 (+1 to that too) 16:09:16 Proposed: to use a notion of thing (http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Definition_by_Jim_and_Luc_v2_.28in_progress.29) as an initial definition to allow definitions of other concepts 16:09:32 +1 16:09:37 +1 16:09:38 +1 16:09:39 Luc: proposes to use the notion of thing on the wiki 16:09:44 +1 16:09:46 0 16:09:47 +1 16:09:54 +1 16:09:56 +1 16:09:57 +1 16:10:01 +1 16:10:09 +1 16:10:09 +1 16:10:12 +1 16:10:18 +1 16:10:18 +1 16:10:28 0 16:10:28 +1 16:10:30 0 16:10:44 accepted: Proposed: to use a notion of thing (http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Definition_by_Jim_and_Luc_v2_.28in_progress.29) as an initial definition to allow definitions of other concepts 16:11:09 accepted: to use a notion of thing (http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Definition_by_Jim_and_Luc_v2_.28in_progress.29) as an initial definition to allow definitions of other concepts 16:11:16 Luc: we don't have unanimity 16:11:41 Luc: we really should back to this def once we have a consistent set of definitions 16:12:10 - +1.518.276.aahh 16:12:11 - +1.509.554.aacc 16:12:11 - +1.216.368.aaee 16:12:11 -jun 16:12:11 -edsu 16:12:12 q? 16:12:13 -khalidbelhajjame 16:12:16 -SamCoppens 16:12:18 -dgarijo 16:12:19 -??P40 16:12:20 Luc: now we can revise the other defs according to this one. Look forwardto see your contributions 16:12:21 - +1.915.603.aajj 16:12:23 -??P60 16:12:25 -olaf 16:12:27 -??P1 16:12:29 -smiles 16:12:33 -Yogesh 16:12:35 -??P13 16:12:38 -ralphtq? 16:12:41 yes 16:12:43 -??P9 16:12:46 - +1.518.633.aadd 16:12:46 daniel, i can do the necessary incantations and have it for you to edit on the wiki 16:13:07 zakim - did you want to ask me something? 16:13:55 rrsagent, set log public 16:14:04 rrsagent, draft minutes 16:14:04 I have made the request to generate http://www.w3.org/2011/06/16-prov-minutes.html Luc 16:14:10 trackbot, end telcon 16:14:10 Sorry, Luc, I don't understand 'trackbot, end telcon '. Please refer to http://www.w3.org/2005/06/tracker/irc for help 16:14:31 Thanks, luc 16:14:40 goodbye! 16:15:06 luc - thank you for allowing me to participate 16:15:08 -??P29 16:15:17 my pleasure 16:15:47 luc - I will add myself to the mailing list now? 16:22:00 zednik has joined #prov 16:23:38 -Luc