16:00:15 RRSAgent has joined #prov 16:00:16 logging to http://www.w3.org/2012/01/12-prov-irc 16:00:16 are you back? 16:00:17 RRSAgent, make logs world 16:00:19 Zakim, this will be 16:00:20 Meeting: Provenance Working Group Teleconference 16:00:20 Date: 12 January 2012 16:00:24 Zakim, this will be prove 16:00:25 Zakim has joined #prov 16:00:30 Zakim, this will be PROV 16:00:30 Yes! Glad to be back! First week back at work! 16:00:35 ok, pgroth, I see SW_(PROV)11:00AM already started 16:00:38 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.01.12 16:00:39 congratulations! 16:00:39 Hi Jun! 16:00:48 Chair: Paul Groth 16:00:53 only a few thousand messages to catch up with ;-) 16:00:53 @luc: thanks 16:01:03 +OpenLink_Software 16:01:05 Zakim, OpenLink_Software is temporarily me 16:01:05 Zakim, mute me 16:01:06 @luc, yep:) 16:01:11 Zakim, make logs public 16:01:19 rrsagent, make logs public 16:01:30 scribe? 16:01:40 I can scribe 16:01:41 +MacTed; got it 16:01:45 MacTed should now be muted 16:01:48 Scribe: Daniel 16:01:49 I don't understand 'make logs public', pgroth 16:01:53 Scribe Daniel Garijo 16:02:01 although I have a bad sound quality today :( 16:02:03 +Satya_Sahoo 16:02:03 tlebo has joined #prov 16:02:10 Topic: Admin 16:02:23 +??P18 16:02:59 khalidbelhajjame has joined #prov 16:03:01 +tlebo 16:03:09 Paul: as usual, vote on the minutes of last week 16:03:12 Minutes http://www.w3.org/2011/prov/meeting/2012-01-05 16:03:14 +1 16:03:15 +1 16:03:20 +1 16:03:22 olaf has joined #prov 16:03:23 +1 16:03:23 +1 16:03:23 +1 16:03:26 +1 16:03:31 +1 16:03:39 +1 16:03:43 zakim, ??P18 is me 16:03:51 Accepted Minutes January 5 2012 16:04:05 http://www.w3.org/2011/prov/track/actions/open 16:04:06 Paul: review of actions items 16:04:21 +jcheney; got it 16:04:26 ... 1) Action on Paul to write a blog on overview 16:04:40 ... about the PROV activities 16:04:45 zednik has joined #prov 16:04:47 http://www.w3.org/blog/SW/2012/01/11/feedback-welcome-an-overview-of-the-provenance-prov-family-of-specs/ 16:05:04 +[IPcaller.aa] 16:05:04 dcorsar has joined #prov 16:05:11 zakim, IPcaller.aa is me 16:05:27 +sandro 16:05:34 +khalidbelhajjame; got it 16:05:39 + +49.302.093.aacc 16:05:43 +??P46 16:05:45 ... Luc had an action item to write a blog post with the diffs 16:05:57 ... Satya had an action to look at a number of issues 16:06:12 zakim, aacc is me 16:06:14 Satya: I have been working on it 16:06:23 +olaf; got it 16:06:57 Paul: please sign on the f2f page so I can make the appropriate arrangements 16:07:03 ... we need scribes 16:07:14 Topic: Prov-AQ changes 16:08:10 http://dvcs.w3.org/hg/prov/raw-file/default/paq/prov-aq.html 16:08:29 ... gk tried to address a number of issues 16:08:52 ... made a review and a bunch of editorial clarifications 16:08:57 http://www.w3.org/2011/prov/track/products/5 16:09:04 +[ISI] 16:09:18 + +1.518.633.aadd 16:09:33 YolandaGil has joined #prov 16:09:43 ... question about xml examples. Do we want them? where should they come in? 16:09:51 SamCoppens has joined #prov 16:10:33 ... ??? suggested pingback to know when the provenance has been recorded 16:10:41 + +44.789.470.aaee 16:10:52 +q 16:10:55 ack pgroth 16:10:57 q? 16:10:59 ... paul has to still to review the changes to see if completely agrees with it 16:11:22 + +329331aaff 16:11:25 q? 16:11:44 prov-dm 16:11:52 http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.01.05#prov-dm 16:11:57 ... update on issues in prov-dm 16:12:06 zakim, +329331aaff is me 16:12:06 +SamCoppens; got it 16:12:07 AndroUser has joined #prov 16:12:17 ... most of the issues have been raised/resolved. 16:12:18 + +1.518.608.aagg 16:12:35 - +44.789.470.aaee 16:12:45 Deborah has joined #prov 16:12:48 Luc: we have to group the issues. 105 is still open. 16:13:03 ... will follow up a response 16:13:15 + +44.789.470.aahh 16:13:52 @Luc, yes I am now reviewing the updates in DM and will respond to these issues soon 16:13:53 q? 16:13:59 ... tomorrow morning will start another pass on the document to prepare it for review by the next telecon 16:14:08 @satya, thanks 16:14:08 ... please satya review the pending issues 16:14:09 - +44.789.470.aahh 16:14:21 zakim, +44.789.470.aahh is me 16:14:21 sorry, AndroUser, I do not recognize a party named '+44.789.470.aahh' 16:14:22 satya: ok 16:14:41 DeborahM has joined #prov 16:14:52 paul: are this already in your action? 16:15:09 Luc: no. That action is from several weeks ago 16:15:20 the "vacant" conference bridge is fighting me 16:15:20 paul: satya, replace the action with a new one. 16:15:32 Action: Satya to address issues in http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.01.05#prov-dm 16:15:32 Created ACTION-52 - Address issues in http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.01.05#prov-dm [on Satya Sahoo - due 2012-01-19]. 16:15:44 Topic: prov-o 16:16:02 Meeting minutes from last PROV-O call: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2012-01-09 16:16:07 + +44.789.470.aaii 16:16:38 satya: dgarijo has created a list of issues, and we have been resolving them 16:16:53 ... still have 3 main bullets to complete the list. 16:17:12 ... we have been recording the changes to make in the doc 16:17:27 q? 16:17:34 ... some issues have been raised. 16:17:56 can you indicate what requires discussion with dm? 16:18:02 +q 16:18:16 ack dgarijo 16:18:21 q+ 16:18:33 ack luc 16:18:49 satya: you'll see the changes to the html doc soon (next telecon) 16:19:15 Luc: can you identify what are the issues to be discused within dm? 16:19:15 Meeting minutes PROV_O: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2011-12-29 16:19:53 http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2012-01-04#Did_not_get_to_in_this_telecon ? 16:20:02 satya: some concerns about making wasStartedBy and wasEndedBy subclasses of wasAssociatedWith 16:20:41 Stephan: some classes seem to be modeling things with different semantics. Also actedOnBehalfOf 16:21:42 luc: some of the issues could be raised as issues against prov-o 16:22:20 luc: none of the editors will be at f2f 16:22:49 I ll be there 16:22:51 I'll be calling in to F2F2. 16:22:53 satya: some of the authors are going to attend: Daniel, Stian, Khalid 16:22:56 q? 16:22:57 not tim? 16:23:38 paul: so, in summary, you will be raising issues against dm soon. 16:23:42 satya: yes 16:23:50 q? 16:24:08 www.w3.org/2011/prov/wiki/FormalSemanticsStrawman 16:24:10 Topic: Prov-Semantics 16:24:29 jcheney: I've been updating what's there 16:24:43 ... answered some emails 16:25:31 ... diference between the 3 level and 2 level ??? 16:25:47 http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman#Objects_vs._Things_vs._entities 16:26:44 q+ 16:26:47 ... what the alternatives are about this issue 16:27:01 -??P46 16:27:15 luc: this could be raised as an issue against the semantics 16:27:35 jcheney: will do that 16:27:40 ack satya 16:28:20 satya: Ithink the distinction between entities and real world entities is very important 16:28:46 +1 to satua 16:28:47 ... the real world things have no relevance in our context 16:29:18 q+ 16:29:20 @satya: not relevant for the language, but important distinction for the semantics! 16:29:55 Q? 16:29:59 ack Luc 16:30:00 so "things" are not part of the description, but we are talking about the semantics here, i.e., the interpretaion of the language constructs 16:30:13 luc: From the beggining we made a distinction between the record and the real world thing. Thus it is part of dm 16:30:48 @Paolo: In our context that is any computer science application - there are no real world things 16:31:12 q? 16:31:15 q+ 16:31:24 ack Paolo 16:31:35 @satya: what about the provenance of Mona Lisa? That is a real world thing.. 16:32:30 Paolo: we're not talking about provenance within a specific system. 16:32:40 @dharijo no, you are talking about a characterisaton 16:32:45 @Daniel: No, the "Mona Lisa" in any application is a representation/abstraction of the real world thing - the real world thing is never part of any computer science application 16:32:50 q? 16:33:17 paul: maybe we can pick this at the end of the call 16:33:46 is it the painting? the model? 16:34:02 @stian, satya: ok 16:34:33 (have to go now) 16:34:35 luc: will try to catch up with the tracker. 16:34:41 - +44.789.470.aaii 16:35:01 q? 16:35:15 jcheney: we have to identify where are we going to find this at the time of the f2f (next 2 weeks) 16:35:20 -sandro 16:35:43 -??P30 16:35:51 ... alternate of, specialization of semantics. 16:37:19 paul: when do you like people to read the document? 16:37:49 jcheney: people can look at it now and provide feedback 16:38:01 sorry I have to go... 16:38:33 I will review 16:38:34 pgroth: volunteers? 16:38:52 q? 16:38:52 \ 16:38:57 ... paul, satya are volunteers. 16:39:20 q+ 16:39:20 Topic: Accounts in Prov 16:39:30 ack tlebo 16:39:42 tlebo: I haven't had a chance to answer all the people yet 16:39:44 +q 16:39:59 ... if anibody has something right now it will be ok 16:40:02 ack khalidbelhajjame 16:40:22 khalid: how entities are differentiated in different accounts 16:40:29 ... ? 16:40:46 q? 16:40:49 ... it's more a practical point of view. 16:41:06 tim: TRIG syntax is a bit confusing in those examples. 16:41:43 ... how can we have this scoped entities without the dcterms:identifiers. 16:42:21 khalid: so you think there could be problems having different entities scoped in different accounts 16:42:28 @Tim: +1, also having scoped identifiers (aka URI) is contrary to RDF semantics and global scope of URIs 16:43:09 khalid: how do I identify an entity across different accounts. 16:43:24 Tim. the same URI is mentioned in both named graphs. 16:43:34 q? 16:44:10 ... there is no requirement that the inner accounts have to be mentioned in the outer accounts 16:44:11 q? 16:44:15 khalid: thanks 16:45:03 q+ 16:45:04 paul: are you having problems with ids in dm? 16:45:18 tim: maybe I'm misreading ids in dm 16:45:30 luc: your interpretation is ok 16:45:45 ... I'm not sure that we have the same understanding of record 16:46:56 tim: in the rdf world a reocrd is a triple or an rdf graph. 16:46:57 @Luc, what are the columns of these tables - Entity, Agent, wasGeneratedBy? 16:47:15 luc: that would be routed in a specific subject. 16:47:23 s/routed/rooted/ 16:47:32 stian has joined #prov 16:48:03 Zakim, unmute me 16:48:03 MacTed should no longer be muted 16:48:03 ... if we have an entity Luc in Boston type person type entity, everything would be rooted from that. 16:48:07 q? 16:48:10 ack Luc 16:48:10 q+ 16:48:12 q+ 16:48:38 ack MacTed 16:48:50 MacTed: a record in my mind is a single row in a database. In the rdf world is a triple 16:49:31 luc: a record in dm is a set of triples in the rdf context 16:49:40 record 16:49:41 noun |ˈrekərd| 16:49:41 1 a thing constituting a piece of evidence about the past, esp. an account of an act or occurrence kept in writing or some other permanent form: identification was made through dental records | a record of meter readings. 16:50:07 MacTed: so you're changing the understanding of record that is different in many areas. 16:50:31 ... I keep going in circles 16:50:53 ... the common terms are not used according to their common meanings. 16:50:59 luc: I disagree 16:51:21 ... nobody has suggested an alternative to this terms 16:51:30 database terminology is not common term usage 16:51:52 ack satya 16:52:26 satya: if an entity is mapped to a table, what would be the columns of the table? 16:52:43 luc: activity, sart, end, etc. 16:52:49 ... (example) 16:53:13 http://dvcs.w3.org/hg/prov/raw-file/default/model/overview.png 16:53:20 GK has joined #prov 16:53:22 it's sounding like "expression" _was_ a better term (the original "record"). What motivated the rename? 16:54:11 luc: satya, how are you suggesting to express that? 16:54:15 :LucInBoston :wasWearing :whiteShirt 16:54:27 satya: Luc in Boston is an entity 16:55:11 entity(:luc_in_boston, [:shirt_color "white"]) 16:55:35 +??P3 16:55:40 satya: discussion about the Luc in Boston entity. 16:55:46 zakim, ??p3 is me 16:55:46 +GK; got it 16:55:50 q? 16:55:53 -[ISI] 16:56:41 entity(:luc_in_boston, [:shirt_color "white", :name="Luc", :type="Person"]) 16:57:25 entity(:luc_in_boston, [:shirt_color="white", :name="Luc", :type="Person"]) 16:57:34 satya: I was trying to understand what an entity record mean. Luc in Boston has type person would be an entity record 16:57:49 Luc: I've extended what tim just posted 16:58:19 ... you would map this to a series of triples 16:58:41 ... entity record seems to map to a set of triples 16:58:54 satya: this is an example of relational db to rdf 16:59:03 q? 16:59:08 luc: I'm not reinventing the world 16:59:17 http://dvcs.w3.org/hg/prov/raw-file/default/model/overview.png 17:00:08 luc: I've posted the diagram of the document. That is how it would be recorded in a relational world 17:00:43 satya: it is an assertion about luc in boston. It is an important distinction to make 17:01:20 I'm wondering what motivation we had to rename "expression" to "record". 17:01:36 q? 17:01:57 +1 to satya pointing out the confusion of identifying the record or the characterized thing 17:02:31 @luc, thanks. 17:02:31 luc: I'd like to explain what paulo and paul have been discussing. There are some inconsistencies in dm and we're trying to resolve them. 17:02:42 luc: too much "language association" and was inappropriate. 17:02:44 so, "entity record" is a collection of (one or more) assertions about an entity... 17:02:44 (and an "entity record" is an entity in its own right, with assertions about it, etc.) 17:03:07 some of the assertions about the "entity record" comprise the provenance of that record 17:03:10 luc: every record has an id 17:03:20 +1 to Satya too (the "record" is artifact of ASN; shouldn't have representation in RDF translation) 17:03:20 satya: no, every entity has an id 17:04:03 q? 17:04:25 What Luc is now describing is artifact of "the relational view" i.e. an implementation detail for *some* implementations. 17:04:43 tim: let luc describe the problem, and we try to solve it offline 17:04:58 luc: coming back what satya was saying 17:05:01 -SamCoppens 17:05:05 s/tim/paul/ 17:05:23 ... luc in boston in my view is not the key of the record. 17:05:36 @tlebo: thanks, sorry. 17:05:42 entity(:luc_in_boston, [:shirt_color="black", :name="Luc", :type="Person"]) 17:06:16 entity id + account id = natural key for entity record 17:06:21 exactly - so luc_in_boston is key for Entity "Luc in Boston" 17:06:22 ... luc in boston could have different color of tshirts, but it would be the same entity 17:06:28 not the record 17:06:32 luc: white and black shirt on same :luc_in_boston 17:06:36 Curt has joined #prov 17:07:19 @Luc, then we need a distinct identifier for the record itself 17:07:30 entity_reocrd_id001: entity(:luc_in_boston, [:shirt_color="black", :name="Luc", :type="Person"]) 17:07:52 ... an approach to this is to have an entity record Id that would be the key for that record. Now I would need an extra column 17:08:08 @Luc: ok 17:08:14 ... if we do that, that's great. 17:08:15 ... 17:08:24 @satya - isn't the record its own identifier? 17:08:25 ... we can simplify a lot of the text 17:08:25 entity(:luc_in_boston_on_Monday, [shirt_color="black", location=Boston, name="luc", specializationOf=:luc_in_boston_in_July]) 17:08:30 "Named Graph" :-) 17:08:34 entity(:luc_in_boston_on_Tuesday, [shirt_color="white", location=Boston, name="luc", specializationOf=:luc_in_boston_in_July]) 17:08:43 entity id + account id = natural key for entity record 17:08:46 ... but from the rdf perspective may not be nice. It would imply new ids 17:09:15 @Luc: the natural key for entity record is something different from key for entity 17:09:27 @luc, but that throws the benefits of URIs out the window (and violates AWWW) 17:09:36 @GK: I didn't understand 17:09:39 q? 17:09:39 I think we are trying to turn ASn "records" into implementation artifacts, when they are explicitly an *abstract* syntax for talking about provenance assertions. 17:09:50 q? 17:09:51 G-box would give the ontology of the accounts (i.e., the schema of the "entity records") 17:09:51 G-snaps would be the account ("entity record") instances 17:09:51 G-texts are the serializations of those instances 17:09:59 q? 17:10:03 q+ 17:10:13 paul: the issue is clear. 17:10:46 tim: trying to respond to Luc about naming the resource within the account. 17:10:53 ack tlebo 17:11:05 luc: luc in Boston is the name of the entity. 17:11:30 MacTed: so the entity could have 1 million entities 17:11:40 ... and be referring to the same thing 17:11:44 Why does ASN use URIs anyway? 17:11:45 s/entities/names/ 17:11:56 s/names/URIs, identifiers, names/ 17:11:59 q- 17:12:38 q? 17:13:21 ... problem on discovering other descriptions of the same entity the first time that I'm going to describe it. How do I know that there are others? 17:13:22 q? 17:14:12 q? 17:14:51 luc: the uri luc in boston is not enough to identify the records 17:15:09 ... that is why you need to know which account belongs to 17:15:11 @luc, then you mistakenly named luc in account 2. 17:15:45 @tlebo, why? 17:15:47 @luc, you knew that they are different, but named them the same thing. 17:15:56 satya: adding the acocunt id + the record does not make it an ? entity record? 17:16:18 @tlebo, no, it's intentional, I am giving two hypothesis about what luc did 17:16:20 luc: raising issues might be the best thing 17:16:32 -tlebo 17:16:35 -Satya_Sahoo 17:16:36 -olaf 17:16:37 -khalidbelhajjame 17:16:38 -[IPcaller] 17:16:38 -MacTed 17:16:39 -jcheney 17:16:40 -Luc 17:16:42 -??P31 17:16:43 - +1.202.223.aabb 17:16:46 - +1.443.708.aaaa 17:16:59 - +1.518.608.aagg 17:17:02 zakim, +1.202.223.aabb is me 17:17:02 sorry, Curt, I do not recognize a party named '+1.202.223.aabb' 17:17:09 -??P9 17:17:16 rrsagent, set log public 17:17:21 rrsagent, draft minutes 17:17:21 I have made the request to generate http://www.w3.org/2012/01/12-prov-minutes.html pgroth 17:17:21 -GK 17:17:25 trackbot, end telecon 17:17:25 Zakim, list attendees 17:17:25 As of this point the attendees have been +1.443.708.aaaa, [IPcaller], Luc, +1.202.223.aabb, MacTed, Satya_Sahoo, tlebo, jcheney, sandro, khalidbelhajjame, +49.302.093.aacc, olaf, 17:17:28 RRSAgent, please draft minutes 17:17:28 I have made the request to generate http://www.w3.org/2012/01/12-prov-minutes.html trackbot 17:17:28 ... [ISI], +1.518.633.aadd, +44.789.470.aaee, SamCoppens, +1.518.608.aagg, +44.789.470.aahh, +44.789.470.aaii, GK 17:17:29 RRSAgent, bye 17:17:29 I see 1 open action item saved in http://www.w3.org/2012/01/12-prov-actions.rdf : 17:17:29 ACTION: Satya to address issues in http://www.w3.org/2011/prov/wiki/Meetings:Telecon2012.01.05#prov-dm [1] 17:17:29 recorded in http://www.w3.org/2012/01/12-prov-irc#T16-15-32