15:47:03 RRSAgent has joined #prov 15:47:03 logging to http://www.w3.org/2011/12/08-prov-irc 15:47:05 RRSAgent, make logs world 15:47:07 Zakim, this will be 15:47:07 I don't understand 'this will be', trackbot 15:47:08 Meeting: Provenance Working Group Teleconference 15:47:08 Date: 08 December 2011 15:47:17 Zakim, this will be PROV 15:47:17 ok, pgroth; I see SW_(PROV)11:00AM scheduled to start in 13 minutes 15:47:27 Chair: Paul Groth 15:47:33 Scribe: Yogesh Simmhan 15:47:41 rrsagent, make logs public 15:54:04 Luc has joined #prov 15:54:42 Yogesh has joined #prov 15:55:17 SW_(PROV)11:00AM has now started 15:55:24 +Yogesh 15:55:34 it's all setup yogesh 15:55:41 thanks Paul 15:57:09 +[IPcaller] 15:57:26 Zakim, [IPCaller] is me 15:57:26 +pgroth; got it 15:57:40 adamretter has joined #prov 15:57:51 +Luc 15:57:52 +adamretter 15:58:46 Hi Adam 15:59:15 Did you see my message last week? Shall we try to meet in London before Xmas? 15:59:53 Hi Luc, no i think I must have missed your message - let me check.. 16:00:23 jcheney has joined #prov 16:00:44 dgarijo has joined #prov 16:00:44 Luc: I cant see anything, which addr did you use? @exist-db.org ? 16:00:46 YolandaGil has joined #prov 16:01:14 smiles has joined #prov 16:01:27 + +1.315.723.aaaa 16:01:42 Zakim, +1.315.723.aaaa is me 16:01:45 +sandro 16:01:47 +[IPcaller] 16:01:58 tlebo has joined #prov 16:02:08 +dgarijo; got it 16:02:12 +[ISI] 16:02:45 +[IPcaller.a] 16:02:55 http://www.w3.org/2011/prov/meeting/2011-12-01 16:02:59 Topic: Admin 16:03:05 PROPOSED to accept the minutes of the Dec. 1 telecon 16:03:10 Christine has joined #prov 16:03:16 +0 (I wasn't here last week) 16:03:23 +1 16:03:24 +1 16:03:31 +[IPcaller.aa] 16:03:58 Paul: more votes for the minutes? 16:04:02 +stain 16:04:21 + +1.706.461.aabb 16:04:23 Satya:+1 16:04:30 Stian:+1 16:04:34 Accepted: Minutes of Dec 1, 2011 telecon 16:04:42 http://www.w3.org/2011/prov/track/actions/open 16:05:00 +OpenLink_Software 16:05:04 Zakim, OpenLink_Software is temporarily me 16:05:04 zakim, mute me 16:05:16 Paul: Action item on F2F meeting, holidays 16:05:49 I just closed the last of several issues in my action: https://www.w3.org/2011/prov/track/actions/49 16:05:51 +[IPcaller.aaa] 16:05:56 Paul: Satya, Yolanda were to close open items 16:05:59 +MacTed; got it 16:06:00 zakim, +[IPCaller.aaa] is me 16:06:01 MacTed should now be muted 16:06:05 stainMobile has joined #prov 16:06:06 Yolanda: They are closed now 16:06:27 Paul: Closing all action items 16:06:30 http://www.w3.org/2011/prov/wiki/F2F2 16:07:00 sorry, jcheney, I do not recognize a party named '+[IPCaller.aaa]' 16:07:01 ...Reminder about F2F. Hotels listed. Contact Paul is you have any questions. Book hotels early. 16:07:21 ...Paul working on video for conference call at F2F. 16:07:23 +q 16:07:54 ack tlebo 16:07:57 tlebo: Should people in boston get together rather than everyone connect separately? 16:08:08 q- 16:08:29 Paul: Asked in poll. Send email to mailing list if there is interest. Did not seem so. 16:08:53 Topic: Prov-primer 16:09:10 davidcorsar has joined #prov 16:09:12 Paul: What is status of FPWD? 16:09:46 smiles: Copy of current doc is in repoitory. 16:10:10 it would help me (and I imagine others) to have the agenda include links to docs under consideration ... I always lose time tracking them down (and am never quite sure I'm looking at the right stuff) 16:10:20 sorry MacTed 16:10:27 I'll remember next time 16:10:29 YolandaGil: Will be useful to include diagram present in prov-dm document 16:10:38 +1 on diagram inclusion 16:10:40 Primer: http://dvcs.w3.org/hg/prov/raw-file/default/primer/Primer.html 16:10:47 thanks, pgroth 16:10:58 Edoardo has joined #prov 16:11:19 YolandaGil: Remove section on complimentarity. Note that WG is looking into it. 16:11:37 smiles: There was a vote last week that there was not going to be changes in doc. 16:11:47 we can vote again 16:11:54 ...What is the group's suggestion on making changes or not at this point? 16:12:04 +??P1 16:12:20 Luc: We can vote again next week if we edit it. 16:12:33 there will be few on next weeek call 16:13:16 Luc: Work on asusmption that vote will be positive next week. Make the changes and we can take a vote next week. 16:13:36 +1 to Paul's suggestion 16:13:43 Paul: Send mail so that people who are not around next week can review the changes and vote next week 16:13:47 q? 16:13:50 q+ 16:14:14 q- 16:14:22 Topic: PROV-AQ 16:14:22 Luc: Suggest Paul/Luc notify the group that there will be a request for vote by email for the changes 16:15:12 q? 16:15:14 Paul: Ready to go. Wanted feedback from W3C (sandro, evan) on the abstract. It seemed terse. Just got feedback. Just need to send email 16:15:42 Topic: PROV-O 16:16:03 Paul: Releasing PROV-O as FPWD 16:16:21 Satya: Scheduled to be released on Tue, Dec/13 16:16:25 i have done the directory 16:16:47 Luc: Satya needs to get everything ready and respond to Dennis so he can do the checks. 16:17:01 Satya: Will be using sub-folder than a separate branch. Can make changes tomorrow. 16:17:15 q? 16:17:26 StephenCresswell has joined #prov 16:17:53 we're also working on the best practices document 16:18:08 Paul: FPWD are coming out before christmas. We need to send announcement again after new year to get feedback. 16:18:09 ontology/fpwd/ in dvcs 16:18:24 Paul: sandro, what is automatic process in W3C? 16:18:48 @dgarijo, yes, need a schedule for BP ! 16:19:14 Sandro: It will appear in W3C main page. We can also send to other W3C community mailing lists. We can go ahead and publicize as soon as it is published on w3.org frontpage. We can send a link to that 16:19:23 q? 16:19:24 q+ 16:19:25 ...It may be automatically tweeted 16:19:44 ack Luc 16:19:55 Luc: Are we proposing to release best practise doc as FPWD? 16:20:12 ...There was no vote on it since doc did not exist. 16:20:23 -stain 16:20:35 ...Need to decide if we should do an internal review and vote to release it. 16:20:46 Paul: We have to properly circulate it 16:20:49 do we need it fpwd at same time or refer to live version? 16:20:50 sorry, Im on bus.. not best connection 16:21:08 +stain 16:21:28 dgarijo: Need more work. Only 3 people on the call, so we did not have consensus. 16:21:37 ...Will meet next monday 16:21:49 +??P67 16:22:01 ...The current doc is linked from PROV-O 16:22:13 Paul: Is there a need to rush it to FPWD? 16:22:22 dgarijo: We can release it later. 16:22:24 just ED in dvcs 16:22:25 I would prefer to not rush it 16:22:47 @Luc: +1 16:22:54 Luc: The authors should be convinced that the doc is ready to be released internally. We should then read and decide on it. Not there yet. 16:23:11 Topic: prov-dm issues 16:23:35 Paul: Several issues raised. Editors want to discuss. 16:24:06 Luc: Need to decide if we are ready to release the second working draft. 16:24:30 q? 16:25:10 PROPOSED: Release PROV-DM as a second first public working draft 16:25:39 PROPOSED: Release PROV-DM as second public working draft 16:25:40 I like "WD2" 16:25:47 +1 16:25:49 +1 16:25:51 +1 16:25:52 +1 16:25:57 +1 16:26:00 0 (University of Manchester) -- not had chance to review it yet 16:26:00 +1 16:26:14 0 16:27:04 Satya: +1 16:27:20 ACCEPTED: Release PROV-DM as second public working draft 16:28:27 Luc: Many issues to discuss. Decided to try and address several points in the WD3. 16:28:40 ...To give a better defintion of recipe. 16:28:52 GK1 has joined #prov 16:29:08 ...Issues raised by satya and others has been addressed by email. 16:29:17 http://www.w3.org/2011/prov/wiki/ComplementarityUseCases#A_proposal 16:29:20 Please review them and respond by email. 16:29:45 ...Thanks for submitting use cases to the Wiki. 16:29:47 q? 16:30:31 ...Paolo has made proposal to define "asymmetric viewOf and a symmetric complementOf with the entailment" 16:30:45 Luc: would like a sense of what the WG thinks 16:30:58 q? 16:31:11 How do the definitions differ? 16:31:17 - +1.706.461.aabb 16:31:19 satya: will need some time to read thru that and comment by emails. Needs to leave now. 16:31:29 name "complementOf" must go, another big issue is the undefined "overlapping characterisation intrval" 16:31:42 just looking at definition now: "e1 viewOf e2" means that the attributes of e1 are a subset of those of e2 --- seems backwards. Wouldn't e1 have MORE attributes? We're being more specific/contextual by adding more details. 16:32:07 tlebo: I did wonder that - but after a while it makes sense to me 16:32:39 viewOf(a,b) should require that the attribs of B was always true for A, and As attrib true during B 16:32:46 Jumping in late - the asymmetric "viewOf" seems overcomplex - it seesms to me that the "inrtersectionof validity interval" is redundant, as I'd expect the validty interval of e1 to be a subset of the validity interfal of e2. 16:32:46 (finding it hard to hear jcheney) 16:33:17 typing because behind slow internet connection 16:33:23 q? 16:33:29 (Sorry for late arrival - had some home commitments.) 16:33:38 just asking for clarification of what the proposed new definitions are 16:33:44 (BTW, I finally see how symmetric and asymmetric are being used. - that definition helped) 16:34:00 @GK1 exactly, e2 must time:intervalContain e1 16:34:08 Luc: GK1, can you explain what you typed on IRC? 16:34:09 gk, sound? 16:34:18 @adamretter, what made you accept the swap of subset? 16:34:28 no sound from gk 16:34:39 Have no audio yet ... still firing up other computer. 16:34:53 ... @stian, you seem to agree - can you explain? 16:35:29 Luc: have a question about using attribute in this definition 16:35:31 My question is answerewd by the wiki page, will read and comment on it. 16:35:41 q+ 16:35:43 +1 to concerns about using attributes to define viewOf. 16:35:44 ...FPWD had a strong notion of attribute 16:35:45 tlebo: e.g. - "Luc in Boston" viewOf "Luc" - so Luc in boston is a more specific version of Luc so it is a view of luc, but only when he is in boston - thats how i understood thatr 16:35:47 q? 16:35:59 +??P0 16:36:04 ...It made sense to define WasComplementOf based on attributes. 16:36:18 ...Now, attributes may not even characterize entities. 16:36:31 q? 16:36:34 ...Should we define based on number or inclusion of attributes? 16:36:40 ack stainMobile 16:36:42 q+ 16:37:08 (finding it hard to hear stainMobile) 16:37:09 q? 16:37:33 sorry, bus noise.. 16:37:40 Paul: @stainMobile said it is more hierarchical, and attributes are not as important as they once were 16:37:41 q+ 16:38:08 Paul: We need an imprecise view of wasComplementOf. Current definiton is very precise about subsetting. 16:38:12 ack pgroth 16:38:14 I have been thinking of an imprecise viewOf much like skos:broader. 16:38:21 ...We should be able to express viewOf without much semantics. 16:38:47 stephen: a viewOf b, then a is a time interval that B is in. 16:38:54 I think a key feature of e1 viewOf e2 means that any (non-account-scoped) provenance assertions about e2 are also true of e1. 16:38:57 viewOf: hierarchical, not bound to attribute, just a way to say that e1 descrived what e2 described, and e2 contains fully e1 timespan 16:38:57 yes, stephen, your interval inclusion is not captured in this definition 16:39:06 simple temporal containment (and avoiding attribute discussions)? 16:39:26 not just partial overlap as in wCO has now, that is not aa useful 16:40:04 stephen: We cant define intervals in terms of attributes but time scales and identity 16:40:05 q? 16:40:11 ack StephenCresswell 16:40:12 +1 to using only temporal containment for viewOf and avoiding attributes. 16:40:19 I think temporal containment applies in most practical cases I can think of ... and that may be the simple way to proceed ... but I'm not sure if we might find a different way of looking at this that does not depend o time interval nesting. 16:40:25 Luc: Stephen, did you put a usecase in the wiki page? 16:40:39 Stephen: yes, in th last hour 16:40:46 I will try to take this issue into account in semantics draft 16:40:51 s/th/the/ 16:40:57 I am going to do a seperate proposal about time relation 16:41:00 http://www.w3.org/2011/prov/wiki/ComplementarityUseCases#State_changes_and_relating_entities_at_different_timescales_.28stephen.29 was straightforward 16:41:27 Stephen: One enough details of the attributes to help state both are the same entity. 16:41:27 it must be same thing, and contained time 16:41:43 -[IPcaller.aaa] 16:41:48 Luc: is that not what SameAs does in OWL? 16:41:54 that is what viewOf should be 16:41:54 Not the same as "sameAs" (sic) 16:41:55 Stephen: But that is stronger. 16:42:01 q? 16:42:04 q+ 16:42:27 which would allow different prov statement 16:42:43 Luc: is GK1's view the same as Stephen? 16:42:51 GK1: For practical purposes, yes. 16:43:10 ...Was trying to think of e.g. that has value over a spatial field wth different types of containement 16:43:27 q? 16:43:33 ...It does seem like an interval containment 16:43:58 Paul: Stephen commented that there has to be a sub view of something else. 16:44:06 +1 paul comment about sub-view 16:44:11 ...Can Luc in soton be a sub view of Luc in his entire life? 16:44:21 Stephen: Yes 16:44:37 ..There is a hierachical nature. 16:44:39 +1 for subview 16:44:58 Luc today <= luc in soton <= luc in his lifetime 16:45:10 -[IPcaller] 16:45:14 would have to be contiguous period of time in southampton 16:45:16 ...And Luc@life is not a view of Luc@soton 16:45:22 not sure wr need complement of? 16:45:38 ...Anti-symmetric 16:45:38 ... unpess a==b 16:45:40 not just luc in southampton ever (as he will travel in and out) 16:45:45 +[IPcaller] 16:45:47 q? 16:45:49 ack pgroth 16:45:58 can contain eachother only if same interval 16:46:16 Luc: is anyone against interval containment? 16:46:21 yes, supportive 16:46:35 ...Should it be the only notion? 16:46:43 q+ 16:46:44 I don't mind about something else. 16:46:45 supportive of just temporal intervals, until we see it written up. 16:46:47 ...Do we retain wasComplementOf? 16:46:48 q? 16:46:56 +1 to interval containment, -1 to wasCompOf 16:47:23 q+ 16:47:27 Paul: Looking for a lighter view in addition to interval containment 16:47:28 its like a sibbling view with time overlap 16:47:28 ack pgroth 16:47:45 I think wasComplementOf is a derivative, ancillary relation that is based on a viewOf "hierarchy" 16:47:47 @paul - that's kind of "top" of the interval space, isn't it? 16:48:22 q? 16:48:23 Luc: For both attributes and intervals, we may not be able to verify 16:48:24 ack smiles 16:48:31 @luc, think that's OK - it becomnes an existential assertion/. 16:48:38 +q 16:48:55 ack StephenCresswell 16:48:57 -stain 16:48:59 and specially if not yet finished.. 16:49:30 @luc; I think this relates to the idea that attributes are most important foir interop with other systems. 16:49:31 what if we split it in two, viewOf just needs time overlap 16:49:39 Stephen: If we cannot say anything about intervals, two weak notions are (1) complementOf, where the intervals overlap, (2) or both are views of a wider entity 16:49:41 q? 16:49:49 and state time contain as welk seperateky 16:49:55 @stephen +1 16:50:29 q+ 16:50:31 +stain 16:50:40 ...We still have viewOf, but it is very long term spanning all time 16:51:11 +1 16:51:15 ack smiles 16:51:18 smiles: if entity exists, it cannot be verified in itself. Why does ti matter if the assertion can be verified? 16:51:25 s/ti/it/ 16:51:29 smiles: we can't verify that an assertion that at document exists is true, so verification can't be necessary. 16:51:30 @smiles +1 16:51:40 s/at doc/a doc/ 16:51:43 Luc: acknowledges the point 16:51:47 (to repeat...) I think a key feature of e1 viewOf e2 means that any (non-account-scoped) provenance assertions about e2 are also true of e1. 16:51:48 q+ 16:52:01 ack pgroth 16:52:24 q? 16:52:45 My vote would be -0 - i.e. prefer not talking of attributes, but could live with it. 16:53:01 -0 as well 16:53:06 Stephen: Only interval containment of the same entity. 16:53:20 i don't see a need for referring to attributes, just say "talking about same thing" 16:53:29 @GK1, no, the assertions on e2 apply differently to the assertions on e1 - you can't just copy/paste them up the viewOf hierarchy. 16:53:31 (The discussion made me get off bus 2 stops late!) 16:53:45 q? 16:53:52 Luc: will make a proposal to review next week 16:53:58 http://www.w3.org/2011/prov/wiki/RecipeDiscussion 16:54:04 a viewOf b => exists(realworldobjec) s.t. a and b are each viewOf realworldobject 16:54:08 Luc: talking about recipe. See link. 16:54:19 (@GK1, l like FRBR and "maker" - maker of the paperbound is not the maker of the story it conveys) 16:54:27 Luc: Use the term Plan rather recipe? 16:54:31 s/I like/Like/ 16:54:33 -[IPcaller.a] 16:54:38 Luc: It seems that Plan can evolve, so should a Plan be a kind of entity? 16:54:47 plan fits better than recipe with activity 16:54:50 Luc: If so, then do we have a new relationship hadPlan: activity -> entity? 16:54:50 @tlebo - I worry about trying to make to strong a parallel with FRBR. 16:55:09 Luc: Is this a specialization of wasAssociatedWith? If not, how do we distinguish this new relationship from wasAssociatedWith? 16:55:10 q? 16:55:18 q? 16:55:30 @GK1, we won't mention FRBR, just like we don't mention reification for QualifiedInvolvements :-) 16:56:18 q? 16:56:18 q? 16:56:22 q+ 16:56:25 Paul: Plan to to be associated with activity. So a specialization. 16:56:27 is "wasAssociatedWith" the too-weak relation between agent and activity? 16:56:42 (too weak in name) 16:56:44 plan is not used by activity, but might be usrd by agent who is also activitu 16:56:48 activity 16:57:01 YolandaGil: the plan may be "The Plan" in some cases. But in most cases, it may be more than one and may evolve 16:57:17 have to go, sorry 16:57:34 -stain 16:57:40 ...Maybe the lesser the commitment we make to the plan, the better? 16:58:03 yolandaGil: the plan may not apply universally to an activity, there may be multiple plans at different times (used by different agents). 16:58:08 ...What if there are multiple plans depending on how far before the activity it is defined? 16:58:11 ack YolandaGil 16:58:12 hadPlan: 1 to many relationship? 16:58:25 q? 16:58:47 q+ 16:58:53 YolandaGil: Activity points to one or more plans. 16:59:11 ...Someone can make the plan an entity and make further associations. 16:59:29 +1 for plan 16:59:49 q? 16:59:53 Paul: Always though Plan was going to be a hook to other things, but not to define a planning language 16:59:53 ack pgr 17:00:07 q? 17:00:07 q? 17:00:07 ...suggest we dont have cardinality or semantics to that. 17:00:08 @pgroth +1 (we just had similar discussions w.r.t. our project :) 17:00:59 Luc: Paolo and Luc will write this up and circulate it. 17:01:08 @paul, but does the hook apply to JUST the activity (universally), or does the hook apply to the controlling agents' control of the activity? 17:01:43 q? 17:01:44 Your proposal for plan sounds good Luc 17:01:53 wasAssociatedWith 17:02:22 q? 17:02:26 -1 naming, no counterproposal :-( 17:02:41 Luc: Any counter proposal for WasAssociatedWith? 17:02:46 I like it 17:03:17 @tlebo I think the hook may apply directly to something like the activity (only), but that in turn may be linked to to other aspects. 17:03:26 Luc: In the absence of counter proposal, we cant resolve. We can wait for vote after christmas. 17:03:33 -[ISI] 17:03:34 -sandro 17:03:36 -dgarijo 17:03:38 -[IPcaller] 17:03:39 -[IPcaller.aa] 17:03:40 -MacTed 17:03:42 -??P1 17:03:43 -Luc 17:04:03 rrsagent, set log public 17:04:12 -??P67 17:04:12 rrsagent, draft minutes 17:04:12 I have made the request to generate http://www.w3.org/2011/12/08-prov-minutes.html pgroth 17:04:19 trackbot, end telcon 17:04:20 Zakim, list attendees 17:04:20 As of this point the attendees have been Yogesh, pgroth, Luc, adamretter, sandro, [IPcaller], dgarijo, [ISI], stain, +1.706.461.aabb, MacTed 17:04:20 RRSAgent, please draft minutes 17:04:20 I have made the request to generate http://www.w3.org/2011/12/08-prov-minutes.html trackbot 17:04:21 RRSAgent, bye 17:04:21 I see no action items 17:04:22 -adamretter