14:44:19 RRSAgent has joined #prov 14:44:19 logging to http://www.w3.org/2011/08/25-prov-irc 14:44:21 RRSAgent, make logs world 14:44:21 Zakim has joined #prov 14:44:23 Zakim, this will be 14:44:23 I don't understand 'this will be', trackbot 14:44:24 Zakim, this will be PROV 14:44:24 Meeting: Provenance Working Group Teleconference 14:44:24 ok, Luc; I see SW_(PROV)11:00AM scheduled to start in 16 minutes 14:44:24 Date: 25 August 2011 14:44:27 pgroth has joined #prov 14:44:40 agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.08.25 14:44:50 Chair: Luc Moreau 14:44:58 rrsagent, make logs public 14:52:07 SW_(PROV)11:00AM has now started 14:52:14 +??P48 14:52:26 zakim, ??P48 is me 14:52:26 +pgroth; got it 14:55:54 +Luc 14:56:24 zakim, who is here? 14:56:25 On the phone I see pgroth, Luc 14:56:30 On IRC I see pgroth, Zakim, RRSAgent, Luc, Vinh, MacTed, jorn, sandro, edsu, stain, trackbot 14:57:03 StephenCresswell has joined #prov 14:57:18 dcorsar has joined #prov 14:57:25 edoardo has joined #prov 14:57:42 dcorsar has left #prov 14:57:53 GK_ has joined #prov 14:59:08 +Vinh 14:59:48 Helena has joined #prov 15:00:14 zakim, who is here? 15:00:14 On the phone I see pgroth, Luc, Vinh 15:00:15 On IRC I see Helena, GK_, edoardo, pgroth, Zakim, RRSAgent, Luc, Vinh, MacTed, jorn, sandro, edsu, stain, trackbot 15:00:27 Curt has joined #prov 15:00:36 +??P57 15:00:40 yogesh has joined #prov 15:00:52 +Curt 15:01:35 scribe? 15:01:56 satya has joined #prov 15:02:17 Zakim, who is one the phone? 15:02:32 scribe: pgroth 15:02:38 I don't understand your question, pgroth. 15:02:46 zakim, who is here? 15:02:54 khalidbelhajjame has joined #prov 15:03:00 Topic: Agenda 15:03:06 scribe: pgroth 15:03:11 +satya 15:03:16 smiles has joined #prov 15:03:17 On the phone I see pgroth, Luc, Vinh, ??P57, Curt, satya 15:03:17 luc overviewing the agenda 15:03:28 StephenCresswell has joined #prov 15:03:30 dcorsar has joined #prov 15:03:37 PROPOSED to accept the minutes of Aug 18 telecon 15:03:42 +1 15:03:51 +??P64 15:03:52 +1 15:03:52 +1 15:03:53 +1 15:03:58 +1 15:04:01 TOPIC: admin 15:04:04 +1 15:04:12 +1 15:04:15 +1 15:04:19 On IRC I see smiles, khalidbelhajjame, satya, yogesh, Curt, Helena, GK_, edoardo, pgroth, Zakim, RRSAgent, Luc, Vinh, MacTed, jorn, sandro, edsu, stain, trackbot 15:04:44 Accepted: the minutes of Aug 18 telecon 15:05:01 reviewing the action items 15:05:08 +??P61 15:05:09 luc still has an open action 15:05:22 zakim, ??P61 is me 15:05:23 +??P66 15:05:29 + +44.789.470.aaaa 15:05:30 luc: discussing a potential f2f 15:05:45 luc: initial discussions about f2f at iswc 15:05:47 +??P11 15:05:53 -??P61 15:05:59 q? 15:06:10 luc: but probably not good because of current work on various drafts 15:06:11 Zakim, who's here? 15:06:21 luc: chairs will propose a time in the new year 2012 15:06:27 +??P6 15:06:38 +OpenLink_Software 15:06:38 zakim, ??p6 is me 15:06:38 luc: discussing the name of the standard 15:06:39 I already had ??P61 as ??P61, khalidbelhajjame 15:06:41 Zakim, OpenLink_Software is temporarily me 15:06:41 zakim, mute me 15:06:48 luc: please update the suggestions 15:06:56 +Yogesh 15:07:03 +Yolanda 15:07:05 On the phone I see pgroth, Luc, Vinh, ??P57, Curt, satya, ??P64, ??P66, +44.789.470.aaaa, ??P11, ??P6, OpenLink_Software, Yogesh, Yolanda 15:07:05 q? 15:07:09 luc: agenda item next week on the name of the standard 15:07:24 +??P28 15:07:27 I already had ??P6 as ??P6, jorn 15:07:28 luc: please volunteer for scribing: 15:07:29 Topic: Provenance Implementation and Test Cases 15:07:33 +MacTed; got it 15:07:37 MacTed should now be muted 15:07:49 luc: helena giving update on the questionnaire 15:07:56 On IRC I see dcorsar, StephenCresswell, smiles, khalidbelhajjame, satya, Curt, Helena, GK_, edoardo, pgroth, Zakim, RRSAgent, Luc, Vinh, MacTed, jorn, sandro, edsu, stain, trackbot 15:08:02 Christine has joined #prov 15:08:04 luc: are you ready to role out the questionnaire 15:08:07 helena: yes 15:08:18 +??P31 15:08:25 + +1.509.375.aabb 15:08:30 luc: including already populating the questionnaire? 15:08:46 helena: happy with the current questionanaire 15:08:47 Topic: Named graphs requirements 15:08:51 -Yogesh 15:09:02 +Yogesh 15:09:33 luc: paul and I were contacted by the co-chair of the w3c rdf working group 15:09:41 - +44.789.470.aaaa 15:09:50 luc: ref wg would like to know what our requirements are in terms of named graphs 15:09:55 luc: setting up a telecon 15:09:57  15:10:18 Paulo has joined #prov 15:10:33 + +44.789.470.aacc 15:10:34 luc: going over points from guus (in the agenda) 15:10:44 http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs/RDF-Datasets-Proposal 15:10:53 http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs-UC#Provenance_Use_Cases 15:10:54 jcheney has joined #prov 15:11:03 +??P14 15:11:06 luc: includes a link to the current thinking and use cases with respect to named graphs 15:11:10 zakim, ??p14 is me 15:11:10 +jcheney; got it 15:11:24 + +1.915.603.aadd 15:11:39 luc: rdf-wg would really like to have specific requirements that the prov-wg has on named graphs 15:12:01 luc: this is a heads-up, who would be interested in getting involved in the discussion 15:12:26 luc: in particular people involved in representing the model in rdf 15:12:32 q? 15:12:33 q+ 15:12:39 ack satya 15:13:05 zakim, aadd is me 15:13:05 +Paulo; got it 15:13:20 satya: are they planning to extended existing work on rdf named graphs 15:13:25 q? 15:14:21 satya: in terms of representing provenance in rdf. there are other approaches in terms of contextualization, is named graphs the only approach 15:14:27 q+ 15:14:34 q+ 15:14:40 luc: rdf wg is chartered to do named graphs 15:15:15 satya: is it overall for rdf group, or just for named groups 15:15:23 luc: were approached only for named graphs 15:15:25 q+ 15:15:26 q? 15:15:29 ack smil 15:15:29 dgarijo has joined #prov 15:15:47 smiles: suggest some requirements 15:16:02 smiles: give the provenance of rdf based data 15:16:15 +??P16 15:16:18 smiles: need to be able to say that two things have the same provenance 15:16:41 q? 15:16:41 Zakim, ??P16 is me 15:16:42 +dgarijo; got it 15:16:46 ack pau 15:17:25 paulo, isn't there an outline of specification in http://www.w3.org/2011/rdf-wg/wiki/TF-Graphs/RDF-Datasets-Proposal? 15:17:26 paulo: in terms of formal specification, they are moving targets, even if they have one, we need more than one for the provenance solution 15:17:50 paulo: the fact that we want to work with named graphs are just one of the aspects of formalizing provenance 15:18:03 One of the concepts we may need RDF graph for is Provenance Container. We have not really discussed this concept in details yet, though. 15:18:24 q? 15:18:27 q+ 15:18:28 ack pgr 15:19:08 ack pau 15:19:09 Paul: RDF WG is looking for requirements of named graphs - to help them identify their objectives 15:19:11 q? 15:19:20 pgroth: shaping where the rdf-wg is going on named graphs 15:19:50 paulo: assumption is that the mapping to owl, and rdf is enough in terms of formalization 15:20:11 q? 15:20:16 paulo: not enough for the formalization 15:20:52 Paulo, we are investigating in the formal model task force on whether OWL is sifficient, or whether we need another language that we need to specify the semantics 15:21:05 luc: simon identified two requirements for named graphs, there's a third requirement coming from the provenance container (have asserter, maybe having signature) 15:21:18 luc: a possibility for provenance containers is to use named graphs 15:21:20 q? 15:21:35 luc: potentially another requirement for the rdf wg 15:21:47 luc: start creating a wiki page for these requirements 15:21:50 -??P28 15:22:00 I will be happy to create the page 15:22:02 q? 15:22:11 +??P15 15:22:16 zakim, ??p15 is me 15:22:16 +jorn; got it 15:22:20 yes, that's fine 15:22:22 luc: satya will create the page 15:22:25 q? 15:22:32 luc: simon will write up his requirements on the page 15:22:39 TOPIC: Adopting naming conventions 15:23:24 luc: i had an action to poll the group on naming conventions 15:23:49 luc: seems to have consensus around naming conventions (see agenda) 15:23:55 luc: wants feed back 15:24:21 luc: go through these conventions one by one 15:24:39 luc: process, see whether there's objection or comments 15:24:40 To adopt camel case notation. In OWL, classes begin with upper case, and properties begin with lower case. 15:25:14 +1 (I think the ontology os already using this convention) 15:25:15 q? 15:25:30 PROPOSED: To adopt camel case notation. In OWL, classes begin with upper case, and properties begin with lower case. 15:25:36 +1 15:25:37 +1 15:25:37 +1 15:25:38 +1 15:25:39 +1 15:25:40 +1 15:25:40 +1 15:25:41 +1 15:25:42 +1 15:25:42 +1 15:25:43 +1 15:25:45 +1 15:26:06 ACCEPTED: To adopt camel case notation. In OWL, classes begin with upper case, and properties begin with lower case. 15:26:49 luc: moving on whether we want To express nodes in noun form 15:27:08 q+ 15:27:12 luc: we express edges in verbal form 15:27:15 ack smi 15:27:26 -Paulo 15:27:50 simon: a process execution might be best described by a verb (i.e. publish), the node in a particular graph might be a verb 15:27:54 YolandaGil has joined #prov 15:28:08 q? 15:28:13 luc: talking about the concepts in the model or classes defined in the ontology 15:28:14 hasPublisher ? 15:28:32 Zakim, unmute me 15:28:32 MacTed should no longer be muted 15:28:46 q? 15:29:04 Zakim, mute me 15:29:04 MacTed should now be muted 15:29:05 MacTed: depending on what the process execution may be, you can noun things 15:29:18 PROPOSED: To express nodes in noun form 15:29:38 +1 15:29:38 +1 15:29:38 +1 15:29:40 +1 15:29:41 +1 15:29:41 +1 15:29:41 +1 15:29:42 +1 15:29:43 +1 15:29:43 +! 15:29:44 +1 15:29:47 +1 15:30:06 ACCEPTED: To express nodes in noun form 15:30:19 PROPOSED: To express edges in verbal form 15:30:21 +1 15:30:22 +1 15:30:23 +1 15:30:27 +1 15:30:27 +1 15:30:28 +1 15:30:28 +1 15:30:30 -Yolanda 15:30:32 +1 15:30:35 +1 15:30:35 +1 15:30:37 +1 15:30:44 ACCEPTED: To express edges in verbal form 15:30:53 Luc, is Ralph here? He was the one that rose all the issues 15:31:12 +Yolanda 15:31:13 ok 15:31:28 luc: ralph is not around but there's nothing we can do 15:32:00 luc: introducing the edge directionality 15:32:16 q? 15:32:24 luc: this directionality may be best expressed by pointing towards the past 15:32:30 luc: asks for feedback 15:32:34 +q 15:32:43 luc: asks satya specifically, are you happy? 15:33:16 luc: satya are you happy with your edges point towards the past 15:33:23 satya: what do you mean? 15:33:38 entity <- uses--process execution 15:34:05 example: e2 is derived from e1, then e2 is the most recent entity and e1 is older, so edge points to past 15:34:06 luc: giving examples of the possibilities 15:34:26 process takesInput foo 15:34:26 process hasOutput bar 15:35:05 Zakim, unmute me 15:35:05 q+ 15:35:05 MacTed should no longer be muted 15:35:35 luc: not discussing ordering of events 15:35:58 luc: as designers of the model we have the choice of expressing the edges in different ways 15:36:03 +Paulo 15:36:05 luc: proposing to adopt a convention 15:36:07 q? 15:36:30 satya: we had the discussion in the formal model task group 15:37:00 satya: from an ontology model perspective it doesn't matter, just a matter of style 15:37:38 -jorn 15:37:49 +??P15 15:37:54 dgarijo: happy with everything in the past 15:38:05 ack dgar 15:38:19 +q 15:38:54 luc: not all edges should point to the past 15:39:07 luc: only for edges that have an event ordering 15:39:17 q? 15:39:24 luc: currently, definition of hasParticipant does not imply an event ordering 15:39:42 ack mac 15:39:45 The ontology can define the edges in both direction (pairs of mutually inverse properties), and let people use which they find natural in their application. 15:39:59 MacTed: is there a link to the event ordering definition 15:40:00 http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html 15:40:25 http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#concept-Use 15:40:26 MacTed: i'm not getting a firm understanding of what is meant by the proposal 15:41:01 Luc: explaining an example 15:41:58 Mac, he possibilities we are discussing are: entity <--uses---process execution and entity ---is used by --> process execution. In the first, the edges point to the past. 15:42:24 MacTed: there are two time frames, saying both of those is useful 15:42:38 Luc's example: process generates output vs. output is generated by process 15:42:42 luc: only one of them is defined in the model 15:42:44 I think the case for future-to-past directionality (as proposed) is clearest where provenance is distributed. If I have created a new entity, for example, then what I can link it to is other entities which already exist, but not to things which don't yet exist. So the new entity is the *subject* of what I'm asserting, the older entity is the *object*. 15:42:59 Luc: useful to have a convention 15:43:19 MacTed: this is a question for reasoning edges to deal with their inverse 15:44:10 MacTed: inverse properties are extremely important for modeling 15:44:15 q? 15:44:46 Satya: this can be done in the ontology 15:45:24 Luc: Ted would like to see the inverse properties expressed in the model as well 15:45:34 q? 15:45:35 Luc: do we have consensus 15:45:38 q+ 15:45:45 -Vinh 15:46:00 ISSUE: express inverse relationships in Provenance Model as well as ontology 15:46:00 Created ISSUE-83 - Express inverse relationships in Provenance Model as well as ontology ; please complete additional details at http://www.w3.org/2011/prov/track/issues/83/edit . 15:46:16 q? 15:46:21 ack khal 15:46:39 ack pg 15:46:51 As part of the formal model discussion, we are enumerating the list of possible properties - I invite Ted to add his proposal to the ontology wiki: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology 15:46:54 why not define them as "short-cut/extensions" 15:48:10 luc: is it a set of properties defined in the model 15:48:35 q? 15:48:44 -??P57 15:49:04 - +1.509.375.aabb 15:50:02 proposed: make a set of edges consistent with respect to directionality 15:50:16 q+ to mention that creating two ways of expressing one things always needs reasoning... problematic with masses of linked data 15:50:38 q? 15:50:51 ack jorn 15:50:51 jorn, you wanted to mention that creating two ways of expressing one things always needs reasoning... problematic with masses of linked data 15:51:19 q? 15:51:20 jorn: maybe problematic because you would always have to turn on reasoning 15:51:38 MacTed: definitely not a should 15:52:53 luc: it's important to right simple queries that let's us go into the past 15:53:02 MacTed: you're looking at the wrong place 15:53:10 MacTed: simple queries are not ruled out 15:53:17 -??P15 15:53:29 +??P15 15:53:29 MacTed: inverse properties are going to exisit 15:53:36 zakim, ??p15 is me 15:53:36 +jorn; got it 15:54:06 Luc: what are the relations pointing to the future and to the past? 15:54:15 MacTed: you want both 15:55:12 Luc: moving on from these issue because there is no consensus 15:55:43 Luc: no stylistic constraints in how we write edge directions 15:55:50 Luc: dropped issue 15:56:16 Luc: moving on to the debate around past tense verses future tense 15:56:21 q? 15:56:23 Luc: should be consistent 15:56:33 q? 15:56:34 MacTed: missing temporality 15:56:40 q+ 15:56:49 q+ 15:57:00 +1 for past tense. Provenance is for describing things that have already happened 15:57:00 MacTed: all kinds of temporality that might be of interest 15:57:13 q- 15:57:21 q? 15:57:22 Luc: we are only talking about things in the past 15:57:28 ack smiles 15:57:29 q? 15:57:39 q+ 15:57:44 simon: don't want future tense 15:58:00 s/simon/smiles 15:58:08 ack sat 15:58:25 q? 15:58:56 satya: bringing of the issue of the current 15:59:28 satya: is it past perfect or continuous 15:59:37 +q 15:59:49 there's one such process: the extraction of DBpedia from wikipedia takes a long time 15:59:52 -q 16:00:00 q? 16:00:01 luc: are you talking bout the nodes or the edges (the process execution are the present) edges represent past actions 16:01:19 q? 16:01:23 Sorry, will need to leave, I have another telecon 16:01:25 - +44.789.470.aacc 16:01:26 satya: using past perfect might not be enough because of continuous things 16:01:34 -??P6 16:01:56 q+ 16:01:57 @satya I think there are edge cases where assertions may be about things ongoing, but I argue consistent past tense just makes things simple and clear for general intended use 16:02:06 +1 for past tense (not sure about past perfect or continous) 16:02:47 @satya: you are not sure about isGeneratedBy vs wasGeneratedBy, right? 16:03:01 q+ 16:03:07 ack pgroth 16:03:21 ack curt 16:03:27 @Daniel: no I vote for "was" 16:03:57 q? 16:04:04 q+ 16:04:11 ack pgro 16:04:14 verbal expression does not require "to be" 16:04:25 (is, was, will be, has been) 16:04:32 q+ 16:04:40 ack satya 16:04:51 isn't this about was generating vs. generated 16:05:04 Produces, isProducedBy 16:05:18 http://en.wikipedia.org/wiki/Past_progressive 16:05:24 participation is linguistic 16:05:52 e.g., uses, isControlledBy, isComplementOf 16:05:53 resp. http://en.wikipedia.org/wiki/Past_tense 16:06:13 but you put uses 16:06:18 isUsedBy ? 16:06:24 luc: do we need is, was in the names 16:06:38 TOPIC: Provenance Ontology 16:06:46 luc: update the status 16:06:52 http://dvcs.w3.org/hg/prov/raw-file/default/ontology/ProvenanceFormalModel.html 16:07:03 luc: is there anything in the model that is blocking progression? 16:07:08 satya: giving an update 16:07:18 satya: invites people to go through the encoding 16:08:06 satya: what's holding up is that we don't understand the definitions 16:08:25 satya: the scope is often not clear from the model 16:08:31 -Paulo 16:08:50 satya: there is a gap in understanding of some concepts in particular roles 16:08:57 -jorn 16:09:16 satya, where is the example you referred to? in the document? 16:09:20 satya: need very well defined domains and ranges 16:09:51 satya: the approach we are taking is updating the html document and leaving the owl file until later 16:10:56 http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology#Visualization_of_the_RDF_graph 16:11:44 q? 16:12:23 TOPIC: Provenance Model Document 16:12:43 Luc: nothing specific to report on today 16:13:09 q? 16:13:29 -Yolanda 16:13:31 -pgroth 16:13:31 -??P66 16:13:33 -satya 16:13:33 -dgarijo 16:13:34 -jcheney 16:13:35 -MacTed 16:13:36 -Luc 16:13:37 -Yogesh 16:13:43 -??P31 16:13:44 -??P11 16:13:47 -??P64 16:27:44 -Curt 16:27:45 SW_(PROV)11:00AM has ended 16:27:47 Attendees were pgroth, Luc, Vinh, Curt, satya, +44.789.470.aaaa, Yogesh, Yolanda, MacTed, +1.509.375.aabb, +44.789.470.aacc, jcheney, +1.915.603.aadd, Paulo, dgarijo, jorn 19:00:21 Zakim has left #prov