15:45:09 RRSAgent has joined #prov-xg 15:45:09 logging to http://www.w3.org/2010/11/26-prov-xg-irc 15:45:11 RRSAgent, make logs world 15:45:11 Zakim has joined #prov-xg 15:45:13 Zakim, this will be 98765 15:45:13 ok, trackbot; I see INC_PROVXG()11:00AM scheduled to start in 15 minutes 15:45:14 Meeting: Provenance Incubator Group Teleconference 15:45:14 Date: 26 November 2010 15:45:32 Zakim, this will be inc_provxg 15:45:32 ok, Luc; I see INC_PROVXG()11:00AM scheduled to start in 15 minutes 15:46:20 Agenda: http://lists.w3.org/Archives/Public/public-xg-prov/2010Nov/0041.html 15:46:34 chair: Yolanda Gil 15:46:47 Scribe: Luc Moreau 15:47:01 ScribeNick: Luc 15:47:08 rrsagent, make logs public 15:48:37 Irini has joined #prov-xg 15:52:37 INC_PROVXG()11:00AM has now started 15:52:44 +Yolanda 15:53:29 YolandaGil has joined #prov-xg 15:53:52 pgroth has joined #prov-xg 15:53:55 hi Irini, it's great to "see" you! 15:56:40 +??P1 15:57:00 SamCoppens has joined #prov-xg 15:59:38 +Luc 16:00:25 jun has joined #prov-xg 16:00:51 + +30281076aaaa 16:01:03 +[IPcaller] 16:01:04 Zakim, +302810 is Irini 16:01:05 +Irini; got it 16:01:15 Irini has left #prov-xg 16:01:15 +??P5 16:01:21 DGarijo has joined #prov-xg 16:01:23 zakim, ??p5 is jun 16:01:23 +jun; got it 16:02:00 Irini_ has joined #prov-xg 16:02:08 Zakim, [IPcaller] is SamCoppens 16:02:08 +SamCoppens; got it 16:02:22 +??P6 16:04:04 Paulo has joined #prov-xg 16:04:30 jcheney has joined #prov-xg 16:05:10 Yolanda: rule of engagement. No reference to specific languages. 16:05:46 + +1.915.603.aabb 16:05:47 ... discussion should be at conceptual level, rather than specific level 16:06:06 Yolanda: examples to be discussed should be from our flagship scenarios 16:06:19 Jose_ has joined #prov-xg 16:06:27 +??P8 16:06:40 zakim, ??P8 is me 16:06:40 +jcheney; got it 16:06:53 zakim, ??P6 is probably me 16:06:53 +DGarijo?; got it 16:07:02 http://www.w3.org/2005/Incubator/prov/wiki/Recommendations_for_scenarios 16:07:12 Yolanda: OK, we have agreement. 16:08:32 Yolanda: we should keep in mind those requirements/recommendations 16:08:54 A formal thank you to Yolanda for her amazing chairing of the incubator. 16:09:39 + +49.166.4.aacc 16:09:46 clap! 16:09:50 +1 16:10:02 yeah, thanks! 16:10:15 +1! 16:10:26 +1 16:10:30 +1 16:11:12 + +1.706.461.aadd 16:11:58 Paul: I tried to group the set of suggested concepts 16:12:00 http://www.w3.org/2005/Incubator/prov/wiki/Suggested_Concepts 16:13:09 Paul: proposal, go through the list of concepts, identify issues with grouping, identify missing concepts 16:13:41 Paul: then go through timeline. Feedback from Yvan to be discussed 16:14:03 yes 16:14:23 -Luc 16:14:23 ssahoo2 has joined #prov-xg 16:15:17 +Luc 16:15:19 Paul: concept 1 16:18:01 Paul: concept 2: Process 16:19:00 q+ 16:19:09 Paulo: qualification: do you talk about an execution of experience, or a process that can be repeated agian, and again? 16:19:16 what about unix process? 16:19:24 but as long as the definition is clear, I dont' see that as a problem 16:19:26 it's an execution 16:19:32 q+ 16:19:38 i agree with jun 16:19:54 what about a query? 16:20:30 q+ 16:20:35 Paul: it's an execution we talk about, an instance of execution 16:20:41 q- 16:20:41 In DL - the process is a concept and the execution of a process is a instance of the process 16:20:55 TBox vs. ABox 16:21:38 i agree 16:21:42 Paul: by process, we mean execution of a program or execution of workflow 16:22:04 I agree wiyh Paul's definition 16:22:25 Paul: the next concept is recipe, which is a program to be executed 16:23:01 + +1.217.417.aaee 16:23:18 q- 16:23:22 I agree with Paul, as long as we mean Process refers to an execution, I am fine with it 16:23:29 I agree 16:23:31 Paul: i agree there is a difference between a program and an execution. Concept 2 is an execution. 16:23:38 q- 16:23:38 +1 16:23:46 Paul: are we fine with a notion of execution? 16:24:00 JimM has joined #prov-xg 16:24:16 q+ 16:24:25 Paul: concept 3: recipe, is a program, a workflow, a set of rules. Something that can be executed. 16:24:30 why is that not just a Resource? 16:24:46 +q 16:25:00 Yolanda: i would be concenred to add this to a charter of a WG 16:25:06 zakim, who is noisy 16:25:06 I don't understand 'who is noisy', jcheney 16:25:25 Yolanda: it's difficult to reach consensus on this 16:25:48 q+ 16:26:17 Yolanda: it's very important, but I would suggest the group to drop this one 16:26:34 Paul: what is needed is a link to a recipe, not a recipe itself. 16:26:50 q- 16:26:52 Jim: agreement with Paul, we don't want to standardize on recipes. 16:27:00 q- 16:27:01 Yolanda: OK 16:27:11 q+ 16:27:14 q+ 16:27:44 reminder: rules of engagement!!! No ref to vocabularies! 16:27:47 q- 16:28:26 +1 to jun's point 16:28:26 I could understand you Paulo, can you write what you said? 16:28:28 q- 16:28:35 so, I think both the notions of "recipe" and "execution of a recipe" are needed 16:29:15 Paul: we talk about an execution of a process, and it would be useful to refer to what is being executed, i.e. recipe 16:29:48 Paul: do we agreement we need a concept "Recipe Link", i.e. a pointer to a recipe 16:29:56 +1 16:29:56 +1 16:29:59 Paul: do we need a propety call recipelink, we don't standardize the concept recipe 16:29:59 +1 to Paul 16:30:00 no, it is necessary to explicitly model a process, since a process itself can have properties 16:30:02 +1 for the link 16:30:06 +1 16:30:38 re @ssahoo2, I think that should be done by a specific community, to build their own extensions for that purpose 16:31:03 Paul: OK, we have support for Recipe Link 16:31:26 Paul: standardizing recipes would be totally out of scope 16:32:21 Paul, OK, let's move on to next concept 16:32:57 Paul: concept 4: agent. In most case, it is a person. 16:32:58 I agree 16:32:58 +1 16:33:01 q+ 16:33:20 q+ 16:33:43 yes - agent in the broad sense (corporations as legal persons, etc.) 16:34:43 PLuc: should we leverage existing notions of agents (e.g. foaf)? 16:35:10 q+ 16:35:44 Paul: do we recognize the need for agents, if so we should recognize it here, and leave to the WG to decide how to standardize it (inc. reusing a definition out there) 16:36:17 Yolanda: notion of responsibility 16:36:31 Paul: let's leave it to the end 16:36:55 Paul: is agent = source? 16:37:10 source might be the concept of responsible agent... 16:37:17 I see source as a specialization of agent 16:37:36 +1 @Sam 16:37:38 Paul: is source a specialization of agent? 16:37:40 though sources such as documents don't seem to be agents 16:37:45 q+ 16:37:46 i thought a source could be a database? 16:38:48 Paul: do we need a concept to mark that something acts as a source? 16:38:59 No, source is just a specialization of agent 16:39:33 Paul: some say that a document can be source 16:39:37 In that case, source will be a specialization of "Resource" 16:39:55 Paul: suggestion to remove Source altogether 16:40:05 and the information derived from the document 16:40:18 source is now gone, just refresh the page. i added a note that the agent can be a creator or a contributor 16:40:25 Paulo: need a concept that is actionable, capable of making assertions 16:41:40 Paulo: is provenance container something that knows something? 16:41:55 +q 16:42:02 Paulo: we need a knowledge container 16:42:08 q- 16:42:36 Jim: we need to be able to say something comes from a person or from a database 16:42:52 +1 to Jim's point 16:42:57 Jim: do we decide now, or we leave it to the WG 16:43:43 Paulo: source is a connection between a resource and an agent 16:44:07 Paulo: do you mean an agent says? or an agent is responsible for? 16:44:27 -q 16:44:40 q- 16:44:59 q- Paulo 16:45:03 q- Luc 16:45:05 -Luc 16:45:25 Yolanda: Why are we removing the other examples from the grouping page for the agreed on terms? 16:46:05 q+ 16:46:06 +1 16:46:10 +1 16:46:41 +Luc 16:46:57 what was the resolution? I dropped off the call. 16:47:20 q- 16:47:45 we agreed to keep the agent and removed source 16:47:47 resolution was to use agent and drop source since it meant contributor etc 16:48:12 Paul: Role, we need this notion, even if in a given realisation (e.g. DL) we drop it, maybe because we encode it differently 16:48:20 this notion of query seems strange to me 16:49:02 user query is a type of recipe? 16:49:11 and then out of scope since we don't type recipes 16:49:11 Paul: Query: i dont' see why we need this for a general provenance model 16:49:55 Paulo: you can get an answer, but not for the question that was asked 16:50:19 q+ 16:50:24 or is it just a type of input (role = query)? 16:51:17 +q 16:54:04 +1 go away 16:54:06 Jim: user query can be seen as role, each community could define the kind of roles they consider important 16:54:14 +1 16:54:32 -1 16:54:49 0 16:55:17 i'm not sure, it query could be seen as a justification... 0 16:55:32 we are not suggesting to standardize on what queries are here? right? 16:55:50 I don't understand what this concept does, so I can't vote 16:56:22 an example is necessary to illustrate his concept 16:56:40 isn't a query a kind of artifact? 16:56:55 yes @Luc 16:57:02 could we make an exception and let Paulo put an example that is not from the scenarios? 16:57:08 I think we should explicitly put it under Resource 16:57:19 instead of completely reoving it 16:57:25 removing 16:57:44 Paul: to move on, let's leave it there for now 16:57:55 it will need to be revised... 16:58:22 Paul: can we modify the page, and indicate it could be subclass of resource or role 16:58:55 q+ 16:58:57 Paul: next concept: Location. There are many ontologies for location. 16:59:01 The notion here refers to a property 16:59:06 +1 for not reinventing wheel... 16:59:44 q+ 16:59:44 Jim: location is not universal, and is specific to domains 16:59:46 +1 for leaving it out of the core 16:59:49 location does not look core to me either 17:00:51 Satya: it's just a link to location, rather than location itself, we need 17:01:16 but isn't this already defined in location ontologies? 17:01:27 i agree with satya. It's not reinventing the wheel, just pointing to other ontologies... 17:01:58 if it's pointing out, then it's not core 17:02:17 is there an example of location use in the 3 flagship scenario? 17:02:17 Satya: there exists a notion of locationOf 17:02:55 where disease was declared maybe? 17:03:04 yes 17:03:16 yolanda, yes: if the sensor is a buoy, in the disease outbreak scenario, then it's important to know where was it produced 17:03:19 -q 17:03:27 q- 17:03:36 q- 17:04:02 Paulo: Location is a property of a concept 17:04:45 sorry, I have to run. will catch up with the minutes 17:04:49 - +49.166.4.aacc 17:05:31 why would the location where the disease was declared deserve a special treatment more than other entities? 17:05:50 I think this discussion is very OWL specific concept/property!! 17:06:27 given that our disease scenario shows a need for location expression, I am prone to have a notion of location in the core 17:06:37 i agree with you Yolanda, we could talk about color, too! 17:06:37 why location and not "consumable resource"? 17:07:16 Paul: we need to move on, turn location into a link, which must point to another ontology 17:07:27 +1 17:07:34 Paul: like we did for recipe lonk 17:07:37 yes, it is a link 17:07:45 +1 for link 17:07:54 +1 17:07:57 +1 17:08:15 +1 for derivation 17:08:18 Paul: next: derivation 17:08:22 +1 17:08:28 +1 17:08:31 +1 17:08:33 +1 17:08:34 +1 17:08:36 q+ 17:09:20 Paulo: it is not minimal, it can be derived from processes 17:10:06 agnostic aproach? 17:11:02 q+ 17:11:53 I don't agree. It's a very important shortcut, when people don't want to express the image copying process in details 17:12:11 +1 as a shortcut 17:12:39 +1, this is a dataflow view ... we may not know the process 17:12:53 I think there are a lot of +1 17:13:15 Paul: there is majority of people for keeping it 17:14:16 q+ 17:14:23 Paul Use and Generation 17:14:36 +1 to both of them 17:15:13 9, 10, 13 17:15:17 Satya: participation could be combined with them too 17:15:54 i thought participation was like agent control 17:16:00 I think they are quite different, as seen from the examples 17:16:41 I think the sub-classing should be done by the WG 17:16:54 I don't think we should group Use and Generation 17:17:00 nope 17:17:12 Paul: OK, agreement 17:17:37 Paul: ordering of process 17:17:52 +1 - links from processes to inputs(used), outputs(generated), and things that participate 17:18:11 it seems that derivation, generation, use, and participation are all shortcuts, they will be particularly useful when the provenance is incomplete 17:18:36 Paul: useful for a control view of the world 17:18:42 Paul: OK agreement 17:18:52 same for ordering 17:19:00 +1 For control 17:19:06 Paul: notion of Control (11) 17:19:13 does control releate to the notion of responsibility 17:19:24 Paul: no objection 17:19:31 and subtype of participation... 17:19:49 to be the agent responsible of an object couldn't be a role? 17:20:04 Paul: notion of versioning 17:20:26 Paul: we would want some "lightweight" solution 17:20:46 +1 for a link 17:20:48 +1 for versioning, but could be grouped with derivation 17:20:50 Paul: otherwise, standardizing a versioning system could be scary 17:20:50 I think notion of versioning is important 17:20:54 +1 17:20:55 maybe it can be made optional/experimental? 17:21:08 +1 for jcheney 17:21:30 +1 for link 17:21:41 Paul: we should not it should be a link, so rather lightweight/optional 17:21:51 -jcheney 17:22:00 +q 17:22:02 q+ 17:22:07 q- 17:22:32 Paulo: i cant' see the difference between participation and control 17:22:37 +??P8 17:22:38 -??P8 17:22:45 :) good example 17:23:18 participant maps to dc:contributor versus dc:creator for control - broader than control/own 17:23:19 +??P8 17:23:24 Zakim, ??P8 is me 17:23:24 +jcheney; got it 17:24:06 Satya: it's not a control link, but indicates the presence 17:24:12 yes, presence 17:24:48 Paulo: does it have influence? 17:24:55 participation is a link between a mutable resource and a process that is part of its lifecycle 17:24:58 -jcheney 17:25:27 I keep getting dropped 17:25:38 why is this core? 17:25:53 a web server participates in providing a response but does not control it... 17:26:27 ... but if the web server wasn't there there wouldn't be any response 17:27:32 Wanted to ask whether there is redundancy between provenance containers, accounts, and more general collections. 17:27:56 E.g. an account could be viewed as a subcollection of provenance statements. 17:28:37 +??P8 17:28:44 zakim, ??P8 is me 17:28:44 +jcheney; got it 17:28:53 Paul: participating has influence on something 17:29:04 I agree @Paul 17:29:09 Paul: Control is subclass of participation 17:30:06 q+ 17:30:13 Paul: we should not the relationship between participation and control, and the fact they influence processes 17:30:15 q+ 17:30:34 q- 17:30:37 Paul: container 17:30:38 I noted on the wiki that Control is a subclass of participation, and put Control after Participation in the list 17:30:42 +q 17:30:50 q+ 17:31:33 Satya: is provenance container a resource?, same for collection 17:33:34 Paulo: why not use named graph? 17:35:11 Paulo: i don't see the provenance container as a kind of source 17:35:32 who said resource is not mutable? on the web, they definitely are! 17:36:32 Resource (from provenir:data perspective) is definitely mutable, although opm:Artifact definition is for immutable 17:36:48 w.r.t., the processes being described 17:37:06 I think we should discuss it in WG 17:37:26 +1 to ssahoo2 17:37:32 companies can go through mergers to create new companies 17:37:47 may i suggest we expand provenance container to containing provenance assertions 17:38:11 +1 on the larger topic - I think account is needed and there is a need to be able to treat them as resources with their own provenance 17:38:35 yes, @Paul provenir:data is for both mutable and immutable 17:39:21 for Resource, can we add a line that we need to distinguish the Resource and its States 17:40:29 +q 17:40:42 it's a complex problem that cannot be solved in one telcom 17:40:51 +1 for jum 17:40:51 -q 17:40:58 s/jum/sun 17:41:05 s/jumjun 17:41:07 mutability is a role relative to a set of processes and one resource may be immutable relative to some and mutable relative to others 17:42:00 Paul: add the distinction of mutable and immutable resources under concept 1 17:42:20 yes. we need both. and IMO the WG should decide how to separate them 17:42:29 -q 17:43:09 q- Paulo 17:43:12 q- Luc 17:43:27 Paul: we agree we want a provenance container (which could end up being a named graph) 17:43:39 +q 17:43:43 q+ 17:43:50 Oaul: view/account 17:44:02 q+ 17:44:06 exactly @Daniel 17:44:10 q- 17:44:14 Daniel: can they be seen as provenance container? 17:44:30 Satya: what was your example of "Participation" 17:44:50 q- ssahoo 17:44:55 q- Paulo 17:44:59 Other than what is listed on the wiki? 17:45:15 q+ 17:45:27 yes, i'd like a good example that refers to one of the 3 flagship scenarios 17:46:29 -Luc 17:46:46 Luc: accounts are conceptually different from provenance containers 17:46:53 I dropped off again 17:46:59 I will have to re-read the 3 flagship scenarios 17:47:14 I can send you by mail later? 17:47:30 yes! 17:48:03 I can't dial in anymore 17:48:22 I think it is good to keep both 17:48:51 +1 for time 17:48:53 Paul: Both accounts and containers are retained 17:48:53 +1 for time 17:49:09 +1 17:49:13 +1 17:49:17 +1 17:49:18 +1 for time 17:49:20 Paul: Agreement on keeping Time 17:49:58 Paul: Next concept Collection 17:49:59 it seems I can't call in anymore at this time :-( 17:50:12 q+ 17:50:22 my take: save collections for 2.0 - probably not enough consensus 17:50:26 Sorry Luc :-( we'll transcribe 17:50:36 As I can't talk, I would like to say that collections would be a very big chunk to standardize on 17:50:44 We can't do it in two years. 17:50:52 Satya points out we should have it as a link, not as a concept 17:50:59 Paul: Collections is a difficult to model 17:51:00 Defintely useful, but this is not mature yet for standardization 17:51:12 Paul mentions this would be very hard to do and should be left for the future 17:51:16 +1 to Satya 17:51:52 Satya says it is a containment relationship 17:52:46 perhaps all that's needed is the idea of extraction (source) - one resource is something came from a larger resource 17:53:12 you created a doc, I edited a chapter, the chapter came from your doc 17:53:14 That's not the issue, who do collections evolve when being transformed. It's complex to describe. 17:53:24 q+ 17:53:28 trying to keep that out of scope 17:53:30 q- 17:54:25 Yolanda: Can consider modeling collection subclass of Resource 17:54:42 +q 17:54:47 Yolanda: we should model Collection as a specific type of Resource. Would that be sufficient? 17:55:07 q- YolandaGil 17:55:15 q- Luc 17:55:19 q- JimM 17:56:18 Jim: Important to represent information that is source-oriented 17:57:07 Paul: We will not model concept of collection in WG and is a specific type of resource 17:57:12 +1 for option 1 17:57:14 +1 for option 2 17:57:15 option 1: a collection is a type of resource 17:57:19 +1 for option 2 17:57:28 option 2: we keep it as a very lightweight notion 17:57:31 +1 for option 2, more minimalistic for now 17:57:32 +1 for option 1 17:57:33 +1 on 2 17:57:42 +1 for option2 17:58:03 i don't know what we vote on, but, please make it small! 17:58:09 +1 for option 2 17:58:19 Paul: Include notion of containment as a property 17:58:35 Paul: but it must be a lightweight notion 17:59:38 Paul: Yolanda to include notion of responsibility 18:00:06 is this the same as attribution? 18:00:08 is that more specific or broader than controlled by? 18:00:58 Jim: Seems to be closer to notion of source 18:01:33 I think control does not imply responsibility and vice versa... 18:01:37 the controller, or the role played by the controller? 18:02:28 very close to attribution I think 18:02:29 +1 for something to manage responsibility 18:02:36 +1 18:02:38 Paul: Include term for responsibility 18:02:40 yes, +1 18:02:49 +q 18:03:06 i think we can list responsibility on the list, and maybe mention it's related to controlled by 18:03:16 Yolanda: Responsibility is distinct from control 18:04:19 James: Are there existing terms for modeling responsibility? 18:04:47 a piece of information can be derived from a process, but an agent can digitally sign the information taking responsibility for the generated information. That is why it should be seperated with controlled by 18:05:11 James: Similar to trust, responsibility can be derived from provenance 18:05:15 I see responsibility as something not primitive. We can imagine a process that allocates responsibility to a user, all this controlled by some agent. So with the basic terms, we ahve we can model responsibility. 18:05:49 +q 18:06:27 q- 18:06:44 -Irini 18:06:58 James: Need to proper to differentiate between responsibility and endorsement 18:07:48 +1 for useful shortcut 18:07:54 Paul: Agreement to keep Responsibility as a note 18:08:27 Paul: Any missing terms? 18:08:37 no :-) 18:08:46 it's not a new term, but what do we say about security 18:09:20 is it in scope of the WG do define ways of signing provenance graphs? 18:09:33 i think we don't time 18:09:39 should wrap up 18:09:50 Paulo has joined #prov-xg 18:10:29 thanks Paul 18:10:42 thanks Paul 18:10:50 yeah, thanks! 18:10:52 great Paul! 18:11:22 good work Paul! 18:11:31 -??P1 18:11:33 - +1.217.417.aaee 18:11:41 - +1.706.461.aadd 18:11:42 thanks everybody 18:11:44 -Yolanda 18:11:46 -jcheney 18:11:47 -jun 18:11:48 -DGarijo? 18:11:49 - +1.915.603.aabb 18:11:51 -SamCoppens 18:11:53 INC_PROVXG()11:00AM has ended 18:11:55 Attendees were Yolanda, Luc, +30281076aaaa, Irini, jun, SamCoppens, +1.915.603.aabb, jcheney, DGarijo?, +49.166.4.aacc, +1.706.461.aadd, +1.217.417.aaee 18:12:17 Ok, I transcribed everything at http://www.w3.org/2005/Incubator/prov/wiki/Suggested_Concepts 18:12:29 let me know if I missed anything from today's discussion 18:13:16 rrsagent, set log public 18:13:28 rrsagent, draft minutes 18:13:28 I have made the request to generate http://www.w3.org/2010/11/26-prov-xg-minutes.html YolandaGil 18:13:38 thanks yolanda 18:13:49 i think the entry is ready on the wiki page, just check it 18:13:51 pgroth has joined #prov-xg 18:13:51 did you miss anything Luc? 18:14:11 am on skype with Paul now 18:14:36 great!! i have 15 people waiting for me, so i'll let Paul catch you up. THANK YOU!!!! 20:39:14 Zakim has left #prov-xg