14:48:30 RRSAgent has joined #prov 14:48:30 logging to http://www.w3.org/2011/10/27-prov-irc 14:48:32 RRSAgent, make logs world 14:48:32 Zakim has joined #prov 14:48:34 Zakim, this will be 14:48:34 I don't understand 'this will be', trackbot 14:48:35 Meeting: Provenance Working Group Teleconference 14:48:35 Date: 27 October 2011 14:48:43 Zakim, this will be PROV 14:48:43 ok, pgroth; I see SW_(PROV)11:00AM scheduled to start in 12 minutes 14:48:57 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.10.27 14:49:11 Chair: Paul Groth 14:49:44 Regrets: James Cheney, Christine Runnegar 14:50:00 rrsagent, make logs public 14:55:03 SW_(PROV)11:00AM has now started 14:55:09 Curt has joined #prov 14:55:09 +[IPcaller] 14:55:33 +Curt_Tilmes 14:55:59 can I get a scribe? 14:56:26 I'll do it 14:56:46 Yogesh has joined #prov 14:56:48 SamCoppens has joined #prov 14:57:07 thanks curt 14:57:15 dgarijo has joined #prov 14:57:16 Scribe: Curt_Tilmes 14:57:35 Scribe: Curt 14:58:16 +Yogesh_Simmhan 14:59:10 satya has joined #prov 14:59:17 +[IPcaller.a] 14:59:22 smiles has joined #prov 14:59:31 +Sandro 14:59:35 Zakim, [IPcaller.a] is me 14:59:35 +dgarijo; got it 14:59:38 +??P44 14:59:57 zakim, ??P44 is me 14:59:57 +smiles; got it 14:59:59 +Satya_Sahoo 15:00:02 +??P54 15:00:40 StephenCresswell has joined #prov 15:01:20 Topic: Admin 15:01:28 http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.10.27 15:01:34 PROPOSED to accept the minutes of Oct 20 telecon 15:01:35 +1 15:01:38 +1 15:01:38 +1 15:01:42 +1 15:01:48 +1 15:02:06 ACCEPTED Minutes of last week 15:02:32 khalidbelhajjame has joined #prov 15:02:34 pgroth: 1 action, being updated, to be discussed later 15:02:36 zednik has joined #prov 15:02:39 ... need scribes 15:02:51 Topic: PROV-O 15:02:55 +SamCoppens 15:03:31 +[IPcaller.a] 15:03:41 satya: covered new stuff, including new extensions previously discussed 15:03:53 we've also included examples to all the properties that didn't had them 15:04:00 ... new examples: usage of time 15:04:09 ... no roadblocks to moving to release draft 15:04:21 ... need to proof-read end-to-end 15:04:32 Luc has joined #prov 15:04:39 q? 15:04:39 ... a lot of changes, but content is largely in there now 15:04:42 + +1.518.633.aaaa 15:04:47 +q 15:04:55 ack dgarijo 15:05:36 dgarijo: content is there, but need to determine approach to modeling 15:05:37 Daniel is talking about EntityInRole 15:06:03 ... How will EntityInRole be handled 15:06:21 +q 15:06:28 +Yolanda 15:06:30 -q 15:06:30 pgroth: Is there a consensus on that in the working group? 15:06:45 in the prov-o working group 15:07:03 khalidbelhajjame: we haven't had a specific discussion on that in the working group yet 15:07:21 ... There are a number of issues on mapping the models to one another 15:07:26 Lena has joined #prov 15:07:37 +??P10 15:07:43 +q 15:07:44 ... discussions continue, there will be modifications. We really need to be sure there are no show stoppers 15:07:48 -q 15:07:50 ack khalidbelhajjame 15:08:27 +[IPcaller.aa] 15:08:44 zakim, [IPcaller.aa] is me 15:08:44 +Luc; got it 15:09:01 @Khalid: +1 15:09:02 @Daniel and Khalid +1 15:09:10 khalidbelhajjame: people in the working group working on it, 15:09:22 pgroth: can this be resolved quickly? 15:09:50 Paul, the answer to your question IMO is yes 15:09:51 q+ 15:09:57 ack satya 15:10:07 +[IPcaller.aa] 15:10:26 Both approaches are clear. Both have advantages and disadvantages. We just have to go for one, and stick to it. 15:10:27 satya: basic issue is data model from Luc and Paolo. We are trying to model a language 15:10:46 JimMcCusker has joined #prov 15:10:47 ... it is hard to get a perfect one-to-one mapping 15:10:55 what imo is not the right approach is have the same discussion every two or 3 months. 15:10:56 ... Especially with something like OWL 15:11:23 ... e.g. what is the difference between annotation and attribution? 15:11:27 don't they have different names? 15:11:37 ... We need some buy-in to move from ASN to OWL 15:11:59 ... what does it mean for provenance? Are we losing something with this mapping to the data model 15:12:08 ... There can't be a perfect mappign 15:12:12 @pgroth: some people argued that summaryOf, for instance, was very domain-specific. 15:12:22 satya, are you sayiing interoperability is impossible???? 15:12:26 Sub-Topic: Relation between PROV-DM and PROV-O 15:12:43 http://lists.w3.org/Archives/Public/public-prov-wg/2011Oct/0185.html 15:13:08 pgroth: how do we resolve mapping between models? 15:13:17 +q 15:13:19 ... There may be a mismatch. What process should we adopt? 15:13:20 q? 15:13:23 ack pgroth 15:13:25 @Luc: no Luc, the interoperabilty is the aim of the the whole Semantic Web technology stack - hence by using RDF and OWL we are facilitating interoperability 15:13:37 i can hear 15:14:36 luc: khalid indicated there was an outline of a solution to address this 15:15:06 +q 15:15:12 +q 15:15:14 ack khalidbelhajjame 15:15:15 -q 15:15:17 ... not sure if agreement was reached 15:15:18 @Luc, so if we are talking about interoperability of PROV-DM and PROV-O it will require us to understand how both the ASN and RDF, OWL relate 15:15:33 khalidbelhajjame: Not everyone responded to proposal 15:15:43 had to put the baby to sleep 15:16:07 ... By adding shortcut properties, we can connect entities to handle this 15:16:16 @kahlid, this looks good to me 15:16:17 q? 15:16:18 ... we are still discussing this 15:16:27 ... topic for next monday's telecon 15:16:40 +q 15:16:44 -[IPcaller] 15:16:46 +stain 15:16:52 we lost you , paul 15:16:58 Paul we lost you 15:17:49 stain: we had this discussion and chose the current approach 15:18:16 (sorry daniel, not stain) 15:18:16 @Daniel +1 15:18:53 luc: Need to decide and formalize the result and take that into account 15:19:03 ... the current approach isn't good enough 15:19:16 @Daniel +1 15:19:50 (what is it we are talking about now, provo at all or something else?) 15:19:53 luc: we could release the draft, but it really has problems, it doesn't match the model 15:20:07 Stian, we are talking about Prov-o 15:20:11 ... we must introduce entities to make it match 15:20:12 and EntityInRole 15:20:15 ah\ 15:20:35 @Luc, I guess what Daniel is saying that we use examples to demonstrate how one or the other approach does not work 15:20:38 what was that good name that was suggested as an alternative by Jim (I think) 15:20:40 dgarijo: we can try to address that, but we need consensus on how to address it 15:20:53 q+ 15:20:58 ack luc 15:21:01 ack dga 15:21:08 luc: there are other variants around OPM-O, there should be a way to handle it 15:21:13 pgroth has joined #prov 15:21:28 q+ 15:21:30 luc: it would be nice to contrast the two approaches with examples 15:21:31 q? 15:21:34 ack luc 15:21:34 +1 to try the different approaches with examples 15:21:44 the same for prov-dm 15:21:58 @Luc, from my perspective creating named classes for properties does not work in OWL, RDF 15:22:01 luc: can you formulate examples contrasting the approaches? 15:22:31 currently, all the examples are using the incorrect approach. 15:22:42 @Luc, next agenda item is Prov-DM and the two proposals you put on the mailing list (regarding entity, process execution) 15:23:07 Can Paul and Luc join next working group telecon to help resolve approach? 15:23:29 +q 15:23:39 satya: there are issues trying to model. You need extra propertities to link the entities 15:23:46 +[IPcaller] 15:24:04 ... This will introduce addition blank nodes, they make it hard to transfer between applications 15:24:07 +[IPcaller] is me 15:24:08 @Satya: they don't have to be blank nodes! 15:24:16 Zakim, +[IPcaller] is me 15:24:16 sorry, pgroth, I do not recognize a party named '+[IPcaller]' 15:24:18 ... there isn't a good way to transfer the RDF blank nodes 15:24:36 they have to be unique instances of the properties, just like the unique instances of EntityInRole. 15:24:43 Zakim, [IPcaller] is me 15:24:44 +pgroth; got it 15:24:52 in fact, the approaches are very similar (in essence) 15:24:53 ... there are practical reasons why the biomedical community has gone to using roles 15:25:06 ... and have a different way of modeling some things 15:25:20 -pgroth 15:25:20 @Satya FYI the RDF WG has decided on a standard way to do Skolemization, although it's still just in a Working Draft. not sure that helps much with this problem. 15:25:23 ... the simple approach runs into problems others in the SW community have already run into 15:25:24 on blank nodes: http://axel.deri.ie/publications/mall-etal-2011ISWC.pdf 15:25:42 (paper nominated for best paper award as ISWC 2011) 15:25:48 Luc: Maybe that problem doesn't actually hit us, let's look at examples 15:25:49 q? 15:25:51 you can name any node, obviously. 15:26:00 ack khal 15:26:01 they cab be blank nodes, but they don't necessarily have to. 15:26:26 +[IPcaller] 15:26:30 khalidbelhajjame: In our context, we won't have that problem, we have some shortcuts 15:26:40 ... that can link the constructs. 15:26:47 i hope to be able to join you on Monday 15:26:52 q? 15:26:53 +q 15:26:54 ... we won't have the drawbacks that others have run into 15:27:00 @Daniel: In OWL, RDF, there is a single URI for properties (both object and datatype) - so a property does not have instances as OWL classes 15:27:01 ... we will discuss at monday's telecon 15:27:10 q? 15:27:14 pgroth has left #prov 15:27:26 q? 15:27:36 ack dga 15:27:41 dgarijo: If there are n-ary relationships, there isn't a good solution. The current approach is confusing. 15:28:00 q? 15:28:01 Luc: We will have to resolve this and make a decision. 15:28:18 Topic: PROV-DM 15:28:36 @Satya: but n-ary relationships are a well known ontology pattern too. 15:28:40 @Daniel, so I am not sure I understand your point 15:28:53 Luc: On monday we will discuss examples of two approaches and converge toward solution. 15:28:54 pgroth has joined #prov 15:29:10 @Daniel, can you give examples of ontologies that use n-ary properties modeled as classes? 15:29:18 sorry everyone 15:29:20 Luc: Two proposals were floated on mailing list 15:29:23 http://lists.w3.org/Archives/Public/public-prov-wg/2011Oct/0195.html 15:29:40 the problem is often finding a good name for the n-ary class, we've got Generation, Use and Control, which is not too bad 15:29:45 they are of course no longer properties 15:29:52 just n-ary relationship 15:29:55 @Sandro thanks! I will read the RDF Working Draft 15:29:58 @Satya: people are complaining because the current approach is hard to follow. And basically, EntityInRole is a "trick" to avoidintroducing the classes. I like the approach because it's simpler 15:30:04 Luc: A number of votes on proposals 15:30:09 (I mean, the current approach) 15:30:13 Luc: overwhelming support for first proposal 15:30:39 PROPOSED: in section 2.1 [1], to define an entity as an identifiable characterized thing. 15:30:41 @Satya: One example: OPMO :P 15:30:55 ACCEPTED: in section 2.1 [1], to define an entity as an identifiable characterized thing. 15:31:12 PROPOSED: to rename 'process execution' by 'activity' 15:31:18 Luc: not as much support for second proposal 15:31:48 Luc: rationale - the first proposal introduces entity as an identifiable characterized thing 15:32:00 ... we need to bring section 5 to match 15:32:10 @satya specifically: http://www.w3.org/TR/2011/WD-rdf11-concepts-20110830/#section-skolemization 15:32:33 ... entity expression describes entity 15:32:49 @Daniel: OPMO has multiple OWL specific modeling issues and there are no application using OPMO for generating RDF in contrast to ontologies listed in NCBO: http://bioportal.bioontology.org/ontologies 15:33:01 @Sandro thanks! 15:33:12 ... there are negative votes for replacing process execution with activity 15:33:18 @Satya: yes, there are. 15:33:34 +q 15:33:37 Luc: first proposal being accepted and not second would make document confusing 15:33:44 ack Jim 15:33:51 we can't hear you 15:33:52 we can't hear you 15:33:57 @Daniel, also easier does not mean repeating mistakes already known to the community' 15:34:05 JimMcCusker: Plan B is to use some other word 15:34:10 @Daniel, can you send pointers 15:34:32 ... there are problems with process as well, but it is ok 15:34:37 ... perhaps use event? 15:34:50 Luc: that isn't the current issue 15:35:13 +q 15:35:26 @satya: http://webenemasuno.linkeddata.es/models_en.html, http://www.policygrid.org/ (But according to what Luc is saying, maybe we should leave this for monday) 15:35:32 JimMcCusker: Borrow the term as an alternative 15:35:39 ack pgroth 15:36:00 Luc: There is no proposal to remove term activity. We are just trying to align terms. 15:36:15 ... We can make it clear that there is no agency involved 15:36:25 JimMcCusker: Activity implies actor 15:36:27 +q 15:36:34 q? 15:36:36 ... invites misinterpretation 15:36:43 \=1 15:36:43 ack 15:36:46 plus 1 15:36:47 ack pgr 15:36:58 pgroth: Why didn't this come up earlier? 15:37:17 ... We can at least simplify this so we are discussing one term 15:37:24 I think it did not come up earlier because it was just in the preamble of the conceptualisation which was always about "stuff and things in the world" and probably easy to overlook 15:37:27 ... This proposal is trying to simplify use of terms 15:37:30 currently, a minimum of 54 occurrences of the word activity in prov-dm 15:37:30 I didn't raise it earlier because "activity" was being used informally. 15:37:45 ... Other terms are a separate issue 15:38:02 JimMcCusker: Ok, if the proposal is to align terms, we should do that 15:38:17 Luc: proposal not perfectly clear, but the intent is alignment 15:38:19 q? 15:38:21 q+ 15:38:25 q? 15:38:26 alignment can happen from both sides 15:39:05 PROPOSED: align terminology of process execution and activity with entity and entity expression 15:40:10 PROPOSED: align terminology of process execution expression and entity expression with activity and entity 15:40:22 PROPOSED: align terminology of process execution expression and entity expression with activity and entity, respectively 15:40:32 YolandaGil has joined #prov 15:40:32 q? 15:40:35 ack pgroth 15:40:39 Luc: Jim, is that better? 15:41:01 JimMcCusker: Yes, that is better, I'll raise the issue 15:41:09 q? 15:41:17 q+ 15:41:17 +1 15:41:18 +1 15:41:23 +1 15:41:24 +1 15:41:30 +1 15:41:40 -stain 15:41:43 satya: 'align' is to use the new terms? 15:41:58 ... we are replacing the terms in the document 15:42:06 Luc: Yes, we are using the new terms 15:42:36 q? 15:42:43 ack satya 15:42:43 +1 (differentiating between activity execution and activity specification) 15:42:44 +1 15:42:45 +1 15:42:46 +1 15:42:49 +1 15:43:01 Yogesh has left #prov 15:43:01 -Yogesh_Simmhan 15:43:07 ACCEPTED: align terminology of process execution expression and entity expression with activity and entity, respectively 15:43:08 +stain 15:43:28 @Satya: but activity specification isn't Recipe (or recipeLink) already? 15:43:51 I mean, they are already differentiated, right? 15:43:59 @Daniel: I did not find anything about OPMO and for PRISMA I did not see how OPMO is used for SIOC, MPEG-7 and other ontologies 15:44:08 simon: people are adding a lot to the document 15:44:14 ... intro done, examples coming in 15:44:43 ... sections allocated, Tim, Ted contributing sections 15:44:46 ted? 15:45:14 q? 15:45:15 ... The rest is almost there, need some examples from some others 15:45:17 @Satya: in the webn+1 project is used for describing the evolution of the entities (travel guides). SIOC, MPEG-7 and other ontologies are used to describe those entities further. 15:45:25 ... Paolo has been checking against the conceptual model 15:45:31 ... Satya will check against the formal model 15:45:37 @Satya: http://webenemasuno.linkeddata.es/page/elviajero/resource/Guide/20040117ELPVIALBV_6.TES 15:45:38 q? 15:46:08 q+ 15:46:11 @Daniel: translation :) 15:46:27 simon: examples to be done soon, waiting on Tim,Ted sections, hopefully draft within the week 15:46:30 q+ 15:46:35 ack zed 15:46:49 zednik: Roles examples, same issues with entity and role 15:46:57 -SamCoppens 15:47:21 you mean entityinrole? 15:47:25 ... in the work example, entity/role problems are still confusing 15:47:35 q? 15:47:43 q- 15:47:44 Luc: hopefully we'll have a better solution on Monday 15:47:44 +SamCoppens 15:47:50 q\ 15:48:01 q? 15:48:02 ack pg 15:48:16 q 15:48:28 pgroth: primer - do the examples have problems that are difficult to explain? 15:48:33 ... or are difficult to understand in prov-dm? 15:48:38 ... Are you capturing problems explaining things? 15:49:04 q? 15:49:47 Roles/entities are the most difficult, should be resolved on monday 15:49:56 zednik: also accounts 15:50:15 Luc: We haven't really debated much about accounts yet 15:50:30 ... We might need to make changes to PROV-DM for accounts, but we haven't addressed 15:50:55 q? 15:51:38 Topic: Building an Example Catalogue 15:51:52 Luc: people writing documents, primer, etc. are making examples 15:52:07 ... We should build a catalogue of those examples systematically 15:52:46 ... We need something wider to evaluate the various representations 15:52:50 q? 15:53:08 +1 15:53:10 Luc: Should we do that? How should we approach it? 15:53:10 q? 15:53:11 hard to keep in sync 15:53:29 @Luc: +1 for the catalogue. Are we going to have more than one RDF representation?? 15:54:00 stain: examples aren't complex enough to handle everything 15:54:27 q? 15:54:28 ... difficult to make them match everything and stay up to date 15:54:42 Luc: concepts will stabilize, then it will be easier 15:54:43 q+ 15:54:52 ack pg 15:55:10 pgroth: We could do it as an adjunct to the primer 15:55:31 ... The primer could link to the examples on separate pages, we could restructure 15:55:31 q? 15:55:55 ... into a catalogue. Revisit after things are more stable. 15:56:17 ... A single wiki page that links to all the different examples. 15:56:22 +1 15:56:30 ... Link to blog posts, primer examples, etc. at least get a common list 15:56:49 @Daniel If you are interested, we can have short skype call right after the telcon now (just reviewed web1ontology.owl) 15:56:50 Luc: Something more formal would help with tool development 15:57:01 q? 15:57:30 pgroth: Use wiki page as a directory, then add more structure/formality later 15:57:31 @satya: ok 15:57:34 q? 15:57:35 q+ 15:57:47 ack sm 15:57:47 q+ 15:58:10 yeah 15:58:19 well the turtle file 15:58:25 smiles: How would that work? 15:58:40 Luc: As an RDF file, turtle, that would work. 15:58:51 yeah 15:58:53 q? 15:58:53 ... Some comments with context/documentation 15:59:01 ack sat 15:59:26 q+ 15:59:30 satya: How should we link the RDF/turtle files to the wiki/mercurial repository? 15:59:45 q- 15:59:51 https://dvcs.w3.org/hg/prov/file/90a007a1712d/ontology/examples/ontology-extensions 15:59:54 Luc: Have a top level mercurial area for examples. If Tim has a structure, we can adopt it 16:00:02 https://dvcs.w3.org/hg/prov/file/90a007a1712d/ontology/components 16:00:04 q? 16:00:19 but its only provo now of course 16:00:31 -stain 16:00:36 sorry 16:00:40 son pulled phone 16:00:49 (i have to go to another telco, I will continue to help simon in the primer document + RDF examples) 16:00:56 +stain 16:01:12 -??P10 16:01:17 Luc: A top-level project would help organize it. Stain noted there are PROV-O examples already there 16:01:37 q? 16:01:55 pgroth: Let's proceed, sort out details on email 16:02:01 q? 16:02:04 some of the components ex are out of date or experimental 16:02:13 but thart can be cleaned 16:02:18 -[IPcaller.a] 16:02:18 -smiles 16:02:20 -[IPcaller.aa] 16:02:22 -Sandro 16:02:23 -SamCoppens 16:02:24 -Satya_Sahoo 16:02:25 -dgarijo 16:02:34 -stain 16:02:34 rrsagent, set log public 16:02:40 rrsagent, draft minutes 16:02:40 I have made the request to generate http://www.w3.org/2011/10/27-prov-minutes.html pgroth 16:02:41 -Luc 16:02:47 trackbot, end telcon 16:02:47 Zakim, list attendees 16:02:47 As of this point the attendees have been Curt_Tilmes, Yogesh_Simmhan, Sandro, dgarijo, smiles, Satya_Sahoo, SamCoppens, +1.518.633.aaaa, Yolanda, Luc, stain, pgroth, [IPcaller] 16:02:48 RRSAgent, please draft minutes 16:02:48 I have made the request to generate http://www.w3.org/2011/10/27-prov-minutes.html trackbot 16:02:49 RRSAgent, bye 16:02:49 I see no action items 16:02:51 -Yolanda