14:47:19 RRSAgent has joined #prov 14:47:19 logging to http://www.w3.org/2012/05/31-prov-irc 14:47:21 RRSAgent, make logs world 14:47:21 Zakim has joined #prov 14:47:23 Zakim, this will be 14:47:23 I don't understand 'this will be', trackbot 14:47:23 Zakim, this will be PROV 14:47:24 Meeting: Provenance Working Group Teleconference 14:47:24 ok, Luc; I see SW_(PROV)11:00AM scheduled to start in 13 minutes 14:47:24 Date: 31 May 2012 14:47:32 agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.05.31 14:47:44 Chair: Luc Moreau 14:47:54 Scribe: Tom DeNies 14:47:59 rrsagent, make log public 14:48:04 zakim, who is here? 14:48:04 SW_(PROV)11:00AM has not yet started, Luc 14:48:05 On IRC I see RRSAgent, Luc, pgroth, MacTed, stain, trackbot, sandro 14:48:17 Regrets: James Cheney, Paolo Missier 14:50:58 SW_(PROV)11:00AM has now started 14:51:05 +BrendanIAB 14:53:17 topic: admin 14:57:09 Curt has joined #prov 14:57:47 +Curt_Tilmes 14:58:01 GK_ has joined #prov 14:58:08 GK has joined #prov 14:58:26 + +1.518.276.aaaa 14:58:50 tlebo has joined #prov 14:59:12 +Luc 14:59:15 smiles has joined #prov 14:59:17 TomDN has joined #prov 14:59:28 +??P49 15:00:18 +TomDN 15:00:26 [ Luc - regrets from me for today, sorry for the late notice ] 15:00:33 +??P42 15:00:42 dgarijo has joined #prov 15:00:48 -??P42 15:00:56 @sandro, ok, had you emailed the announcements of working drafts to various w3c lists? 15:01:07 Yes, I did. 15:01:15 thanks, action can be closed. 15:01:18 thanks 15:01:21 satya has joined #prov 15:01:27 +??P53 15:01:33 +??P54 15:01:41 Zakim, ??P54 is me 15:01:43 zakim, ??p53 is me 15:01:43 +dgarijo; got it 15:01:49 +GK; got it 15:02:06 SamCoppens has joined #prov 15:02:29 http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.05.31 15:02:48 proposed: to approve Minutes of the May 24 2012 Telecon 15:02:55 Thanks 15:03:00 http://www.w3.org/2011/prov/meeting/2012-05-24 15:03:02 +1 15:03:04 +1 15:03:04 +1 15:03:09 +1 15:03:13 +1 15:03:15 +Satya_Sahoo 15:03:18 0 (did not attend) 15:03:27 +OpenLink_Software 15:03:34 zednik has joined #prov 15:03:34 Zakim, OpenLink_Software is temporarily me 15:03:34 +1 15:03:36 Zakim, mute me 15:03:40 resolved: to approve Minutes of the May 24 2012 Telecon 15:03:45 +BrendanIAB.a 15:04:03 +MacTed; got it 15:04:05 MacTed should now be muted 15:04:11 Luc: review open actions 15:04:15 +??P30 15:04:31 tlebo has joined #prov 15:04:34 Luc: there was an action on Graham to review the constraints, and he did 15:04:35 zakim, SamCoppens is with TomDN 15:04:38 zakim, who is on the phone? 15:04:41 topic: Schedule for internal release and review 15:04:57 +SamCoppens; got it 15:04:58 Luc: all other open actions closed as well 15:04:59 On the phone I see BrendanIAB, Curt_Tilmes, +1.518.276.aaaa, Luc, ??P49, TomDN, GK, dgarijo, Satya_Sahoo, MacTed (muted), BrendanIAB.a, ??P30 15:05:02 TomDN has TomDN, SamCoppens 15:05:06 zakim, I am aaaa 15:05:17 +tlebo; got it 15:05:22 Luc: we need to agree on the time when the documents can be released for review, and for how long 15:05:36 dcorsar has joined #prov 15:05:50 ... there are still 2 open issues 15:06:04 ... on the agenda today to close them 15:06:23 ... but release of documents would not be held up by these issues 15:06:37 ... It is unclear when the CONSTRAINTS document would be ready for review 15:06:54 Simon: prov-primer is ready for review 15:07:13 q? 15:07:15 Luc: prov-o? 15:07:30 tlebo: About a dozen issues in the tracker 15:08:18 ... most important issues is hasprovenancein and dictionary 15:08:33 ... most others are editorial issues and shouldn't pose many problems 15:08:44 Luc: When would the document be ready for review then? 15:08:54 tlebo: Could be by early next week 15:09:15 +??P2 15:09:19 Christine has joined #prov 15:09:20 ... except hasProvenanceIn 15:09:24 If PAQ terminology is part of hasPriovenanceIn discussion, I'd move to put it in a separate namespace ... if only to keep the issues distinct in our discussion. 15:09:44 +q 15:09:44 q? 15:09:49 Luc: Should we wait until these issues are resolved, or proceed with review? 15:10:23 Paul: It would be nice to have reviewers take a look at it before the last call 15:10:49 ack pgroth 15:11:02 +1, would be nice to have reviewers be for "Last Call" (for real) 15:11:14 ... We already released something recently, so there is no real pressure to release something right now. It would be better to wait until everyone agrees that the document is ready for last call 15:11:17 yes 15:11:23 i think so, yes 15:11:31 Luc: Should we postpone this to next telecon? 15:11:34 I shall miss the next two teleconferences .. travelling, meetings, etc. 15:11:50 topic: Dublin Core Best Practice 15:11:50 ... By then we will have agreed on outstanding issues. 15:12:19 https://github.com/dcmi/DC-PROV-Mapping/wiki/Mapping-Primer 15:12:25 daniel: I have sent an email this morning with the mapping links 15:13:47 ... We have divided the mapping in a primer, a specialization of prov-o, a direct mappings doc and finally, a complex mappings doc 15:14:04 q? 15:14:07 +q 15:14:15 ... next steps are to complete the round trip 15:14:38 +??P13 15:14:39 OCLC? 15:14:58 didn't hear the question properly, sorry 15:15:09 Zakim, mute me 15:15:09 TomDN should now be muted 15:15:15 q? 15:15:18 ack pg 15:15:18 ack pgroth 15:15:27 stephenc has joined #prov 15:15:31 q? 15:15:41 daniel: if we have more problems, we will move it to the W3C wiki 15:16:17 Luc: I think it is important that we move this document to the W3C website (for intellectual property reasons) 15:16:44 ... My suggestion is: move to wiki (or most appropriate location) 15:16:51 q? 15:16:51 daniel: OK, will do this 15:17:10 Luc: Who would be willing to review the DC mapping document? 15:17:16 I'll try. 15:17:17 It is not very long i promise :) 15:17:20 +1 15:17:31 +1 15:17:33 +1 15:17:34 +1 15:17:43 thanks to all. 15:18:10 topic: definition of role 15:18:19 http://www.w3.org/2011/prov/track/issues/384 15:18:25 Luc: thanks to Daniel for putting the effort into this document, it is great that we can connect to the Dublin Core community 15:18:38 The documet looks good to me on cursory glance. Exposes and analyses issues nicely 15:19:29 Luc: As I was reviewing the PROV-DM, I came across this issue http://www.w3.org/2011/prov/track/issues/384 15:19:48 ... The challenge is getting the right definition for the DM 15:20:20 Luc: Suggestions are welcome. 15:20:25 q+ to respond to role 15:21:06 GK: my initial inclination here is consistence with the DM 15:21:41 ... It is difficult to find a definition that is both technically correct, and suits all the intuitions 15:22:21 ... I would be inclined to choose the technical definition, and then provide further illustration 15:23:15 GK: All of these roles are subtle variations of existing relations of the DM 15:23:26 Luc: is the word "role" appropriate? 15:23:40 GK: In many cases, yes. 15:23:48 q? 15:23:56 ... In most of the useful cases, it fits. 15:24:16 ... It invokes intuition, without being too committing 15:24:28 Tim: I have some comments 15:24:38 ... I'd rather try to keep it broad. 15:24:54 ... and avoid constraining it too much, to where it can be used. 15:25:39 * prefer to keep it broad - avoid pinning down and constraining where it can be used. 15:25:44 * having role on Involvement seems to make sense. 15:25:48 * the name of the role should prefer the "object" instead the "subject" (it's the role of the prov:involvee) 15:25:52 thanks :) 15:26:07 Luc: Not sure it works. 15:26:40 ... In some cases the role applies to the subject, in others to the object. For example in usage-generation 15:27:00 +q 15:27:04 But isn't the role a *relation*, applying to the combination of subject *and* object? 15:27:04 q- 15:27:19 ... Finding something that is intuitive for the user is the point, and maybe "role" is not the right word. 15:27:32 Paul: I wouldn't go with over-specification 15:27:41 @paul +1 15:28:21 ... We want to provide syntax for people to use when describing their provenance. I don't know if further specifying "role" would affect the semantics much. 15:28:33 ... Better to wait to see how it will be used. 15:28:48 @paul, but concerned about the "subject vs. object" of swapping - can lead to confusion. 15:28:48 q+ 15:28:52 a role is the function of an entity, agent, or activity with respect to another entity, agent, or activity 15:28:56 Luc: I just want to find a good English definition 15:28:57 Zakim, unmute me 15:28:57 MacTed should no longer be muted 15:29:05 I would offer to provide some word, but I have very limited time in the next two weeks. 15:29:06 ack pgroth 15:29:46 MacTed: My sense of "role" in this space is that there are some primitives which that some entity may be acting as 15:29:53 ... in a provenance description 15:30:15 ... An entity is acting as an entity in a defined process 15:30:22 @macted, current definition is: A role is the function of an entity or an agent with respect to an activity 15:30:43 ... I don't think that people will use this kind of terminology 15:30:52 @macted ... actually one place where roles do come up is in inputs to workflow elements, which ism exactly like divisor, etc. 15:31:02 q? 15:31:03 so @macted just wants agents to be able to have roles, and not entities? 15:31:05 ack macted 15:31:26 GK: One of the areas where roles are important in is workflow provenance 15:31:42 @gk, yes, role = input and role = parameters is useful to describe the Entity's Usage in an Activity. 15:32:03 ... This is exactly the place where the object-subject problem is posed 15:32:13 yes 15:32:15 @macted, current definition is: A role is the function of an entity or an agent with respect to an activity 15:33:08 Luc: in the model, we have relations that don't mention an activity 15:33:39 Luc: Do we go for the current definition, or with a broader domain? (but no definition yet) 15:33:40 But, why is role only applicable in context of activity 15:33:56 MacTed: examples of these relations? 15:34:03 thats meta-provenance, @macted. 15:34:03 Luc: Attribution for example 15:34:16 ... Derivation 15:34:44 q? 15:35:30 Luc: We have a choice. Either decide what the domain is and work out a definition. or take the definition and adapt the domain to fit it 15:35:35 +q 15:35:50 ... What would people prefer? 15:36:25 pgroth: Its hard to define, but maybe we can get around it by being more open 15:36:35 q? 15:36:38 ack pg 15:36:45 GK: Broadly, I agree with Paul. 15:37:25 ... Would like to take a shot at a definition, but will be travelling the next week, so it is possible that I don;t have the time 15:38:17 Luc: Let's do that. We make the domain as unrestricted as possible. and try to work out a definition 15:38:18 topic: Provenance Locator (hasProvenanceIn) 15:38:29 http://www.w3.org/2011/prov/wiki/ProvenanceLocator 15:38:41 http://www.w3.org/2011/prov/track/issues/385 15:38:54 Luc: I drafted a summary of the issue on the wiki (see link above) 15:38:55 FWIW, what about making prov:oHadRole and prov:sHadRole to distinguish between talking about the subject or object of the Involvement? 15:39:12 prov: sHadRole and prov:o HadRole 15:39:29 prov: oHadRole 15:39:36 ... It is important to be able to navigate the distributed graph structure we create using the PROV-DM 15:39:46 http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/ED-prov-dm-20120525/prov-dm.html#term-hasProvenanceIn 15:39:55 hasProvenanceIn(id, subject, bundle, target, attrs), 15:40:06 (not past tense?) 15:40:48 ... With this relation, we are sayign that a given subject has some provenance in a bundle, and the target is an alias that is known under a different name in the bundle 15:41:03 ... The issue was raised that this is too complicated. 15:41:15 @MacTed: good point, but it is referring to where the provenance IS located, not where it was located. 15:41:16 hasProvenanceIn(subject, bundle) 15:41:29 Luc: It was then suggested to simplify to above 15:41:50 "shock" sioc 15:42:06 hasProvenanceIn(subject, bundle, alias) 15:42:15 ... there are some precedents in literature for this kind of relation 15:42:35 ... Target may be better understood as alias (see above) 15:42:40 hasProvenanceIn(subject, bundle) 15:42:46 alternateOf(subject, alias) 15:42:46 +1 to "alias" instead of "target-uri" 15:43:03 ... It was suggested that 2 binary relations might be better than 1 ternary 15:43:49 ... There was a comment made that it still not precise enough, and it isn't clear what the alias is in the bundle 15:43:51 hasProvenanceIn(subject, bundle, alias, [prov:type="..."]) 15:43:56 q+ to comment on not knowing what to look for in the bundle... 15:44:25 @luc @gk, you look up "any" of the alternateOfs? 15:44:28 hasProvenanceIn(subject, bundle, alias) 15:44:43 @tlebo yes! 15:44:53 ... When we talk about the alias, we refer to a name, not a resource 15:44:54 @tlebo agreed 15:44:59 q? 15:45:05 q+ 15:45:50 GK: In response to issue that it doesn;t help with navigation: you would look for all of them 15:45:56 ack gk 15:45:56 GK, you wanted to comment on not knowing what to look for in the bundle... 15:46:45 Simon: Replacing the target with alternateOf is depending on how the entities are related 15:46:58 ... which is important 15:47:18 +q 15:47:22 FWIW, I think I proposed hasProvenanceIn() can decompose into prov:isTopicOf, prov:alternateOf, and prov:atLocation 15:47:30 ... Even if you have the alias in hasProvenanceIn, you should still have the alternateOf relation 15:47:33 q? 15:47:34 q+ to ask my broader question: why do we need aliases at all? 15:47:36 (or specializationOf) 15:47:38 ack smi 15:48:02 pgroth: Aren't we trying to put too much into this hasProvenanceIn? 15:48:15 owl:sameAs serves the purpose of saying joe:thing1 and fred:thing2 are aliases for the same entity 15:48:16 ... simpler would be: look in this bundle. 15:48:21 ack pgroth 15:48:25 q+ to say that the only new thing that hasProvenanceIn offers is prov:isTopicOf, so we should reduce it to just that. 15:48:40 ack gk 15:48:40 GK, you wanted to ask my broader question: why do we need aliases at all? 15:49:04 GK: My broader issue is that the requirement is to be able to navigate a distributed graph. The hasProvenanceIn is suitable for this 15:49:14 are main purpose is to do provenance of provenance 15:49:16 q? 15:49:18 which is why we need bundles 15:49:24 ... The stuff that is being added is causing more confusion than adding useful properties. 15:49:28 and thus hasProvenanceIn 15:49:40 q? 15:50:00 I think I proposed hasProvenanceIn() can decompose into prov:isTopicOf, prov:alternateOf, and prov:atLocation 15:50:15 tlebo: I think that hasProvenanceIn can be composed into a new istopicOf relation and alternateOf that we already have 15:50:22 q? 15:50:26 the only new thing that hasProvenanceIn offers is prov:isTopicOf, so we should reduce it to just that. 15:50:26 ack tlebo 15:50:26 tlebo, you wanted to say that the only new thing that hasProvenanceIn offers is prov:isTopicOf, so we should reduce it to just that. 15:50:31 ... It might be better to reuse the thing we already have. 15:50:43 @Tim: http://xmlns.com/foaf/spec/#term_primaryTopic? 15:51:04 @dgarijo, need to relax the "primary-ness" 15:51:25 if foaf:primaryTopic had a superproperty foaf:topic, then yes. 15:51:30 SO why not just use the same name? 15:51:33 Luc: I think that having to search the entire bundle when looking for an alias is not a good solution. 15:51:42 +1 GK 15:51:45 @gk @who? 15:51:47 ... When you assert provenance, you want to release your bundles fast 15:51:55 ... but also connect them properly. 15:52:05 Zakim, who's here? 15:52:05 On the phone I see BrendanIAB, Curt_Tilmes, tlebo, Luc, ??P49, TomDN (muted), GK, dgarijo, Satya_Sahoo, MacTed, BrendanIAB.a, ??P30, ??P2, ??P13 15:52:08 TomDN has TomDN, SamCoppens 15:52:08 On IRC I see stephenc, Christine, dcorsar, tlebo, zednik, SamCoppens, satya, dgarijo, TomDN, smiles, GK, GK_, Curt, Zakim, RRSAgent, Luc, pgroth, MacTed, stain, trackbot, sandro 15:52:09 +q 15:52:12 ... and currently we have no suitable mechanism for this 15:52:33 q+ 15:52:40 ack pgroth 15:52:52 q? 15:52:59 +q 15:53:12 @gk, waht about "using same name"? 15:53:20 ... The challenge is that you can't just extend an existing relation with an alias, since it is binary 15:53:36 @tlebo didn't I just say that? :) 15:53:39 Macted: this problem is inherent to a distributed graph 15:53:46 q? 15:53:49 @gk, yes, but what are you saying? 15:53:50 ack mact 15:53:55 ... At some point asserters will assert in the wrong way. 15:54:08 i think I have a nice way out 15:54:08 ... We can't stop that. 15:54:18 q? 15:54:34 Ah, ... I mean use the same name when referring to the same thing. URIs are, after all, a global namespace. 15:54:50 So use the same name in different budles. 15:55:05 @gk, ok, so you're not referring to my proposed name of isTopicOf ? 15:55:14 pgroth: A way around this is: we have hasProvenanceIn, but we allow it to be extended 15:55:57 Luc: this is a possibility. It would imply that you need a qualified relation for it. But the idea seems to be that we don;t want that. 15:56:03 why do we need a qualified relation on this? 15:56:11 for extension 15:56:12 @tlebo ... not sure. I haven't really studied that - or is it just a name change? 15:56:21 gimmie isTopicOf and we're done. 15:56:28 q? 15:56:31 q+ 15:56:33 gotta go, sorry 15:56:41 @gk, no, it's a rename and reduction to hasProvnenaceIn - alternateOf - atLocation. 15:56:41 -BrendanIAB 15:57:05 q+ to say qualifying this property seems like overkill. 15:57:12 ack pgr 15:57:28 TomDN_ has joined #prov 15:57:33 (connection dropped out) 15:57:53 GK: I don't see why would need really this alias mechanism 15:58:22 so luc's problem is linking to "already created" bundles? 15:58:32 s/to/two/ 15:58:55 satya: my concern is that it is a very narrow scenario. I'm not sure we as a WG should meddle in thi 15:59:10 q? 15:59:13 ack sat 15:59:19 satya: we should avoid making the model overcomplicated 16:00:27 tlebo: If we reduce hasProvenanceIn to hasTopicOf it would solve this problem 16:00:36 Luc: the problem is aliasing 16:00:54 tlebo: When you change the id, use alternateOf 16:01:15 Luc: then you would end up looking for all alternateOf relations, which is unfortunate 16:01:57 It seems to me that this whole issue is being motivated by implementation concerns, when what we are defining here is a data model. Premature optimization ... and all that. 16:01:59 ... Then you could en up with multiple specializations for the same agent in one bundle 16:02:03 +1 GK 16:02:05 s/en/end 16:02:21 q? 16:02:23 q- 16:02:34 Luc: we will continue this discussion via email 16:02:47 thanks! 16:02:51 -??P13 16:02:52 -??P2 16:02:53 -??P49 16:02:55 I am feeling inclined to appeal to the decisoioin from the last F2F -- lacking consensus, drop it. 16:02:56 -tlebo 16:02:57 -BrendanIAB.a 16:02:59 -Satya_Sahoo 16:03:03 -Luc 16:03:05 -dgarijo 16:03:08 -MacTed 16:03:11 -Curt_Tilmes 16:03:13 -??P30 16:03:15 -TomDN 16:03:19 -GK 16:03:22 SW_(PROV)11:00AM has ended 16:03:23 Attendees were BrendanIAB, Curt_Tilmes, +1.518.276.aaaa, Luc, TomDN, dgarijo, GK, Satya_Sahoo, MacTed, SamCoppens, tlebo 17:58:32 SamCoppens has joined #prov 17:58:58 SamCoppens has left #prov 18:06:39 Zakim has left #prov