08:14:33 RRSAgent has joined #prov 08:14:33 logging to http://www.w3.org/2012/02/02-prov-irc 08:14:35 RRSAgent, make logs world 08:14:35 Zakim has joined #prov 08:14:37 Zakim, this will be 08:14:37 I don't understand 'this will be', trackbot 08:14:38 Meeting: Provenance Working Group Teleconference 08:14:38 Date: 02 February 2012 08:14:41 smiles has joined #prov 08:14:47 Zakim, this will be PROV 08:14:47 ok, Luc, I see PROV_f2f()3:00AM already started 08:15:16 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:F2F2Timetable 08:15:41 +[VrijeUni] 08:15:56 Zakim, who is on the phone? 08:15:56 On the phone I see +1.315.724.aaaa, [VrijeUni] 08:16:15 pgroth has joined #prov 08:16:17 Chair: Luc Moreau 08:16:24 zakim, aaaa is me 08:16:24 +tlebo; got it 08:17:13 rrsagent, make logs public 08:17:16 khalidbelhajjame has joined #prov 08:17:36 scribe: Simon Miles 08:17:38 dgarijo has joined #prov 08:17:52 Topic: Introduction 08:17:52 Scribe: smiles 08:18:22 pgroth_ has joined #prov 08:18:38 Luc: good morning 08:19:21 Luc: round of introductions 08:19:41 On the phone: Tim 08:20:41 at the table: daniel, simon, khalid, ivan, 08:20:42 Ivan: introduces himself 08:21:43 Luc: first, need to approve minutes of last call 08:21:45 minutes: http://www.w3.org/2011/prov/meeting/2012-01-26 08:21:46 GK has joined #prov 08:22:09 Paolo has joined #prov 08:22:21 jcheney has joined #prov 08:22:26 08:21 < pgroth> minutes: http://www.w3.org/2011/prov/meeting/2012-01-26 08:22:49 Proposed: accept minutes of January 26, 2012 telecon 08:22:51 +1 08:22:52 +0 ( I wasn't there) 08:22:54 +1 08:22:54 +1 08:22:55 +1 08:22:58 +1 08:23:09 +1 08:23:41 accepted minutes of January 26, 2012 telecon 08:24:02 Luc: welcome 08:24:42 ... Have some observations from chairs to start 08:24:47 http://www.w3.org/2011/prov/wiki/F2F2Intro 08:25:37 ... From initial 17 words, we have made really good progress 08:26:10 ... However, deviation from timetable, was hoping to release last call at 9 months 08:26:34 ... See redebating of issues and drop in attendance 08:26:58 ... We would like to address these 08:27:26 ... Have some feedback, that the model is too complex 08:28:45 Ivan: concern is for use in semantic web community, realising most active part is linked data community 08:29:17 ... Complex OWL ontolgies are only niche areas 08:30:41 ... Experience with two past WGs, tried to be good for everyone, end up being ignored even though recognised useful topic 08:31:03 Paolo has joined #prov 08:31:04 Luc has joined #prov 08:31:30 ... Also OWL2, technically good but uptake poor, triple stores use an implementable subset 08:35:28 +q 08:35:29 Ivan: maybe we have to think in profiles 08:35:39 ... something simple that can be extended 08:36:01 ... and it is more simple and reusable by the community 08:36:15 ack proth 08:36:17 paul: the concepts from DM are adopted from those places. 08:36:18 ack pgroth 08:36:32 ivan: is every concept of DM necessary? 08:36:55 luc: there are interoperability issues that are not yet addressed 08:37:01 smiles has joined #prov 08:37:17 q? 08:37:36 ivan: I took olaf and jun's voc as an example 08:37:48 ... when I look at it I say: I get i 08:37:54 t 08:38:12 q+ 08:38:37 Ivan: would prefer to have whole spec in terms of rdf, possibility of linked data profile 08:38:59 q? 08:39:57 q+ to respond to Luc's comment about interoperability 08:40:15 Ivan: PROV-O is simple - OWL-RL-like - Keep it like that! 08:40:20 Ivan: RDFS with a tiny bit of OWL 08:40:25 +q 08:40:29 ...with regards to prov-o, impression is that ontology is actually simple, which is good, but should be made clear that 08:41:10 ... this is owl-rl 08:41:27 Ivan: Pleease, don't use RDF/XML 08:41:32 stain: +1 +1 +1 +1 08:41:34 :-) 08:41:59 ... Please do not use rdf/xml, our concern is not owl reasoners and is not readable 08:42:43 ...use a time ontology in provo, but it is a draft not followed up 08:42:47 Ivan: Turtle should hopefully be standardized by then 08:43:27 (I'm very sympathetic with don't use RDF, but I'd like to ask Ivan about where the wind is blowing w.e. 08:43:43 ... w.r.t. a preferred format for RDF interchange.) 08:43:51 ... Rdf group had discussion about time, pat hayes looking at time vocabulary, may be a way forward 08:44:44 q+ 08:44:51 ack luc 08:44:55 Luc: thanks for the input 08:44:56 ack stain 08:45:42 @GK, RDF__/XML__ 08:45:48 Ivan: reading provo at moment, have to go to dm, should be self standing owl docuement 08:46:07 ... Go to dm for details if needed 08:46:19 q? 08:46:20 ack GK 08:46:21 GK, you wanted to respond to Luc's comment about interoperability 08:46:21 ... Starting point owl document 08:46:25 q+ 08:47:33 GK: regarding interoperabiltiy, when creating standards cant solve every interoperability problem, have to start with big ones 08:48:00 dgarijo has joined #prov 08:48:18 q/ 08:48:21 q? 08:48:32 ivan: "what exactly do you mean by XXXX"? 08:48:52 @tlebo s/XXXX/interoperability/ 08:49:16 ack dg 08:49:19 tlebo: fast action on you :) (PROV-ISSUE-231) 08:49:31 ack pao 08:49:50 in fact OWL-wise it's almost removed already as we've redeclared the few elements we're using.. we just need to change the prefix 08:50:14 q+ to ask what are the "high order bit" questions we need to address 08:50:36 @stian, I'm surprised I didn't submit the "NO RDF/XML" issue first :) 08:50:54 q+ to mention past experience (Internet fax) 08:51:15 Paolo: appreciate comments, accept simplification needed, but worried that taking Jun and Olafs document as ideal means not being as ambituous and not addressing wider community 08:51:30 in this WG, there is a lot of prior art which is not just linked data! 08:51:49 @tlebo: we discussed this. Weren't you and I supposed to add the exmaples in turtle? 08:52:47 now we have an additional motivation to convince satya :D 08:53:19 Luc: paul and I feel that work around concepts in DM are blocking other work, so would like to conclude discussions on entities, identifiers etc. 08:53:23 @dgarijo, right, we never got consensus. 08:53:58 q? 08:54:00 ... Bandwidth to move to other stuff to make WG successful 08:54:28 ... With regards to timetable, should revise to reflect ambitions we have 08:54:37 khalidbelhajjame has joined #prov 08:54:44 kai has joined #prov 08:55:22 ... But also adjust ambitions to timetable, drop concepts from initial charter 08:56:13 ... Example use cases are not relevant to user communities 08:56:50 ... E.g. Concept of entity is complex because trying to address all cases 08:57:08 ... Today 3PWD of DM being released 08:57:39 ... Next should solve issues of entities, identifiers, accounts, alternateOf 08:58:00 ... Paul and I will propose simplification, dropping concepts 08:59:21 ... Timetable as originally envisaged plus 3 months 09:00:15 Ivan: admin path has to be followed, if extended need to convince that have good plan to complete work, i.e. be far enough in pipeline 09:00:54 q+ 09:00:57 ack gk 09:00:57 GK, you wanted to ask what are the "high order bit" questions we need to address and to mention past experience (Internet fax) 09:00:58 .. Managament tougher on this than used to be 09:01:10 ack luc 09:01:18 GK: is model too complex or overspecified? 09:01:45 q+ 09:01:55 ... Corner cases can show where we can remove things from the spec 09:02:36 ... E.g. Identifiers issue may not arise if use rdf from start rather than asn 09:03:05 Luc: dont think this is incompatible with chairs view 09:03:38 GK: if we declare dm done, we may still come back to the issues 09:04:28 kai has joined #prov 09:04:36 Luc: declring dm done is wg saying done, not just editors 09:04:54 q? 09:04:58 ace paolo 09:05:01 ack paolo 09:05:06 but it's not easy for the WG to consider things done or not done when the editors are continually changing the draft without proper involvement of the WG 09:05:07 Paul: part of declaring done is anything possible to cut down 09:05:29 q+ to say that the wg keeping RDF as a second class citizen has made it difficult to develop prov-o 09:05:48 declaring it done is like declaring an API done - we can't go there before we've explored properly using it (otherwise we'll get the PROV version of the DOM API :) ) 09:05:58 @tlebo ack. 09:06:13 +q 09:06:48 q+ (dependencies, versioning, charter) 09:06:57 q- (dependencies, versioning, charter) 09:07:22 q+ to say something about dependencies, versioning, charter 09:08:18 would it be good to move DM to a more UML-like data model? 09:08:19 paolo: you don't want to leave out part of the community because you'll miss an oportunity. 09:08:34 tim: I find it difficult because RDF is a second citizen 09:08:46 q? 09:08:49 ack tle 09:08:49 tlebo, you wanted to say that the wg keeping RDF as a second class citizen has made it difficult to develop prov-o 09:08:59 ack kh 09:09:05 kai has joined #prov 09:09:24 smiles has joined #prov 09:09:32 +1 to Paolo's suggestion - basically he was suggesting a more iterative process where PROV-O feeds into PROV-DM in a loop rather than the current one-way development 09:09:34 BTW, notwithstanding my comments, I'm not opposed to having ASN, but I think it could be presented more simply, maybe with less specification detail. Just saying. 09:09:49 q? 09:09:55 khalid: instead of trying to simplify DM I'd leave as it is now and identify the concept that are difficult to represent in OWL and simplify them afterwards 09:09:58 ack jc 09:09:58 jcheney, you wanted to say something about dependencies, versioning, charter 09:10:06 @dgarijo i am back, will continue scribing 09:10:27 @smiles: ok! 09:10:30 +1 to parallel / two way development. all of the wg should be thinking in ASN and PROV-O. PROV-O can't just fall out of DM. 09:11:08 James: since dm developed first, been hard to keep ontology up, but was useful to start without owl details 09:11:20 q+ 09:11:54 BTW, there's a very big difference between encoding in RDF and getting hung up in OWL. 09:11:56 q? 09:12:16 ... Point 2, for entities could now take rdf resources view, as alternateof etc controversial may not be part of stantdard 09:12:30 PIL should be applicable to any resource, not just for Semantic Web objects; have a low entry point to facilitate widespread adoption, and makes it easy to do simple things; have a small core model and allow for extensions (ie, profiles, integration of other more expressive/complementary vocabularies/frameworks); 09:12:40 ... Also, would be good to look at charter above 09:12:54 q? 09:12:58 Paolo has joined #prov 09:13:03 @jcheney "Semantic Web objects" are "any resource" 09:13:39 ack iv 09:13:42 @tlebo: That was a quote from the charter, not my wording: http://www.w3.org/2011/01/prov-wg-charter#scope 09:14:11 @jcheney, thx. 09:14:14 Ivan: on time, spent hour yesterday in rdf wg, ended up looking for simple proposal, else could contnue for couple of years 09:14:23 We could follow@jcheney's suggestion - focus on just expressing provenance with an implicit assumption of non-variability and punt the rest (my interpretation). I think that would be a reasonable approach, as the the rest of the details could be filled in later. 09:14:24 it takes time even for us who have been in the WG since the beginning 09:15:06 Luc: definite views - linked data view, owl view, more than sw view 09:15:31 ... If reasonable, pragmatic can meet timetable 09:16:29 (what was that example?) 09:16:33 I don't think anyone said prov-o was 2nd class. Rather, I thought the comment was that RDF syntax was 2nd class. 09:16:35 ... Work of PROVO team is not second class, need to work in way which makes ths clear 09:17:54 ... Meeting timettable may need dropping use cases, also should be based on prior art as standrdisation not research 09:17:55 q+ 09:17:57 (as a side-note - we went for OWL Time because we first wanted to say that we don't want to restrict how time is specified (like Plan and Role) - but then needed to have a realistic mapping to XSD DateTime - OWL Time allowed both - and also gave a way to talk about partially ordered events (as discussed, but perhaps not practicsed, in DM) 09:18:20 I'm not convinced dropping "use cases" is enough. I think we need to lower levels of specification detail in some areas. 09:18:33 ... Chairs will rely more on W3c processes 09:19:08 Paul: have been too laid back so far, e.g. Issues open for months 09:19:25 dgarijo has joined #prov 09:19:41 Ivan: each rdf wg call starts with open issues, why not addressed 09:20:02 Luc: we also do that, but do not enforce completion 09:20:29 Ivan: once issue closed do not reopen unless there is new evidence 09:20:30 q? 09:20:51 ack ivan 09:21:33 Luc: never communicated to outsde world how to approach documents, e.g. Primer then provo 09:21:46 q? 09:22:17 GK: what is conclusion? 09:22:58 Luc: strategy driven by the timetable, milestones; can refine milestones over next two days 09:23:57 GK: if we slip from new timetable, what is strategy to get back on track? 09:24:31 Luc: where discussion does not reach consensus, remove from spec 09:24:58 Paul: chairs can decide out of scope 09:25:19 Ivan: easier to drop from charter rather than add 09:25:40 q+ to ask about 17 concepts 09:25:50 GK: agree that this is a concerete strategy 09:26:48 Paolo has joined #prov 09:26:54 The strategy is to be time-driven along the proposed time table [1]. In case of slippage, the issue(s) causing slippage will be a candidate for removal. [1]http://www.w3.org/2011/prov/wiki/F2F2Intro#Revisited_Timetable 09:27:13 ^Luc's proposal 09:27:45 +1 09:27:56 PROPOSED: The strategy is to be time-driven along the proposed time table [1]. In case of slippage, the issue(s) causing slippage will be a candidate for removal. [1]http://www.w3.org/2011/prov/wiki/F2F2Intro#Revisited_Timetable 09:27:59 +1 09:28:00 +1 09:28:00 +1 09:28:01 +1 09:28:02 +1 09:28:02 +1 09:28:03 +1 09:28:07 +1 09:28:16 s/a // 09:28:34 ACCEPTED: The strategy is to be time-driven along the proposed time table [1]. In case of slippage, the issue(s) causing slippage will be a candidate for removal. [1]http://www.w3.org/2011/prov/wiki/F2F2Intro#Revisited_Timetable 09:28:44 RESOLVED: The strategy is to be time-driven along the proposed time table [1]. In case of slippage, the issue(s) causing slippage will be a candidate for removal. [1]http://www.w3.org/2011/prov/wiki/F2F2Intro#Revisited_Timetable 09:28:48 we'll do both 09:29:05 Khalid: +1 (not on irc) 09:29:38 khalidbelhajjame has joined #prov 09:45:31 q? 09:45:36 ack jc 09:45:36 jcheney, you wanted to ask about 17 concepts 09:45:38 khalidbelhajjame has joined #prov 09:45:43 hello 09:45:46 hi 09:46:45 GK1 has joined #prov 09:46:59 pgroth has joined #prov 09:47:05 hi 09:47:10 q? 09:47:17 Scribe: Stian 09:47:21 Session on Provenance Access and Query 09:47:28 Luc2 has joined #prov 09:47:32 pgroth: some issues to address.. GK, any? 09:47:43 smiles has joined #prov 09:47:45 GK1: Mainly notes within the document, or issue list. 09:47:59 pgroth: Have 6 issues 09:48:08 pgroth: 1) Have a current service description 09:48:24 jcheney has joined #prov 09:48:25 ... Uses an IETF Draft spec on how we define the service description 09:48:32 GK: Template stuff 09:48:39 GK: Close to becoming an IETF standard 09:48:50 pgroth: minor technical issue.. second was that we have to do multiple lookups 09:49:01 pgroth: you have to dereference the service specification, understand it, and then do the thing 09:49:22 pgroth: Luc suggested on Sparql. They define a WSDL document that defines the way you get SPARQL or not 09:49:33 WSDL died by SPARQL 1.1, no? 09:49:45 pgroth: one suggestion is to revisit the service specification and concretize it as a WSDL specification 09:49:56 pgroth: and by very specific about the form of the URI should look like when you make a query 09:50:18 GK: Have been doing other stuff 09:50:32 http://dvcs.w3.org/hg/prov/raw-file/default/paq/prov-aq.html#provenance-services 09:50:38 pgroth: section 4 09:50:52 GK: Was not initially convinced of the need for this section! 09:51:01 GK: Need simplification or elimination 09:51:12 GK: Are we just doing strategies in this session, or digging in? 09:51:22 Luc: Identify what we as the WG should work on 09:51:28 Luc: so we can say that we don't do anything more on this 09:51:33 pgroth: will go through the rest of my issues 09:51:42 pgroth: issue of definition on provenance service 09:51:46 dgarijo has joined #prov 09:52:12 pgroth: second issue, in the document we have access - how we go from a Resource to associated Provenance [Information] - section 1 09:52:32 ... then we have queries, how they look like, guidance on sparql etc. One of my questions is wether or not they should be seprated into different documents 09:52:58 ... something that defines a query service documentation - might be super-simple. Maybe some patterns on how to use sparql. And then a query document, where's how you go from web resource to provenance. 09:53:38 ... Third issue is.. we have, section 3 - http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html#locating-provenance-information 09:53:38 wsld2.0 interface for sparql protocol: http://www.w3.org/TR/rdf-sparql-protocol/ 09:53:54 ... we have resources represented as... X hasprovenance service and has provenance. Duplicate. 09:54:01 pgroth: would find that complicating 09:54:07 GK1: was uneasy about that as well. 09:54:14 pgroth: Can we get rid of this duality 09:54:30 pgroth: Fourth issue - PAQ does not say how to locate provenance information within RDFa 09:54:41 GK1: it's implicit in RDF - how to find it in RDF, then how to find it in RDFa? 09:54:55 pgroth: perhaps a simple example 09:55:02 pgroth: should it be in the PAQ? 09:55:09 pgroth: best practice? Or in PROV-O? 09:55:45 GK1: You mentioned best practice.. I thought this document was trying to also be best practice. We might review this. 09:55:54 pgroth: it's clear that there is specification.. for instance link headers 09:56:06 GK1: hoping we would go for registration of these with the IETF registry 09:56:12 pgroth: so this is a specification 09:56:39 (I edited best practice document on the plane to say that an RDF document can be identified as a prov:Account if it simply says <> a prov:Account 09:56:42 q? 09:56:47 (which should work also for RDFa) 09:56:56 Luc: Original charter had this in 09:57:12 Luc: we received feedback that we have too many implementations on the timetable, so downgraded to a note 09:57:16 ^^ as a recommendation 09:57:24 Luc: as a WG we can define what we are tryin to achieve here 09:57:33 GK1: Have been trying to follow what I get from the group 09:57:38 q? 09:58:01 pgroth: broadly the document does strike the right balance between reusing what's there, and identifying how you reuse it. But it defines clearly how you should do X,Y,Z, which to me is a specification. 09:58:07 pgroth: it's fine if a specification is built on other work 09:58:23 GK1: at this stage we didn't have a clear enough view of which areas we would use PROV to achieve interoperability 09:58:27 pgroth: perhaps that's what we need to talk about 09:58:59 GK1: which aspects of interoperability is important. You mentioned splitting the document. To me this is not as much access vs query, but here is a baseline for basic interoperability vs here are some other things you can do if the basic mechanisms don't work 09:59:06 pgroth: sounds like a reasonable split 09:59:13 ... The provenance services.. 09:59:21 GK1: the issue you raised.. this is what? 09:59:27 pgroth: PAQ does not have RDFa? 09:59:37 pgroth: where does it belong.. we moved on to wether or not PAQ is a spec. 09:59:49 pgroth: seems consensus is that part of it is spec and others not 09:59:59 Stian: like "This is informal section" etc? 10:00:02 pgroth: or splitting 10:00:16 pgroth: Currently we're very entity focused 10:00:34 pgroth: there's lots of other thins in PROV-DM and in the world that we might want to do provenance of 10:00:42 Luc: for instance, provenance of an activity! 10:00:51 GK1: my suggestion was a refactoring of those! 10:01:22 pgroth: first agree if we are talkina bout more than entities, if so, what can we do.. 10:01:29 pgroth: we are entity questions, but is that appropriate? 10:01:33 s/question/focused/ 10:01:52 pgroth: finally: There are some paragraphs where.. 10:02:03 pgroth: section 2 - http://dvcs.w3.org/hg/prov/raw-file/tip/paq/prov-aq.html#accessing-provenance-information 10:02:06 pgroth: second and last paragraph 10:02:35 pgroth: rewrite stuff "provided that such change does not contradict any previously retrieved information" - status about provenance - get rid and don't worry about there 10:02:47 GK1: they were put in wether a provenance retrieved is changeable or not 10:03:00 GK1: initially it seemed to me that the intention was.. a dynamic resource, and a provenance resource 10:03:11 GK1: then you would not expect the provenance resource to update as the dynamic resource was 10:03:27 GK1: but as what we talked about this morning changes, this might become redundant 10:03:46 khalidbelhajjame: the entity discussion made it useful - because now you talk about entity instead of resource 10:03:59 khalidbelhajjame: earlier we could not distinguish them 10:04:25 GK1: but do we need to hang so much on this discussion? It was probably an important discussion - but is this important for the presentation on how to access information about some resource? 10:04:31 q? 10:04:33 s/info/provenance \0/ 10:04:47 pgroth: Use the paq as saying 'There's some provenance info about this X over there' 10:05:07 pgroth: whatever is there - we don't say anything about it - you decide if it changes etc 10:05:13 pgroth: that's my view - agnostic 10:05:27 q+ 10:05:30 GK1: works for me and close to where I came from. That's the web - here's some related info, go get it 10:05:54 dgarijo: tried to write down some example from yesterday. When I am asserting provenance, I want to say some resource used another resource, do I use an entity or a resource? 10:06:00 pgroth: that's a Data Model discussion! 10:06:17 pgroth: in PAQ we just say "There is some related provenance information - use this URL" 10:06:39 pgroth: Same for provenance service, here's a serrvice, here's a URL, give me some provenance back 10:06:42 pgroth: that's what I think we have! 10:06:51 GK1: yes, that and more! That is my minimal model. 10:07:05 GK1: I would have stopped there - perhaps say there's SPARQL for other stuff. 10:07:14 ivan: That's the only document I didn't have time to look at 10:07:29 ivan: ran out of time 10:07:31 q? 10:07:46 ivan: how does this relate to the approach as to what people do when they try to get metadata on dataset, using the VOID vocabulary? 10:08:04 ivan: VOID describes datasets. SPARQL (?) has another document on how to get information on a dataset 10:08:15 ivan: perhaps provenance not the same as VOID - not sure how they are related, but somehow they are both metadata 10:08:42 ivan: there is a Sparql service description.. 10:08:50 http://www.w3.org/TR/2010/WD-sparql11-service-description-20100126/ 10:09:09 ivan: that is only on a sparql service, here we are talking about any resource 10:09:12 pgroth: I think that's different 10:09:22 ivan: I'm thinking of the mechanism to get there 10:09:38 GK1: section 2 10:09:42 > SPARQL services made available via the SPARQL Protocol should return a service description document at the service URL. This service description should be made available in an RDF serialization, and may be provided embedded in HTML by RDFa, or other RDF representations by using content negotiation. 10:10:06 GK1: because we are looking at a resource, and we're trying to find information at a different resource 10:10:16 GK1: you start with an URI of a service, you need to do an indirection to get there 10:10:31 ivan: There is an additional discussion - too bad Sandro is not here as he's in both groups 10:10:50 ivan: We have a discussion to start a group on linked data patterns 10:10:53 q? 10:11:01 ivan: what came up was how in generaral do I get information about a resource 10:11:12 ivan: that is one of the patterns, a general RESTful pattern for that 10:11:53 ivan: If I ask for a resource, then there is a HTTP header field , Related-To or something (Existing header) 10:11:57 q? 10:11:59 GK1: there is a Link: header which we use 10:12:15 http://www.w3.org/2012/01/ldwg-charter.html 10:12:19 ivan: perhaps it's the same conclusion.. Link header, yes. 10:12:26 Stian: yes, so all we use is a new relation, rel=provenance 10:12:36 (and provenance-service) 10:12:39 ivan: check section 2.2 10:12:46 whcih doc? 10:12:52 http://www.w3.org/2012/01/ldwg-charter.html 10:12:57 thx 10:13:03 > Define a protocol to interact with Linked Data resources, following a REST approach ... 10:13:10 how long? 10:13:11 q? 10:13:14 ivan: might take some time 10:13:32 GK1: is there a case for taking this piece of work, and combining. Similar goals. 10:13:41 ivan: there should be a reference to provenance WG here 10:13:47 Link: provenance-URI; rel="provenance"; anchor="entity-URI" 10:13:51 ivan: apologies for orbgetting that 10:14:04 pgroth: that's what we do - link header on resources, there's wher eyou get related provenance information 10:14:10 ivan: yes, that's very much in line 10:14:23 pgroth: yes, but we have a clear semantic - you are getting back some *provenance* information 10:14:33 pgroth: you can generalize it to just some metadata and look at the data 10:15:01 pgroth: but GK1 pointed out that the priority is.. for us.. are we far enough along? Wait for this group? Or just define this, and later we say how they are compatible 10:15:11 pgroth: Suggests that they will be compatible 10:15:13 q? 10:15:30 ack sm 10:15:36 smiles: Slight concern with the simple provenance URI.. 10:15:55 smiles: if someone is expecting that.. provenance data model allows you to record wast amount of information if you want to 10:16:14 smiles: if I get provenance URI in header, and I Resolve it, and I get a wast amount of information.. how to deal with it? 10:16:22 pgroth: sounds like a techie conversation we should have now. 10:16:26 GK1: a kind of scoping conversation 10:16:44 Luc: we said from day 1 that provenance is a resource that has an URI 10:16:54 Luc: in entity view, you have a service, you run a querry 10:17:11 Luc: when Sparql talks about sparql query results, they don't talk about them as resources. But of course you can view them as resources. 10:17:16 GK1: yes, if you use the GET form they are resources 10:17:22 lost audio 10:17:32 Luc: but in the document it is not presented as such.. 10:17:38 Luc: in the sparql service description document 10:17:55 sparql query results are resource _representations_, not resources themselves. 10:17:58 per AWWW 10:18:00 GK1: yes, the service is a resource, if you dereference it you get a service description - and the rest follows this. This is the web resource (?) 10:18:14 Luc: we were talking about provenance information as a resource 10:18:24 GK1: it's a different resource, provenance information resource 10:18:34 GK1: key to the resource centric approach - you have to identify what those resources as 10:18:49 GK1: as Smiles say, there's not a predefined notion of 'provenance' - it's something I have to query 10:18:52 ^^Luc 10:19:01 smiles_ has joined #prov 10:19:01 still silent on this end. 10:19:06 Luc: what is the provenance, resource, entity = always had the view that I need to run a query 10:19:13 Luc: I might not want a GB of provenance information 10:19:22 GK1: a resource-centric approach might not have to be done like that. 10:19:33 GK1: there's a resource view, and a service view - different levels 10:19:50 GK1: web architecture is based around resources - if we design something for the web, we should try to keep this in mind 10:19:53 q+ 10:20:05 Luc: pitching this as a resource - is not helping the presentation of the material 10:20:23 Luc: if we want as Simon says, to control what we get.. it sounds like a client would need to formulate a kind of query? 10:20:38 Luc: when you have a provenance URI, which is in the header, you don't have that opportunity, the query has been formulated for you 10:20:49 GK1: there's no reason that header is not a sparql header 10:20:55 q? 10:20:56 Luc: but someone would have had to premade that query 10:20:59 -tlebo 10:21:09 Khalid: Does not seciton 5 address this? 10:21:15 smiles_: you might get a GB first.. 10:21:24 q? 10:21:24 smiles_: imagine a user who is.. what do you get first 10:21:27 +tlebo 10:21:38 GK1: do we try to define how much information gets back when you dereference? 10:21:41 (still quiet) 10:21:41 smiles_: either is a solution 10:21:52 is anyone else on the phone? 10:22:02 smiles_: one way is to do a query.. another way is to say there is a definite thing that comes back, that you can operate on 10:22:04 Zakim, who is on the phone? 10:22:04 On the phone I see [VrijeUni], tlebo 10:22:17 q? 10:22:18 GK1: in a sense they are both in there, Paul's eariler comment, too many mechanism 10:23:12 q? 10:23:16 ack stia 10:23:39 Stian: A provenance resource is not necessarily a whole provenance account (Which truly might be many GBs) - but Linked data allows you to have many resources that you have to follow the links to 10:24:09 pgroth: (...) for the provenance combination - there might be other people that adds the ability to filter in the service information. FOr instance ?maxEntries=200 10:24:14 pgroth: we should not preclude exactly this 10:24:18 +[IPcaller] 10:24:26 pgroth: but we don't have enough background material as to what that looks like 10:24:28 q? 10:24:30 Zakim: who is making noise? 10:24:32 back! 10:24:33 dgarijo has joined #prov 10:24:37 Thats me 10:24:45 Probably :-) 10:24:50 pgroth: just write a paragraph that's says.. who couldn't standardize it 10:24:55 kai: no I meant if zakim heard us :) 10:25:02 pgroth: if everyone uses a different mechanism to filter 10:25:05 q? 10:25:14 smiles_: agree - we can't know how filtering might take place 10:25:22 I can't hear anything either. 10:25:32 Think we have to redial. 10:25:35 GK1: Sympathy with this - concern is that it is not the case.. we are defining another API. Rather than following a REST approach 10:25:48 ... 10:25:48 resolving URIs or submitting a URI to a service is a matter of perspective. The former paradigm reduces the "agency" of the server on the other end and minimizes the client's control. Calling a service permits the client to have more control by feeding parameters to control what comes back. 10:26:25 GK1: Roy Fielding is specific that there is a (...) pure restful approach - much better with exchange of information (???) 10:26:48 GK1: internally I feel it is the web way, or do we go through the route of making an API which is perhaps simpler/more specific.. 10:27:04 (at least now I know _who_ is talking. Just a bunch of bnodes for what they're saying...) 10:27:22 pgroth: in SPARQL protocol, I would just copy what they do. "Here's a WSDL 2.0 file that says input/output of this thing called query - a HTTP binding says how to do it with HTTP GET 10:27:30 GK1: which is what I attempted to do with tempaltes 10:27:41 pgroth: doing this in SPARQL I don't have to look up service description, etc.. 10:27:47 GK1: this is the REST Tax coming in 10:27:54 BTW, nobody implemented the WSDL, all implementations used HTTP exclusively. 10:28:06 GK1: one of the principles, the client should not know about the form of the URI used. It is the hyperengine as an engine of application state. 10:28:09 khalidbelhajjame has joined #prov 10:31:12 Luc2 has joined #prov 10:31:43 Q? 10:33:01 pgroth has joined #prov 10:33:09 GK has joined #prov 10:33:38 khalidbelhajjame has joined #prov 10:34:06 Luc: what is the agreement? 10:34:07 Pgroth: Would argue for.. 10:34:21 pgroth: indirection that is currently in the document - not a good thing - not what people really want 10:34:30 pgroth: they don't want to dereferene the service description and build a URI 10:34:41 pgroth: notion of well known URI vs WSDL - something to discuss 10:34:42 q+ 10:34:43 Paul: The notion of well known URI vs WSDL is something we should discuss 10:34:48 khalidbelhajjame: I'm back :) 10:34:56 @Stian ok :-) 10:35:00 pgroth: sepreate out document, call it an Provenance Service API.. perhaps lightweight 10:35:04 @Khalid thanks 10:35:24 ivan: when I saw the word 'query' I saw a red flag 10:35:37 ivan: I saw Query in the title.. read the document I realised.. but the title suggest something else 10:35:44 ivan: that you can define a query language for provenance information 10:35:53 GK: so change the title to Access and SPARQL query? 10:35:59 ivan: just Provenance Access 10:36:13 pgroth: two things - provenance access, current service, and then there is the Locating Proveannce Information 10:36:28 pgroth: how to embed thins in HTML etc.. that's location 10:36:39 pgroth: this conversation about how to access the information - we don't say anything about query 10:36:45 GK: can't we make references to sparql? 10:36:58 pgroth: that's a way to do it.. and what we said.. but I think that it's more looking at me as a Best PRactice 10:38:37 q? 10:41:17 Q? 10:43:40 Q? 10:43:48 +q 10:43:49 Ack stain 10:43:50 jcheney has joined #prov 10:43:55 pgroth: just writing some SPARQL query.. 10:44:00 (??> Insert paste here) 10:44:02 Ack st 10:44:27 Khalid: how to get information about entity.. getting the URI of the sparql query. Not inetersted in URI of entity (??) (?) 10:44:39 Ack kha 10:44:50 GK: what you want is what you want.. what you get back is an URI that refers to some provenance 10:44:52 Paolo has joined #prov 10:44:59 GK: but what do you get back when dereferencing it - that's up to the service 10:45:04 Q? 10:45:14 GK: the second thing is that we can get back the ... (??) 10:45:24 pgroth: provenance information directly - option 1 10:45:30 pgroth: big blob - could overwhelm you 10:45:39 pgroth: second is, we give you a URI that refers to that provenance information 10:45:43 pgroth: those are the two options 10:45:52 GK: the third option - a URI for a SPARQL endpoint? 10:46:08 ivan: as a user I have the choice of which SPARQL endpoint to use 10:46:26 is there objection to letting a client SPARQL the provenance service for the subset it wants? 10:46:37 GK: two deployments.. one is a SPARQL endpoint that fronts a bit of data - the second is a general engine where you can load data and then query it 10:46:47 ivan: then we have a different problem.. if we have a URI against a RDF resource 10:46:58 ivan: give me those SPARQL endpoints that can query that resource 10:47:05 Q? 10:47:08 ivan: not something this group can standardize 10:47:16 + +1.781.899.aabb 10:47:23 pgroth: down to a lightweight service description - if Graham agrees with this 10:47:28 pgroth: as the PAQ man! 10:47:54 pgroth: to decide what that API/protocol should cater for - we currently have two .. descriptions 10:48:02 pgroth: one gives provenance info, one that gives (?) 10:48:05 pgroth: resource view of the world 10:48:14 pgroth: dereference 10:48:25 GK: discovery of provenance, provenance service endpoints 10:48:33 GK: context is a bit off.. 10:48:37 Q? 10:48:42 GK: simple case is focus on discovery of provenance URIs 10:48:48 GK: would be happy if that is as far as I go 10:49:02 GK: provenance URI is something you dereference to get the provenance 10:49:13 GK: it's a URI you dereference that gives 'a' provenance resource 10:49:39 pgroth: what has been asked is - if we go for this - do we allow (not define) extending that so you can make sure the client can say 'Don't vive me everything' 10:49:57 smiles_: in the API call.. if the rquest says "Give me provenance of this" - what is returned is the provenance URI 10:50:13 ivan: Admin issue - Sandro is on the call - understands Paul but noone else 10:50:17 I skyped in via Daniel. 10:50:27 much clearer than the telecon phone. 10:51:00 can you hear us better now? 10:51:17 Sandro: Mainly using the IRC track 10:51:17 Q? 10:51:27 Ivan: pgroth will call in on the other line to see if it works again 10:51:27 telecon phone is only useful for knowing the speaker, not what they are saying. 10:52:46 smiles has joined #prov 10:54:09 Luc: provenance-uri does not work for me.. say I found a resource, a provenance URI 10:54:13 Luc2: find with how we find it 10:54:22 You could directly use Skype, maybe thats better 10:54:36 Luc2: I download the provenance.. dereference.. then I navigate my grpah and find "Oh, there is an edge, activity mentioned in here" 10:54:48 Luc2: then I have a provenance URI..(?) 10:55:00 GK: so you go back to the same step with the new URI 10:55:02 My ID is cirq-kai, if you want to give it a try 10:55:18 ivan: you have an URI, that is a resource, you go and ask for the provenance of that URI 10:55:28 ivan: so in linked data, you find out what's there, and that's how you expose it 10:55:54 Luc2: talkinga bout prior art.. some prior art that is not (?) (?) 10:56:02 Luc2: no prior art covered by this usecase 10:56:24 Luc2: a protocol for provenance addresses, resolves this 10:56:28 ivan: what does that mean? 10:56:37 pgroth: what you might want to do is that there is some provenance-service 10:56:43 pgroth: you pass it an identifier.. 10:56:43 dgarijo has joined #prov 10:56:50 ivan: "Some provenance information" is vague to me 10:57:01 pgroth: in these protocols.. if you say some query 10:57:10 pgroth: now I don't think we can define that provenance query language 10:57:11 Zakim, who is on the phone? 10:57:11 On the phone I see [VrijeUni], tlebo, [IPcaller], Sandro 10:57:27 pgroth: however we can define the protocol to say that here's a URL - give me provenance for that 10:57:34 ivan: but Luc does not like that? 10:57:48 pgroth: but you can extend that with non-standard service-specific query mechanisms if I want to 10:57:58 pgroth: two ways - linked data approach, dereference data information - get something back 10:58:04 pgroth: look through.. clear provenance service 10:58:30 pgroth: give me information about this URI.. browsing through provenance info.. and then I know it's a provenance service, I could try to use the same with the other URI 10:58:45 ivan: so an extension point in the sysstem, where you cut put any query language, or SPARQL, or anything as additional thing 10:58:57 Luc2: but people implementing this, visualisation of PROV information 10:59:08 Luc2: javascript code, accessing bits of PROV information, visualising 10:59:27 Luc2: I want my browser to be able to interact with the provenance provider and retrieve what is needed 10:59:46 ivan: if the provenance provider also has a SPARQL endpoint, this can be handled, get back a URI, get a SPARQL query.. throw it in 11:00:12 Luc2: the provenance service COULD be a sparql endpoint 11:00:15 (How can you tell?) 11:00:33 GK: given an entity URI.. don't try to provide.. access to ..(?) 11:00:52 Khalid: Given URI or place.. where provenance information might be.. (?) 11:01:02 khalidbelhajjame: but not trying to say which SPARQL endpoint...? 11:01:20 khalidbelhajjame: we are not trying to return to the user with SPARQL enpodint that provides access to the entity that the user is (?) 11:01:31 khalidbelhajjame: you started discussion with (?) how to access provenance 11:01:43 khalidbelhajjame: the user has an entity, represent and entity, you can find entity in this URI.. (?) 11:02:06 khalidbelhajjame: if you want to query only parts of the provenance.. then you could use SPARQL - but given an entity URI we need a way to find which SPARQL endpoint that gives access to that 11:02:08 what is the current concern? that the two options in PAQ are too much, or that it is inadequate? 11:02:11 khalidbelhajjame: but now we say that is outside the scope 11:02:19 khalidbelhajjame: but now we return back to this.. 11:02:22 q+ 11:02:24 q? 11:02:36 (Alas, I can't hear the discussion, but one solution might be to provide access to the graphs an endpoint knows about, and have those graphs provide Link headers pointing to the endpoint.) 11:02:45 Zakim, what time is it there? 11:02:45 I don't understand your question, tlebo. 11:02:50 pgroth: we lost 30 minutes before this started 11:02:57 (that way only clients who know SPARQL needs to know SPARQL.) 11:02:58 it's 12:00 here 11:03:00 it is 12:00 11:03:01 pgroth: need a resolution on what we need to look at - bu tnot just look at it 11:03:18 pgroth: a sheet is shown 11:03:19 Q? 11:03:32 @Sandro: Can you use Skype? Call me or someone else on Skype, thats better. 11:03:40 GK: 1) Discover provenance URI from the resource provider. Link: etc 11:03:50 ^^ from HTTP header 11:04:00 ... 2) Locatiing provenance information via a 3rd party service -- Provenance service 11:04:13 GK: difference is that 1) is that the resource provider knows about, 2) is independent service 11:04:33 GK: 3) Using SPARQL to query provenance - more Best Practice side - not anything about discovering SPARQL endpoint 11:04:40 pgroth: so we should drop 3 or move 3 out 11:04:44 ivan: it's just informative 11:05:01 pgroth: think we should focus on 1 and 2 - explicit 11:05:09 pgroth: MAke it.. this is a protocol 11:05:16 pgroth: it is not defined as such 11:05:32 pgroth: WSDL option, pattern option etc.. just decide on one and talk about it 11:05:43 GK: also decide what scope is. Here in 2) scope is a bit wide 11:05:54 pgroth: should just say 'Here is a provenance service - here's something for an entity' 11:06:09 pgroth: only constrait is that we make it open for extensibility - would solve Smiles' problem 11:06:24 pgroth: up to other people to define how to extend it - could be extended with filters etc 11:06:27 smiles: *(??) 11:06:38 smiles: In the HTPT header from provider you can say that a provenance service is here 11:06:47 pgroth: that's in scope - saying how to locate provenance service provider - that's 2) 11:06:53 pgroth: provenance-service headers 11:07:09 smiles: the provider can talk about 3rd party services? 11:07:17 luc: If he so wishes.. 11:07:20 q- 11:07:22 +1 11:07:40 Luc: So 3) SPARQL queries is just best practice 11:07:46 GK: yes, just says how to use what exists 11:08:23 Luc: And then saying that we are.. two different topics a) Defining a protocol - form and shape of protocol needs to be specified. b) Is about locating.. much what we have, with headers etc.. f 11:08:29 -[IPcaller] 11:08:32 GK: For resource providers to give location of provenance 11:08:39 -Sandro 11:08:41 pgroth: biggest is defining this proctocol 11:09:01 GK: biggest thing is coming to consensus about.. pure REST, part REST.. perhaps this is not the irght time for this discussion 11:09:04 Luc: Lunch discission? 11:09:21 q? 11:10:23 TODO: SUmmarise the decission above 11:10:29 We're trying to call in again now 11:10:44 my telecon phone went silent again. 11:10:50 PAQ discussion finished 11:11:11 (perfect timing -- PAQ was probably where I had the most expertise. Ah well.) 11:11:13 Zakim, who is on the phone? 11:11:13 On the phone I see [VrijeUni], tlebo 11:11:26 +[VrijeUni.a] 11:11:27 ============== I'll now paste in some chat log from earlier 11:11:30 2012-02-02 PROV F2F notes 11:11:30 ========================= 11:11:30 In practice, the application does not interpret the WSDL - but the user does. 11:11:30 pgroth: The REST API.. Banging on Yahoo's REST API.. look at URI templates, replace this with a parameter, 11:11:33 GK: This is not a REST API according to Roy Fielding 11:11:36 pgroth: But this is what the world does 11:11:38 Luc: What is the pragmatic solution? 11:11:41 Ivan: WSDL is independently form this coice.. you could also (ugh) build a SOAP interface to the same service. 11:11:44 GK: If we fix the form of the URI we are forcing a certain API. 11:11:46 Ivan: This is an option.. you use the URI of the resource, the return header, there is a reference to X... OR you use the REST API.. or you WSDL allows this - use the mechanism of well known URIs. 11:11:50 Ivan: There is an RFC that says "This is the way you can construct a well known URI. This group can propose that" 11:11:53 Pgroth: Between the WSDL solution and well known URIs.. not good for our case. In the politics, people who have set up provenance services, they have all kinds of .. "ugly" URIs. 11:11:53 +1 @GK - uri templates are bad REST practice. 11:11:56 Ivan: that means that.. not advodating here - that means mechanism itself of putting a provenance on a sort of URI that is related to the other URI - if this is true, then the mechanism widely used - is not interoperability - we can propose somethin that uses same approach, but standardize it. We can register the well-known-URI pattern with the IETF. 11:12:01 GK: My proposal allows you to encode this practice.. 11:12:04 Ivan: Keep the old one, keep a redirection.. still a case. 11:12:06 GK: A tension that is putting wind behind the URI Template stuff. 11:12:09 Luc: How can we move forward? 11:12:11 Pgroth: Would argue for.. 11:12:12 +Sandro 11:12:14 Luc: SQL query would be different, but could still be a provenance service 11:12:16 GK: If we define a protocol we need to scope it.. These are the thins we do.. There are options. If we try to say, this is what we recommend. Then we n 11:12:19 Ivan: The scope of this WG should only be 'How to get to the provenance information' Full stop! 11:12:20 @tlebo: I understood templates to be *good* REST practice 11:12:22 GK: That's what I initially wanted 11:12:25 Ivan: Anything beyond that is not scope of WG. SPARQL or what not. How to get it! 11:12:27 GK: How to get it from several starting points. 11:12:30 GK: You might have URI for your source.. how do you get provenance from the provider of that resource. that's where Link: etc came in. 11:12:31 @pgroth, describe your URI template filling in some "service description" and I'd be fine with it. 11:12:33 GK: then other requirements, third-party provenance. Other people provide thrust-assessments about your data. 11:12:33 -Sandro 11:12:36 Ivan: HTTP header is not restricted to the same URI? 11:12:36 They allow the client to follow information provided by the server. 11:12:38 GK: But you need to know where to start. Provenance service came in here.. 11:12:41 Pgroth: Where do you get provenance from.. In many cases, if you look around what people who have done provenance, most if it stuck in some Provenance Service. Another way to do so is like in Dublin Core - just have a little graph/document that describe some provenance. 11:12:45 Pgroth: Put it in a service - then you need to say "Hey, service, I am interested in provenance about X" 11:12:48 Pgroth: And most services provide you a way to query to not get the provenance of the world. But there is not a single well-defined way to do so. 11:12:51 Pgroth: We should just say here's where you get some provenance. If it is in a document, related resource, you can go straight to it. 11:12:54 pgroth: just being pedantic. 11:12:56 SmileS: what's relation between the API and a SPARQL query. If I get the resource.. what does that mean? 11:13:00 Pgroth: One thing we might say is, we need a query language.. we have a draft query language.. we come up with some patterns on how to use SPARQL to query, but that's only an informative thing. 11:13:01 Sure, you ned to know where to start, but that'simp;licit in REST. 11:13:04 SmileS: So does it need sparql in the API? 11:13:06 Ivan: No, not int he API. The Service either gives me a whole graph - and I can do what I like with the graph. Outside scope. Or I get an URI to the provenance information. 11:13:09 Ivan: I can use that URI in a SPARQL service. In any case the query is done on the .... might be a different SPARQL engine. 11:13:12 Pgroth: Does not ..(?) 11:13:15 SmileS: so what you get back from the API is.. 11:13:17 Pgroth: Provenance information 11:13:20 Smiles: Representation or URI? 11:13:21 q+ 11:13:22 Pgroth/Luc: We need to decide on that. 11:13:25 ================= END OF PASTE 11:13:27 (those are from various points above that needs to ve moved around) 11:13:30 Luc: Two questions 11:13:32 Luc: For the primer - what are the next steps, what do we need to continue 11:13:35 TOPIC: Primer 11:13:37 smiles: two thins that we thought would need to be done 11:13:40 smiles: fill in missing parts - DM things we want to introduce in primer 11:13:42 smiles: some impression this morning that we keep things breef - use Turtle in examples 11:13:45 smiles: if we're happy with that we stick with that 11:13:48 smiles: the reason we have not progressed.. PROV-DM and PROV-O differences - those need to be matched up 11:13:51 smiles: had to raise issues on PROV-O for those 11:13:53 smiles: derivation, notes.. assocation with.. alternateof, specialisationof, account 11:13:57 smiles: some of these controversial 11:14:02 smiles: longer term - primer should make sure communities that are to read the documents would all be compatible with it 11:14:14 smiles: how to start with the document - now i takes some lines of starting up.. entities attributes 11:14:25 smiles: but if people are just citing things.. is it easy for them to pick up and use? 11:14:33 smiles: workflow people, how do we address those? 11:14:37 smiles: pathways through documents 11:14:48 ivan: q+ 11:14:52 q+ ivan 11:15:04 q? 11:15:06 q- ivan 11:15:14 ivan: this is the first doc I Read, and i understood it 11:15:20 ivan: my comments are minor - like 11:15:32 ... bothered my why you use namespace ex1 11:15:37 ... in my mind I dropped 1 11:15:38 Paolo has joined #prov 11:15:44 smiles: the reason was that there might be more than one example 11:15:52 smiles: one example to show everything.. and to not confuse it 11:16:04 ivan: thins you define as entity.. is not anywhere else, like article 11:16:19 ivan: when I made my own drawings.. for me, when I have an activty, it's an active thing 11:16:25 ivan: for me the natural thing of that is to use a word 11:16:33 ivan: you use aggregated - and i use aggregate 11:16:44 smiles: in concern using provenance.. you can describe arbitrary processes 11:16:46 Q+ 11:16:52 smiles: what provenance is used for is the *past* - so past tense 11:16:59 ivan: it's a personal thing.. 11:17:06 q? 11:17:11 ivan: that's how I hit these huge predicate names in PROV-O 11:17:16 ivan: prov:wasGeneratedBy 11:17:27 ivan: on a diagram it does not look good 11:17:40 ivan: found section on revision and derivation very shallow 11:17:46 ivan: could follow everything before that 11:17:54 ivan: wasEventuallyDerivedFrom 11:18:04 smiles: it's still being developed by the other task forces 11:18:05 smiles: agree 11:18:13 ivan: abstract notation.. skipped that 11:18:13 Luc has joined #prov 11:18:21 ivan: different discussion 11:18:40 ivan: easily, in terms of figures.. an RDF Graph with part of that in the primer would be helpful 11:18:48 q? 11:18:50 ivan: the diagram that you put up in the beginning section 2 11:18:54 ivan: is a copy of th eone in DM 11:19:06 ivan: bu tnot sure if you use the terms in the diagram in the rest of the example.. 11:19:13 Luc: synchronization issue 11:19:24 ivan: does not need a full diagram of ontology in primer 11:19:27 q? 11:19:37 smiles: is the overall what you expected from a primer? 11:19:44 ivan: yes, this was my entry point 11:19:48 ivan: I can use these diagrams 11:19:53 ivan: works very well 11:20:04 q+ 11:20:11 ack paol 11:20:18 Paolo: Question was if diagram or graphical notation explains some things 11:20:21 Paolo: what notation to use 11:20:30 ivan: I would do RDF graph - examples are in turtle 11:20:48 Paolo: my original point - if I give this to half my colleagues - they would be happy to see this as technology/notation independeny 11:20:54 Paolo: RDF all over the primer might scare.. 11:21:12 Paolo: important tha tthis is the first dive in.. then not alienate people who are not interested in RDF 11:21:17 ivan: ok, so part of overall discussion 11:21:28 ivan: other possibility is to do what OWL primer does.. with the buttons 11:21:49 ivan: if I look at OWL primers I always click Turtle syntax - but friends of mine probably clicks Manchester syntax 11:21:53 q? 11:22:00 pgroth: agree on this 11:22:18 pgroth: if other syntaxes like XML-native, JSON come up.. they can fit in 11:22:29 ivan: ok, then even RDF/XML if you really want to 11:22:50 pgroth: a graphical notation in OPM 11:22:56 (?) 11:23:09 Luc: not notation, illustration 11:23:17 pgroth: illustrate graphically provenance 11:23:19 Is this discussion of using ASN a first consensus point to test our earlier discussion. Is this group trying to be technology-independent, or are we defining a specification for the Semantic Web? 11:23:43 q? 11:23:44 kai has left #prov 11:23:44 pgroth: (..) or are we trying to just put data as RDF and produce figures? 11:23:57 kai has joined #prov 11:24:14 ivan: could look at diagram at file:///home/stain/src/provenance-wg/prov/primer/Primer.html#intuitive-overview-of-prov-dm and think of it as RDF 11:24:28 ack pgr 11:24:29 ivan: there is not standard RDF Graph notation.. but if I add some kind of typing 11:24:36 ivan: and from the shape I see it's an activity, agent, etc 11:24:42 ivan: then I have some kind of notation that is understandable by others 11:24:54 ivan: type information info RDF graph - explicitly, obscures everything 11:25:01 smiles: Does it have to be fixed to th eRDF graph 11:25:20 smiles: like in PROV-O some thins are more complicated then thay need to be in a diagram - wher eyou ahve n-ary relationships 11:25:46 ivan: perhaps same technique of syntax switching can also be used for graphics 11:25:53 Stian: but it's hard enough already to update the diagrams 11:26:02 Paolo: was just meant like a classic ER diagram 11:26:14 Paolo: I would support the idea of a suggested graphical illustration 11:26:17 Paolo: first thing people do.. 11:26:24 Paolo: pictures on slides, etc 11:26:29 Paolo: suggest at least 11:26:39 Luc: Graphical illustration.. we do not mean that kind of picture 11:26:50 Luc: We mean an instance of a graph 11:26:54 Luc: PROV-DM has something like that 11:27:23 ivan: but then it can be correct.. I can look at the picture.. if it's a circle, then it's not just a resource, but with some type information 11:27:27 ivan: that would be perfect 11:27:42 Luc: some edges in this illustrations are not properties 11:28:01 Luc: like wasGeneratedBy or Used might be an instance 11:28:03 @luc, they are predicates 11:28:07 Paolo: it can have additional elements 11:28:13 their qualified forms are classes. 11:28:19 Luc: it was used.. 11:29:06 smiles has joined #prov 11:29:34 http://dvcs.w3.org/hg/prov/raw-file/tip/model/ProvenanceModel.html#graphical-illustration 11:29:50 q? 11:29:50 pgroth: so an illustration of the graph should be easily represented as RDF 11:29:58 Paolo: 10 people doing same graph in different ways 11:30:03 Luc: we should as a WG be consistent 11:30:09 ivan: so not take my slides public..? 11:30:19 Luc: Oh, that's fine, but not in the PROV document 11:30:28 ivan: these slides people will copy! 11:30:40 q? 11:30:49 ivan: my picture is just ovals in colours - would not work in generral! 11:31:00 @ivan can we have a sneak-view of this..? :) 11:31:08 Paolo: illustration of different perspectives 11:31:17 smiles: if we can stick at one example, that is a good thing, makes it simpler 11:31:30 smiles: why we though we need more than one example, is that it might be contrived to fit every concept into the same example 11:31:33 q? 11:31:38 +q 11:31:46 Paolo: might flow into Best Practices document with several examples 11:32:05 dgarijo: I see that you use the QualifiedInvolvement in the example, but not talk about it in the primer 11:32:06 q? 11:32:09 smiles: See what you mean 11:32:10 ack d 11:32:17 +q 11:32:18 smiles: as PROV-O has changed duing development 11:32:22 q+ to ask if the focus on one example fits well with the focused examples used for specific points 11:32:29 dgarijo: can be confusing with class vs. property 11:32:29 ack kh 11:32:39 khalidbelhajjame: Notion of role in the primer? (???)( 11:33:11 Stian: yes, roles have become downplayed for general attributes later 11:33:19 (We had EntityInRole rather than QualifiedInvolvement) 11:33:46 smiles: roles were more explicit before, now evolved with various qualifications 11:33:58 khalidbelhajjame: perhaps it's best to keep it, explain roles which are more important (?) 11:34:07 smiles: add something about roles being just one way to qualify 11:34:22 ack gk 11:34:22 GK, you wanted to ask if the focus on one example fits well with the focused examples used for specific points 11:34:30 GK: about single example.. was impressed with how the examples were introduced 11:34:32 @stian, which shifted from describing the (EntityInRole) more characterized Entity to describing the (QualifiedInvolvement) triple between the Activity and the Entity. 11:34:36 GK: if we force it to single example we might loose this! 11:34:46 GK: so push this to make sure we keep the simple ocus in incremental development 11:34:53 ===Lunch has arrived 11:34:58 with 3 freeriders 11:35:03 (?) 11:35:18 smiles: point is that focus on common relations.. properties.. wassummaryof etc 11:35:26 smiles: thinking of document from librarian perspective 11:35:42 smiles: record of activities.. make you start to read, see if this is relevant to me 11:35:48 smiles: so both kind of communities are encouraged 11:35:49 q? 11:36:32 smiles: last release in January.. suggests that in 6 times for something that addresses different communities.. on the way changes with intermediate releases to keep up to date 11:36:39 ivan: so primer is a Note? 11:36:43 Stian: yes, informative 11:37:10 Luc: if we simplify DM.. then alignment iwth primer is important - it's the first entry point - we should pitch it like that 11:37:27 Luc: so it must be align with our changes -b ut can be incomplete and say not cover collections 11:37:45 Luc: but if core thins change, then we must update primer 11:37:55 smiles: so instead of primer folks lagging behind.. 11:38:02 smiles: treat it as a change request (?) 11:38:14 Luc: align with milestones of DM and O 11:38:20 Luc: even if not 100% synced 11:38:36 smiles: if PROV-O is finished 1 week before deadline, we need to know what is updated or not 11:39:15 Stian: so it's good with cross-taskforce mixing here, like myself is in PROV-O and Primer - Paolo is in DM and Primer 11:39:30 35 minutes for lunch? 11:39:34 thx 11:39:43 MEETING ADJOURNED UNTIL 13:15 GMT (~35 mins) 11:39:49 s/GMT/CEST 11:39:53 MEETING ADJOURNED UNTIL 13:15 CET (~35 mins) 11:41:02 -[VrijeUni.a] 12:16:52 kai has joined #prov 12:17:18 smiles has joined #prov 12:18:27 jcheney has joined #prov 12:18:45 Polo has joined #prov 12:18:58 TOPIC: Best practic edocument 12:19:00 Paolo has joined #prov 12:19:12 we will try to talk again 12:19:22 try to phone in again 12:19:26 -tlebo 12:19:28 TOPIC: best practice 12:19:35 Scribe: Paolo 12:19:40 Luc; what should be there? 12:19:46 GK has joined #prov 12:19:53 GK1 has joined #prov 12:19:54 should SPARQL queries be best practice? 12:20:02 Stian: started writing a section on serialization 12:20:03 +tlebo 12:20:47 dgarijo has joined #prov 12:21:02 Luc: but is this part of PROV-O instead? 12:21:12 Daniel: all examples from PROV-O have been placed in the BP 12:21:39 http://dvcs.w3.org/hg/prov/raw-file/tip/bestpractices/BestPractices.html 12:21:57 Luc: should be connected to interoperability problem 12:22:27 Stian: BP is a good place for some limited hints at interop 12:23:03 Paul: BP should clarify for example the kind of reasoning that one is expected to be able to understand 12:24:07 Paul: interop is not a proper BP issue 12:24:49 Paul: examples of BP: working with DC, working with OpenID, working with Creative Commons 12:26:03 Kai: DC is directly related in describing the provenance of things 12:26:37 Paul: it's about clarifying the relationship b/w DC terms and PROV terms 12:27:57 Paul: create mappings to that translators can be automatically built 12:28:18 Kai: fine, and volunteers to take responsibility to work on these mappings 12:28:28 Daniel joins in! 12:28:34 and Simon joins, too!! 12:28:46 and Graham!!! 12:29:18 Kai: can we have some initial examples to bootstrap the process 12:29:24 Action: kai to bootstrap dc best practice 12:29:25 Created ACTION-53 - Bootstrap dc best practice [on Kai Eckert - due 2012-02-09]. 12:29:28 q+ 12:29:52 Khalid, Daniel: example mappings to SKOS exist and can be used as examples 12:30:08 Luc: what are the scope and objectives of this activity? 12:30:29 GK: start with illustrative mappings initially 12:30:41 Simon: simpler DC -> PROV 12:32:06 Ivan: practically, some of these mappings should belong in the PROV-O ontology 12:32:45 (that is, if the mappings are simple and just involve subClassOf etc.) 12:33:12 Luc2 has joined #prov 12:33:41 Ivan: whenever these mappings are clear and OWL-expressible, they should be put in PROV-O 12:36:33 +[VrijeUni.a] 12:36:48 meeting room is back on zakim 12:37:23 Luc: need expectation management -- be realistic wrt timeline 12:38:04 Luc; having mappings is a nice proposition but it may be beyond what we can achieve realistically. Start small initially, then reassess 12:38:40 Paul: need someone to drive the creative commons effort 12:38:57 Q? 12:39:23 I've added a template section 2 for Kai et al in http://dvcs.w3.org/hg/prov/raw-file/tip/bestpractices/BestPractices.html 12:39:44 Kai: from the Connection TF POV, connections should be established with CC people. Awaiting the results of this meeting before we can engage them so we have a concrete baseline for collaboration 12:40:36 Paul: idea still valid but to be postponed until last WD, before last call 12:40:44 Luc: to be revisited after WD5 is out 12:42:01 Kai: only engage people when we know we have a real chance 12:42:18 Q? 12:42:29 Ack I 12:42:52 Paolo: what do you mean by retorical structures? 12:43:11 Paul: engaging HCLS group on "rethorical structures" (SWAN etc.). keen on identify provenance issues 12:43:40 Paul: wil talk to them before end of Feb., using the primer 12:43:44 Q? 12:48:15 Khalid: is there a place in the doc suite when you can go deeper into some topics that have been determined to be not mature enough for PROV? 12:48:35 Luc: not precluded but no requirement in the charter to do that 12:48:36 smiles has joined #prov 12:49:17 Luc: any need to have a collections-howto in the BP? 12:49:25 Stian, Paolo: yes 12:50:26 Stian, Paolo to contribute such examples 12:50:57 Q? 12:51:40 dgarijo has joined #prov 12:52:45 initially to go into the BP doc 12:53:04 Luc: is BP a single doc? 12:53:38 or should it be modular 12:53:58 ivan: a note has no constraints on form 12:54:45 kai has joined #prov 12:55:00 no formal publication, it can be a web page but careful as it has to be maintained past the end of the project 12:55:28 Ivan: the SW wiki can be used to maintain live examples over time 12:56:10 Paul: good to have some "stamp" on the examples so that's a good technical solution 12:56:23 Ivan: so use the WG wiki to develop, then migrate to SW wiki 12:59:19 Luc: the current "best practices" doc is currently an extension of prov-o, it should be made to stand on its own 13:00:00 so we will dismantle http://dvcs.w3.org/hg/prov/raw-file/tip/bestpractices/BestPractices.html and use mainly wiki pages (sparql example, collections) and separate notes (Dublin Core, ontology extensions) 13:00:08 hello 13:00:39 I'm on Zakim 13:00:48 Zakim: who is on? 13:00:51 Zakim, who is on? 13:00:51 I don't understand your question, Stian. 13:01:03 Zakim, who is on the phone? 13:01:03 On the phone I see [VrijeUni], tlebo, [VrijeUni.a] 13:01:27 TOPIC: PROV-DM 13:01:46 Q? 13:02:04 Paul chairs 13:02:28 Paul issues on identifiers should be addressed in a pragmatic way 13:02:55 Paul: need to avoid corner cases 13:03:07 q? 13:04:00 Luc: issue: {entity, thing, attributes, identifiers}. not specific to PROV-DM, see Paul's blog example 13:04:20 http://www.w3.org/blog/SW/2011/10/23/5-simple-provenance-statements/ 13:04:49 Luc: first issue to address here; account. 13:05:47 Luc: prime use for accounts is provenance of provenance 13:07:13 Luc: initially accounts were meant to express provenance of provenance (PoP). When written in prov-dm, the concept became broader 13:07:53 Luc: provenance of accounts not ready for std because of outstanding issues, 13:08:04 however PoP req. can be addressed 13:08:09 q? 13:08:19 do we need provenance of provenance accounts, or provenance of individual provenance records? 13:08:41 My view: if the sole requirement is provenance of provenance, then I don't think account is needed. I thought the requirement was to capture and compare differing accounts of the same process, and enable some level of reasoning over this different accounts. 13:08:43 the second one is the hard one - first is the easy (GK) one 13:08:43 @Stian the latter 13:08:47 +q (Is the ability of expressing provenance of provenance the only thing that motivated the notion of Account ?) 13:09:42 I thought account was essential to different views and different granularities of what has happened 13:10:32 +1 @stian 13:10:44 (Provenance of individual provenance records: this sounds a bit like the old discussion of RDF reification vs named graphs) 13:10:48 Luc: propose to discard account records and just assume there is a mechanism for naming a "bundle of assertions". The specification of such mechanism is out of scope for us 13:10:52 and different entity characterisations 13:10:56 @stian me too 13:11:01 @Stian: +1 13:11:33 naming "bundle of assertions" sounds reasonable (and seems to agree with the 4 +1s here) 13:11:51 Luc: with this, we won't be able to express many things related to accounts, these will not be addressed 13:12:00 q+ 13:12:02 Luc: the very name "account" could be dropped 13:12:30 q? 13:12:31 q+ 13:12:40 Q? 13:12:41 q+ 13:12:42 +q 13:12:43 ack smiles 13:13:26 Simon: supportive of proposal. But useful cases include granularity of provenance, should something be put in the best practice doc, or elsewhere? 13:13:29 q+ to say re proposal, I think we can be even simpler: provenance is a resource, and hence the same mechanisms for ascribing provenance apply 13:14:22 I think tlebo has done a rdf reification meta-provenance example 13:14:29 but that's quite RDF-specific of course 13:14:40 (which example?) 13:14:42 no? 13:14:53 you do so many cool things I thought you had ;) 13:15:06 Actually I did that ;-) 13:15:12 I haven't written an example in my life. 13:15:31 @kai, link? 13:15:41 what do we want to do? 13:15:44 Luc: "finding the provenance of X in this account" is still a requirement. 13:16:12 Paul: there is prior art from OPM but not enough to standardize it. 13:16:18 q? 13:16:22 ack kai 13:16:27 what is "it" that we want to do? 13:16:29 Simon: just be careful we don't prevent this from being addressed/added later 13:16:46 ?? ""finding the provenance of X in this account" is still a requirement." is this a recursive requirement for accounts? 13:16:54 q? 13:17:24 Kai: agree we don't need accounts. in DC there is a "description set" that contains statements 13:17:33 @tlebo is this not an example? http://dvcs.w3.org/hg/prov/file/7f0d26e48556/ontology/examples/ontology-extensions/commerce/commerce.ttl disagrees 13:17:39 (not reification though) 13:18:07 but there is still a need to name a bundle of records. it may or may not be an "account" 13:18:42 q+ 13:19:09 Kai: there is a risk of creating something that cannot be implemented using the current RDF 13:19:12 can accounts/bundles/ex overlap? Kai mentions an account 'for provenance of X' - then it might overlap (but not completely) with 'provenance of Y' 13:19:22 @paolo sure. This is actually what we (Wf4Ever) are doing for annotations in ROs. It's just being able to distinguish resources. 13:19:47 smiles has joined #prov 13:19:50 Luc: not clear that we need named graphs 13:20:03 ack Stian 13:20:09 ack khalidbelhajjame 13:20:12 @GK: sorry that was the continuation of Kai's note... not my own! 13:20:15 Q? 13:21:10 Using reification for metametadata: http://dcpapers.dublincore.org/index.php/pubs/article/view/973 13:21:15 Khalid: is PoP really the only requirement? should it include "is this set of assertions consistent as a whole?" 13:21:33 (I just missed the last few minutes) 13:21:42 no more NGs? 13:21:57 Luc: but that can still be done, having identified a bundle. does not require an account record in the model 13:22:12 ack GK 13:22:12 GK, you wanted to say re proposal, I think we can be even simpler: provenance is a resource, and hence the same mechanisms for ascribing provenance apply 13:22:48 dgarijo has joined #prov 13:23:03 GK: if we only need PoP then there is no need for accounts. other req is granularity/different perspective. For time reasons, we can defer the latter 13:23:21 GK: but if possible, it's a useful requirement to include 13:23:42 +1 "no need for accounts", as long as we keep "provenance" as a resource that is a "bundle of statements". 13:25:07 q? 13:25:32 ack ivan 13:25:32 Kai: the resource that represents a bundle of provenance assertions, can that be assigned a class, and wouldn't it be an "account"? 13:26:31 q+ to say I don't think this is ACTUALLY DEPENDENT ON RDF GROUP " - named graphs" ... 13:26:33 Ivan: warning -- named graph discussion in the RDF group is still ongoing, but it's not advisable to build any dependency to it in PROV 13:27:26 q+ to say that we can use sd:NamedGraph (sd:name sd:graph) for what we need. We don't need RDF 1.1 wg b/c they need to reconcile with the same (now closing) SPARQL 1.1 spec. 13:28:34 ack GK 13:28:34 GK, you wanted to say I don't think this is ACTUALLY DEPENDENT ON RDF GROUP " - named graphs" ... 13:29:08 q+ 13:29:17 Q? 13:29:49 Tim: concurs that there is no such dependency 13:29:51 ack tlebo 13:29:51 tlebo, you wanted to say that we can use sd:NamedGraph (sd:name sd:graph) for what we need. We don't need RDF 1.1 wg b/c they need to reconcile with the same (now closing) SPARQL 13:29:54 ... 1.1 spec. 13:29:57 (cf. ORE) 13:30:47 Simon: agree that bundling does not require a provenance-specific concept 13:30:56 q? 13:31:00 ack smiles 13:31:50 Paul: PoP is clearly required, it's important to give a signal that it has been addressed 13:32:06 @pgroth +1 - yes, indeed, let ppl know it's possible without new mechanism 13:33:05 Paul: "a bundle of provenance" would be good enough 13:33:22 For "bundle of provenance" we could talk about "a provenance resource"? 13:33:31 q? 13:35:47 q+ to say I don't really mind about assigning the name "account" - it seems as good as any 13:35:49 q+ to ask if "nesting" bundles stays 13:35:56 q? 13:36:20 Q? 13:36:32 ack GK 13:36:32 GK, you wanted to say I don't really mind about assigning the name "account" - it seems as good as any 13:36:46 +1 keeping name "account" 13:36:51 ack tlebo 13:36:51 tlebo, you wanted to ask if "nesting" bundles stays 13:36:53 GK: do we need to name these bundles? 13:37:02 repeat 13:37:25 Tim: does nesting of bundles stay? 13:37:40 q+ to say that, for now, we say nothing about nesting. Not prohibited, not defined. 13:37:53 no 13:37:55 I think bundle is a better name than acocunt if we are only after expressing the provenance of a possibly random collection of provenance assertions 13:37:57 Luc: no 13:37:59 happy it's gone :-) 13:38:12 ack GK 13:38:12 GK, you wanted to say that, for now, we say nothing about nesting. Not prohibited, not defined. 13:38:23 GK: we are agnostic wrt nesting 13:38:42 (btw, one could "nest" themselves using void:subset) 13:39:49 (btw, one could achieve "nesting" in their own modeling by using void:subset) 13:39:51 Luc: why do we name it? 13:40:00 Kai: because people expect it 13:40:09 I lean to the idea that naming it makes it easier to discuss. 13:40:42 Kai: just define a new class that is unrelated to the rest of provenance. ProvenanceStatementSet? 13:41:10 q+ to say naming and defining a class are different issues... 13:41:40 why not just all it Provenance ? 13:41:46 s/all/call/ 13:42:20 Stian: isn't this a topic for PROV-AQ? 13:43:33 Luc: the "hasProvenance" property is not in -O or -DM, currently only in -AQ 13:43:45 q+ 13:43:45 ack GK 13:43:47 GK, you wanted to say naming and defining a class are different issues... 13:43:57 aq:hasProvenance is subproperty of dcterms:subject and inverse of foaf:topic . 13:44:02 GK: name and class are different issues 13:44:21 sounds like it is an 'outer' type for perhaps 'any' kind of provenance resource.. aq:hasProvenance [ a aq:Provenance ] - a prov:Account (if we need it) can be a subclass of aq:Provenance 13:44:31 which is PROV provenance or even PROV-O provenance 13:44:31 GK; in favour of former but against the latter 13:44:45 @stian, I like. 13:44:57 ack smiles 13:44:59 GK: risk of over-specification 13:45:28 q+ to ask of aq:hasProvenance is subproperty of dcterms:subject 13:45:54 http://dublincore.org/documents/dcmi-terms/#terms-provenance 13:46:08 yaay 13:46:12 our work is futile! 13:46:20 :D 13:46:23 (modulo the directionality...) 13:46:30 oh look, theres dcterms:created and dcterms:created as well 13:46:48 @tlebo is your question on this topic? 13:47:07 @pgroth, I guess the topic drifted. 13:47:11 http://purl.org/dc/terms/ProvenanceStatement 13:47:11 Label: Provenance Statement 13:47:11 Definition: A statement of any changes in ownership and custody of a resource since its creation that are significant for its authenticity, integrity, and interpretation. 13:47:12 ok 13:47:23 q- 13:47:57 Luc: issue of introducing a class can be postponed 13:48:49 an attempt to do meta-provenance with RDF reification: http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/metaprovenance.trig 13:49:01 notably I did not find a way to link an rdfg:Graph with an rdf:Statement - which sounds quite essential 13:49:01 Guidance to editors: revisit the document dropping the notion of account records and make it consistent 13:49:12 args 13:49:19 @Stian rdf:Bag! 13:49:46 q+ to suugest: add to guidance for editors that the description of this idea should be as simple as possible. 13:49:52 Luc: on "relationships across accounts" -- entity e1 described in account1 wasGeneratedBy entity e2 in account 2 13:50:25 if you want to relate two resources, assert a triple between them :-) 13:50:26 Luc: would still like to be able to say this but not enough prior art, so suggest to accept that it's out of sope 13:50:30 s/sope/scope 13:50:32 guidance to editors: not trying to express relations across accounts 13:50:51 smiles_ has joined #prov 13:50:53 q? 13:51:08 I think it was ProvenanceStatement class from DC I was thinking of 13:51:16 +1 cross-accounts is out of scope (I'll just handle it with RDF) 13:51:27 +q (So entities may exists without being associated within an account) 13:51:46 that's q+, khalidbelhajjame :) 13:51:51 ack khalidbelhajjame 13:51:54 ack GK 13:51:54 GK, you wanted to suugest: add to guidance for editors that the description of this idea should be as simple as possible. 13:51:55 @smiles: Yes, but that's just the range of dct:provenance, not something like the bundle that we had in mind. 13:53:02 q+ to say I think we're confusing the language with the domain again 13:53:21 [ dcterms:description "I have a blue shirt on. I hit Joe yesterday. He has a bruise today."; rdf:type prov:Provenance ] . 13:53:48 ack GK1 13:53:48 dgarijo has joined #prov 13:54:04 ack GK 13:54:04 GK, you wanted to say I think we're confusing the language with the domain again 13:54:53 Luc: second issue 13:55:05 @kai OK, but Im not sure I see the difference, really. arent they just 'data describing the provenance'? Probably not an important matter, anyway, except maybe for the mapping to DC 13:55:46 Luc (sorry) about identifiers 13:56:29 flip chart: :post prov:wasAttributedTo :Paul 13:56:30 q? 13:56:30 am I flipchartless? 13:56:35 post wasAttributedTo Paul 13:56:36 @smiles: probably just some text, if people are using it. But could become interesting if it could be used to point to PROV data. Will have a look at it in context of the mapping. 13:56:38 I turtlized it 13:56:47 @Stian flipchart real time scribing! 13:56:57 http://www.w3.org/blog/SW/2011/10/23/5-simple-provenance-statements/ 13:57:21 @ivan dont' forget the @prefix defs. 13:57:26 jun has joined #prov 13:57:53 @prefix ex: @prefix prov: @prefix foaf: ex:post prov:wasAttributedTo ex:Paul. ex:Paul a foaf:Person. 13:58:08 Zakim, turn off these smiley faces. 13:58:08 I don't understand 'turn off these smiley faces', tlebo 13:58:11 Paul: central problem is: describing provenance is solvable if we are allowed to mint new IDs whenever we want 13:58:47 Paul: but we have an obligation to use existing IDs for existing resources 13:58:50 but we have specializationOf! 13:59:02 Paul which makes it complicated 13:59:03 Where's this requirement? 13:59:03 and alternateOf 13:59:32 @Tim I suspect those are in the endangered list... 14:00:08 Luc: reusing a URI not enough anyways, because we want to identify specific perspectives on the resources 14:00:16 q+ 14:00:23 +1 Luc 14:00:43 Luc: concept of {entity, thing, attributes} not well defined 14:00:45 identifyied specific perspectives can be associated to their less specific things with speicalizationOf 14:01:30 q? 14:01:32 q+ to say the notion of entity is not *completely* defined, but I think that's OK. But maybe we can duck the issue and approach it from a best parctices for dynamic resources angle. 14:01:40 Simon: should the example ":post prov:wasAttributedTo :Paul" be augmented to highlight mutable resources, ie., the blog was later edited 14:02:02 ack smiles_ 14:02:37 Ivan: time was spent yesterday in the RDF group on mutability of URI-identified resources 14:02:50 ack GK 14:02:55 GK, you wanted to say the notion of entity is not *completely* defined, but I think that's OK. But maybe we can duck the issue and approach it from a best parctices for dynamic 14:03:00 ... resources angle. 14:03:31 a "mutable URI" is actually THREE URIs. Two that are prov:specializationOf a third. 14:03:39 a "mutable URI" is actually THREE URIs. Two that are prov: specializationOf a third. 14:03:42 :account1 can say something else about :post than :account2 - and :account2 might be the same provenance resource retrieved 2 days later 14:04:03 the problems have then moved to identifying those accounts .. 14:04:08 GK: we can duck the entity mutablity issue, by ways of best practices i.e., adding timestamps to provenance statements 14:04:20 Ivan: these issues are not provenance-specific 14:04:27 +q 14:04:33 memento URIs, tag URIs as well 14:04:36 q? 14:04:56 ack khalidbelhajjame 14:04:57 Ivan: re dynamic resources and provenance "the group knows there are issues, but these are not provenance specific" 14:05:18 luc can't identify the problem with identifying entities 14:05:19 @tim not sure prov:specializationOf is the right way to track mutability of resources 14:05:43 I think it's a straight forward way 14:05:57 q? 14:06:02 q+ 14:06:55 @paolo, I think specializationOf is the only way to make sense of Entity. 14:07:00 In : a prov:Entity, prov:Agent, foaf:Person; prov:specializationOf 14:07:03 tlebo: +1 14:07:13 s/#post/#Paul/ 14:07:43 we don't need timestamps etc - that is metaprovenance that can be expressed in the provenance of the entity 14:08:30 q+ to say I think we've just wandered into the same old weeds here... can't we just duck the issue initially by focusing on static resources, then explain (much) later how to deal with dynamic resources 14:08:39 q+ 14:09:13 ack GK 14:09:13 GK, you wanted to say I think we've just wandered into the same old weeds here... can't we just duck the issue initially by focusing on static resources, then explain (much) later 14:09:17 ... how to deal with dynamic resources 14:09:52 +q 14:09:57 GK OPMV got around the problem by assuming resources are static 14:10:01 @pgroth, blog posters don't care which level of specializationOf that they are talking about - which is fine until someone starts assuming that the Entity that they were referring to is at an incorrect level of characterization. 14:10:57 we're drifting up and down levels of specificity. If we just acknowledge that IT IS THERE and let people describe them (with specializationOf), we're set. 14:11:01 q+ to propse dropping entities *duck and hide* -> move it to best practice. 14:11:28 tlebo: +1 14:11:44 http://www.w3.org/TR/cooluris/ 14:11:51 kai: that's a logical conclusion from what we agreed in the morning! 14:11:54 first rule of Cool URIs.... You don't talk about Cool URIs. 14:12:50 one that has changed: 14:13:28 prov: specializationOf . 14:13:51 http://www.w3.org/Provider/Style/URI.html 14:14:42 and prov:alternativeOf (they have a common specialization which we haven't given a URI) 14:15:16 @stian but we *could* mint a URI 14:15:20 Luc writing: 14:15:25 entity(post) 14:15:33 @stian, my transcription hero. 14:16:12 entity(post, [ author="..", title="...", ??="..", time="..."] ) 14:17:01 he's pointing at 'post' in the last line - and the whole line 14:17:43 q? 14:18:03 Luc: conclusion is that we are actually identifying the resource, not the entity 14:18:07 luc wants owl:keys (compound keys) to identify two named things - which is very different from URI identifying 14:19:08 ack smiles 14:19:10 tlebo to get on the queue 14:19:51 Simon: agree with Tim and GK -- no particular problems. in the example, Post is a resource 14:20:36 q? 14:20:37 Simon: resources have implicit characterization -- minimally it's just identified by a URI, and that alone makes it an entity 14:20:40 ack khalidbelhajjame 14:21:07 smiles_: "...., a resource is an entity" 14:21:09 @smiles +1 14:21:47 we're drifting up and down levels of specificity. If we just acknowledge that IT IS THERE and let people describe them (with specializationOf), we're set. 14:21:53 MacTed has joined #prov 14:21:56 prov:wasAttributedTo . 14:22:08 but that's not true anymore - it's now attributed to the department of justice 14:22:22 however that's up to each account when/what they are talking about 14:23:11 @Stian timestamp, just add timestamps to the entity assertion 14:23:28 specializationOf, then I'll die happy. 14:23:31 q? 14:23:48 @stian isn't that what you do when you reference a web site by URL in a paper? "accessed on..." 14:23:59 smiles has joined #prov 14:24:12 q+ 14:24:17 Paolo: yes, just some metaprovenance.. it could contain as much or little as possible.. such as "The web page when downloaded on my Samsung Nexus phone using Firefox" 14:24:29 on saturday 15:02 from Uzbekistan 14:24:54 @paolo, I think the "accessed on" is a great example for how one is creating an Entity that is a specializationOf some more abstract Entity. 14:25:00 but then within that account you can't have two different entities with the same URI 14:25:15 @Stian now you're telling us too much... is Uzbekistan a friend country 14:25:15 q? 14:25:20 tlebo: and probably something that should be core to the web-bit of PROV.. like wasAttributedTo 14:25:36 the PAV ontology have a few things like that 14:25:38 dgarijo has joined #prov 14:26:02 Kai: to propose to drop "entity" 14:26:37 q+ to respond to Ivan - does this "characerized resource" (e.g. by time) have the same URI as tbe uncharactierized resource 14:27:42 -1. Entity introduces the important notion of "frozen characteristics", which is not provided by the current semweb. 14:28:04 I've always thought of prov:Entity as an rdf:Resource which is rdf:subject of some rdf:Statements - not the group of statements/attributes 14:28:13 tlebo: mmm 14:28:14 q? 14:28:17 Luc has joined #prov 14:28:38 q- I can't keep up with the in-voice pace. 14:29:32 Q+ 14:29:33 q+ we're drifting up and down levels of specificity. If we just acknowledge that IT IS THERE and let people describe them (with specializationOf), we're set. 14:29:38 Q+ 14:29:49 ack kai 14:29:49 kai, you wanted to propse dropping entities *duck and hide* -> move it to best practice. 14:29:56 tlebo: yes, as Ivan points out, it's a general RDF problem - but (I believe) we need it now 14:30:16 I might say: An entity is a resource or a specific characterisation of a resource 14:30:41 @tlebo +1 14:31:00 +q 14:31:02 @ivan, I think so. 14:31:07 ack Paolo 14:31:23 q+ 14:31:47 http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/metaprovenance.trig should be able to cover that (as long as the link between the prov:Account and rdf:Statement is a bit more obvious) 14:31:59 to identify entity records 14:32:43 (that one mints and #assertion2 ) 14:34:49 ack gk 14:34:49 GK, you wanted to respond to Ivan - does this "characerized resource" (e.g. by time) have the same URI as tbe uncharactierized resource 14:35:02 : tweet_1 prov:wasAttributedTo :mad_Tim . :mad_Tim prov:specializationOf . : facebook_post_2 prov:wasAttributedTo :happy_Tim . :happy_Tim prov:specializationOf . 14:35:25 q+ 14:36:19 If you use the same identifier in the bundle, then you can't say that a post was derived from a previous version, because it would have the same uRI 14:36:39 exactly 14:37:05 if you want to use two different characterisation *in the same account*, then they need two URIs and are two entities 14:37:27 you can then relate these using specializationOf etc.. but if you don't do it, then you don't need to worry about it 14:37:40 but on the other side, it is unrelaistic to pretend that people are going to create a new entity for each version of the blog. 14:37:56 ack Luc 14:38:05 @dgarijo, they don't need to. They're just asserting it at a higher level of specificity. 14:38:22 @luc +1 14:38:34 @luc this is the exact why we need account/bundle/xx 14:38:59 q+ to ask Tim to push his specializationOf proposal 14:40:37 James: careful about what is the first thing readers see when they approach PROV 14:41:05 James: then, how do you help people generate "cool provenance" 14:41:06 "Cool provenance" doesn't (what?) 14:42:16 I'm wondering if Entities are effectively closing the open world assumption. 14:42:26 Ivan: most readers will be happy with the primer examples -- no time deps 14:42:30 If that's the case, it's easy to explain :-) 14:42:48 q? 14:42:55 tlebo: (!) 14:42:56 Ivan: then if time dependencies are a concern, then we say how they are dealt with in a principled way 14:42:58 ack khalidbelhajjame 14:43:11 @stian what? 14:43:50 Khalid: it's a "how to get people to use the model correctly" concern 14:44:04 Q? 14:44:13 ivan has joined #prov 14:45:28 Simon: essentially support the specializationOf idea when additional context is needed 14:45:30 ack smiles 14:45:47 +1 Simon's "and don't say how the specializtionOf is characterized" 14:45:55 I think the question is: when necessary, do we contextualize the thing described or the description? I'm deeply uneasy with the latter approach. 14:46:22 agreed 14:47:20 that is specializationOf 14:47:35 almost 14:47:36 :) 14:48:18 @GK it's the former (the resource) 14:49:03 [a prov:State ] prov:frozen [ a prov:Thing ] 14:49:09 question is if prov:State == prov:Thing here 14:49:19 the old turtles-all-the-way-question 14:49:41 aha! Back to F2F1's EntityState :-) 14:49:44 yaay 14:49:58 @paolo - that's what we do now, but i think Ivan was proposing the other. 14:50:06 I'm putting up my old EntityState fan posters 14:53:31 naive web users _are_ making characterizations, it's just that they're not naming them. 14:54:57 so Entity is becoming a Graph? 14:56:54 GK: "every resource is a characterisation" 14:56:57 dgarijo has joined #prov 14:57:02 entity is a resource 14:57:25 so, two ways to "freeze" a characterization: 1) mint a new URI under the abstract (and add specializationOf) 2) plop the description of the abstract into a graph and name it. 14:58:27 @Tim I get (1) but not (2) :-) 14:58:57 @paolo, (2) is more like an account 14:59:59 q? 15:00:37 characterization_1 { : paolo-missier foaf:name "Paolo" } and characterization_2 { : paolo-missier foaf:name "Batman" } (where :paolo-missier is http://data.semanticweb.org/person/paolo-missier) 15:01:06 smiles has joined #prov 15:01:47 Batman?!? :-) 15:02:20 1) characterization_1 foaf:name "Paolo"; prov :specializationOf . and characterization_2 foaf:name "Batman"; prov :specializationOf 15:02:45 @Tim so characterization_1 specializationOf http://data.semanticweb.org/person/paolo-missier etc.? 15:03:06 (within 1, or 2?) 15:03:07 uuuh 15:03:11 yes ok we crossed over 15:03:45 repeat 2) : characterization_1 { : paolo-missier foaf:name "Paolo" } and : characterization_2 { : paolo-missier foaf:name "Batman" } (where :paolo-missier is http://data.semanticweb.org/person/paolo-missier) 15:04:34 Luc is enclosing entity(post) on flipover 15:04:37 (1) is the more natural one for me 15:05:20 (2) loses the "anchor" of : paolo-missier being the characterized (and more abstract) thing. 15:06:35 list use cases? 15:07:01 use case 1 is the linked data scruffies? 15:07:11 use case 2 is the "provenance field" ? 15:07:17 yes 15:07:37 where in #2 you say deliberately "I'm thinking about 'entity-frozen-version'-thingie " 15:07:40 q? 15:07:42 q+ 15:08:01 a kind of prov:FrozenEntity 15:08:06 and use cases 1 and 2 are NOT intended to mesh well correctly, right? (please!?) 15:08:32 tlebo: must be so - #1 is scruffy, and so can't mesh well 15:08:37 #1 does not mesh with #1' either 15:08:41 +??P39 15:08:43 those scruffies! 15:09:03 but.. are we then not inventing contextualised bnodes which happen to have URIs? 15:09:12 which look very official but are not to be interpreted as such 15:09:14 q- 15:09:16 ack jcheney 15:10:08 I like where this is going, it pulls the "proper provenance folks" back into their field, leaving the common denominator to be the intersection of them and linked data. 15:10:15 then would we go back to the entity/entity state? 15:10:25 no it's still an entity, just a more clearly defined one 15:10:30 Hmmm.... could be anm academic paper here, maybe: a theory of "lifting rules" for provenance (cf. Guha thesis). 15:10:37 "proper provenance" would be an extension 15:10:58 q+ 15:11:06 graceful provenance degradation 15:11:42 I think that if we follow Paul's proposal, entities go away (for now) 15:11:49 mm 15:12:03 instead of entities we just have owl:Thing (any resource) 15:12:07 Entity should be in the "proper provenance" extension of the prov rec. It should be subclass of rdfs:Resource . 15:12:23 +1 15:12:34 we're making interoperability happen! 15:13:45 @tim can you clarify "proper provenance" in a sentence -- I'm still getting there... 15:14:36 @paolo suggest "proper provenance" is validly mergable provenance. (First cut) 15:15:24 stephenc has joined #prov 15:15:56 @GK validly what?! :-) 15:15:58 "proper provenance" is the model that "provenance researchers" use to clearly distinguish the aspects that they find important (Luc in Boston and Luc Luc), while the rest of the world, aka "scruffies" would use (what remains in) the model to say some unclear things that they still find useful. 15:16:05 q+ to run withj Paul's position 15:16:25 ack smiles 15:16:42 @paolo: logically valid 15:17:14 2Tim ok got it. But Paul just zapped specializationOf which seems the right way to relate a "state" resource to its "original" resource 15:17:24 -[VrijeUni.a] 15:17:38 -??P39 15:17:40 -tlebo 15:17:41 q? 15:17:54 @paolo, right, but specializationOf would be included in the "proper provenance" extension to what remains in the model. 15:18:28 *what remains in Paul's new Radically Reduced Model 15:19:13 +??P11 15:19:49 q+ 15:20:25 it's a problem in general for any information system. 15:20:34 Paolo has joined #prov 15:20:43 got kicked out 15:20:45 -??P11 15:21:07 RT @paolo, right, but specializationOf would be included in the "proper provenance" extension to what remains in the model. 15:21:28 +??P11 15:21:53 jcheney has joined #prov 15:22:31 +[VrijeUni.a] 15:22:42 kai2 has joined #prov 15:23:03 kai2 has joined #prov 15:23:19 pgroth has joined #prov 15:23:23 GK has joined #prov 15:23:33 ? 15:23:35 q? 15:23:38 ack GK 15:23:38 GK, you wanted to run withj Paul's position 15:23:46 khalidbelhajjame has joined #prov 15:23:58 ack smiles 15:24:08 jcheney has joined #prov 15:24:13 q? 15:24:39 q+ 15:24:47 Simon: a consequence of Paul's proposal is that attributes disappear 15:25:13 +q 15:25:21 q+ would attributes be any different from normal RDF properties in an RDF resource? 15:25:31 q+ 15:25:32 Paolo is confused about this 15:25:35 q+ 15:25:48 ack jcheney 15:26:30 James, Ivan: lots to remove from the doc, then reconstruct 15:26:50 Luc: but with no prior art, we are starting from scratch at a late stage in the process 15:27:37 what prior art is missing? 15:27:42 Paul: most of the model stays, we just need to define a new domain for most of the relations. domains are "looser" 15:28:04 Paul: need to be careful about the ramifications. 15:28:16 James: what we have now is largely consistent 15:28:41 ack dgarijo 15:28:49 james: strip material first, then see what we can do with what is left 15:29:00 +Satya_Sahoo 15:29:05 Daniel: what happens to versions? 15:29:36 Version isn't core, it can be phrased within core terms. 15:29:53 I thought we were exploring a possibility rather than trying to frame a proposal 15:30:03 satya has joined #prov 15:30:22 Luc: propose to remove distinction b/w entities and things, this is enough to address the scruffy provenance (SP) 15:30:32 smiles has joined #prov 15:30:45 then address what more is required to formulate Proper Provenance (PP) 15:31:07 +1 15:31:18 ProP 15:31:26 :D 15:31:38 ProP-O 15:31:43 and ScruP? 15:32:57 Characterized things are things.... 15:33:05 I think a formal semantics of "scruffy provenance" would be somewhat different from the current semantics, and either trivial or rather interesting. 15:33:09 (so are turtles) 15:34:09 yes! 15:35:31 specializationOf and alternateOf leave RRM and go into ProP. 15:36:45 q+ I think there's more here than "just explaining it" (scruffy vs proper) 15:36:50 owl:sameAs does NOT serve save purpose as alternativeOf or specializationOf... 15:36:56 s/save/same/ 15:37:03 q+ to say I think there's more here than "just explaining it" (scruffy vs proper) 15:37:43 tlebo: no, but the need for alternativeOf/specializationOf changes slightly if we reconstruct what kind of links we really need on ye Frozen thingies 15:37:46 ack Stian 15:37:50 q- 15:38:31 what is being said? 15:38:50 @tlebo can you hear now? 15:38:53 no 15:38:56 just voices 15:39:28 Luc2 has joined #prov 15:39:44 q+ 15:40:00 q- 15:40:10 q+ to ask for a recap of that last bit of discussion 15:40:48 there are a few things I don't understand. 15:40:50 Stian: I said had an old comment.. something like: I believe attributes on a prov:Entity is just like properties on an RDF resource within an RDF Graph, that is it is somehow valid within the scope of the graph. (ie. the prov:Account if you like). It is the general problem Ivan has talked about what that scope is. 15:41:04 1) what exactly happens to specializationOf 15:41:10 2) what happens to attributes 15:41:12 Can't hear properly 15:41:28 satya, hop onto a skyper 15:41:36 ah ok 15:41:54 I can call you on skype satya 15:42:03 thanks Daniel! 15:42:04 pgroth has joined #prov 15:42:05 khalidbelhajjame has joined #prov 15:42:30 now everyone is mumbling 15:42:38 I can't hear anything either :) 15:42:41 q? 15:42:54 @stian, you're not there? 15:42:58 GK has joined #prov 15:43:09 -Satya_Sahoo 15:43:17 Stian: propose to put a line, finish the queue, and then break 15:43:21 NOTHING OUTSIDE QUEUE 15:43:37 Luc: Just 45 minutes left 15:43:55 Luc: propose take 5 minutes brea, then include people on the phone in PROV-O talk 15:44:00 I guess I lost my window for a recap on the end of that discussion. 15:44:11 Tim and Satya are on Skype 15:44:19 they can hear now well :) 15:44:31 who can not hear? 15:44:36 thanks again Daniel! 15:44:42 no prob 15:45:15 are we following the queue? 15:45:59 My version of what happened in the last hour or so. We considered a radical alternative approach to address a "scruffy" use case for provenance, and did not come to a clear conclusion of which way to jump. 15:45:59 summary: replace entity with thing in the document. Accounts are going to be taken out and now there is a "bundle" for a set of provenance assertions. 15:46:02 so, Core, RRM, and ProP ? 15:46:27 ivan: clearly separate sections in prov-dm for these three 15:46:46 q- 15:46:51 5 min break 15:46:52 ============ 5 minute break - then talk about PROV-O 15:47:04 I think care is needed: if we address the scruffy use case as proposed, I think there are knock-on effects for the more formal uses. 15:47:08 ack gk 15:47:08 GK, you wanted to say I think there's more here than "just explaining it" (scruffy vs proper) 15:47:20 ack 15:47:23 q? 15:47:26 q- 15:54:18 who is not physically at the meeting? 15:55:40 satya, tim, yolanda, mcted, stephen, sandro, mike, 15:57:34 macted, are you tall ted from RDF 1.1 F2F2? 15:58:18 tlebo - yes, that's me 15:58:20 Luc has joined #prov 15:59:26 TOPIC: PROV-O 15:59:27 tlebo: oooh.. that's an entity! 15:59:29 Q? 15:59:46 dgarijo has joined #prov 15:59:51 q? 16:00:02 @paolo, scribed out? Is that like Paul's "interoperability-y" from earlier? 16:00:07 Satya and Tim - can you hear us? 16:00:10 yes 16:00:17 satya? 16:00:19 yes - some mumbling 16:00:31 Tim - can you talk? 16:00:50 GK has joined #prov 16:01:18 Tim: it's been very difficult to make progress on it 16:01:25 ==== PROV-O ==== 16:01:31 jcheney has joined #prov 16:01:33 smiles has joined #prov 16:01:37 Tim: with RDF encoding being a second class citizen 16:01:45 q? 16:01:46 TL not good RDF-based examples 16:01:57 +[OpenLink] 16:02:02 pgroth has joined #prov 16:02:12 TL: Problem to make progress with PROV-O - lacking sufficient raw content to make progress. 16:02:12 Zakim, [OpenLink] is temporarily me 16:02:15 Zakim, mute me 16:02:25 Tim: prov-DM not useful to approach the ontology, and so unable to make progress for past few weeks 16:03:16 Zakim, who is on the phone? 16:03:27 +MacTed; got it 16:03:31 MacTed should now be muted 16:03:33 q+ 16:03:56 GK1 has joined #prov 16:04:20 Luc: Two aspects: a) writing ontology b) writing the document 16:04:26 On the phone I see [VrijeUni], ??P11, [VrijeUni.a], MacTed (muted) 16:04:27 Luc: there are two aspects: writing ontologies and docs 16:04:43 q+ 16:04:59 Tim: both cannot be done but not against the current DM as it's a moving target. 16:05:45 q+ 16:05:47 q? 16:06:03 Mike has joined #prov 16:06:27 @Paolo: Zakim is lagging in keeping up with speaker queue? 16:06:28 q+ to ask Tim what it would take for DM to be able to resume progress 16:06:53 Satya: ontology cannot be built piecemeal 16:07:15 Satya: it can only be modelled when DM is in mature state 16:07:33 Satya: uncomfortable with the piecemeal approach 16:07:55 (I have a lot of sympathy with Tim et al -- it's hard to track DM -- especially after today's discussion) 16:08:02 +1 16:09:01 Satya: as a consequence, current ontology is not a coherent whole 16:09:25 q+ 16:09:53 q? 16:10:17 q- 16:10:22 q- 16:10:26 q? 16:10:49 Luc: we should talk about process instead of technical issues here now - if something in DM does not work, then that should be expressed [in the WG] and raised as issues 16:10:58 Luc: need suggestions on how to proceed 16:11:19 q+ to point to ProvRDF mapping draft 16:11:30 +1 the same, I have to re-read PROV-DM everytime I look at it 16:11:33 Tim: every change to prov-o requires a fresh re-read of DM 16:11:47 khalidbelhajjame has joined #prov 16:12:10 smiles has joined #prov 16:12:47 pgroth has joined #prov 16:12:58 Tim: also, previous versions of prov-o are needed to rework each example for a new version 16:13:56 q+ 16:14:35 GK: how long before you can complete ontology and doc once DM has been stabilized 16:15:11 GK: propose to pause the -O work until DM is stable 16:15:36 adamretter has joined #prov 16:16:17 q+ 16:16:25 ack tlebo 16:16:32 @GK, yes, I like your suggestion. after DM is "frozen", we could nail it in a couple of weeks. But what we _produce_ needs to be reviewed by the group AND considered for each subsequent change to DM. 16:16:32 ack satya 16:16:47 tlebo: exactly - need to close the loop 16:16:57 for instance we made QualifiedInvolvement - that has not influenced DM 16:17:06 Satya: the whole of the ontology is impacted whenever changes are made to -DM 16:17:26 for each proposed change to DM, it's affect on PROV-O should be a first class citizen (not "prov-o" will figure it out) 16:17:33 but I thought QualifiedInvolvement was to support the relastions in DM 16:17:37 Satya: are we introducing contradictory concepts in the DM 16:17:48 +q 16:17:54 @Tim: I think that the core of the model has been "frozen" for some time: use, generation, association, activities and entities. 16:18:02 q? 16:18:39 Luc: some of the core concepts have been stable in DM for a long time 16:19:20 there is a difference between "stable" and "stagnant" 16:19:22 GK has joined #prov 16:19:31 we've been stagnant, unfortunately. 16:20:00 Satya: difference between entities and entity records has an impact in -O 16:20:15 q? 16:20:21 ack jcheney 16:20:21 jcheney, you wanted to point to ProvRDF mapping draft 16:20:53 http://www.w3.org/2011/prov/wiki/ProvRDF 16:21:03 @Tim, Stian: I also agree with "closing the loop" from DM->O->DM and so on 16:22:12 q? 16:22:13 RDF isn't a syntax... do you mean RDF/XML, RDFa, Turtle, N3....? 16:22:43 @MacTed: No idea, just writing abstract triples. 16:23:03 q+ 16:23:12 a frozen DM will help. 16:23:14 ack Paolo 16:23:16 ack Paolo 16:23:41 @tlebo: I thought that we were working with the releases of the dm. 16:23:52 @tlebo: as "frozen" 16:24:13 q- 16:26:06 @MacTed - i'm sorry 16:26:10 it's been a nightmare 16:26:29 I have a speaker phone on but that seems to fall off 16:27:44 q? 16:28:17 ack khalidbelhajjame 16:28:35 Can't hear anything! 16:28:49 q+ to say we have a poor measure of "up to dateness" for prov-o 16:28:53 oh Daniel lost connection I believe 16:28:54 ( I can't hear anything) 16:28:57 Luc2 has joined #prov 16:29:14 out phone connection dropped! 16:29:23 Khalid: most of the -O time has been used in resolving mapping issues rather than in making updates wrt older versions 16:29:33 +[IPcaller] 16:29:37 khalid: most of prov-o telecon has been on how to model PROV-DM. 16:29:48 -[IPcaller] 16:30:22 q? 16:30:49 khalid: most of the time on the prov-o telecons was spent on the n-ary relationships modeling. 16:30:49 Khalid: mapping took a long time 16:31:01 Khalid: but there was indeed some chasing 16:31:44 @Khalid +1 16:31:46 Q? 16:31:48 +1 to reorganizing for a better story, instead of a dump of properties. 16:31:50 q? 16:31:58 ack tlebo 16:31:58 tlebo, you wanted to say we have a poor measure of "up to dateness" for prov-o 16:32:07 GK has joined #prov 16:32:20 Tim: what would help is a measure of "up-to-dateness" and of coverage 16:32:48 @tlebo: so basically, more feedback from the rest of the group? 16:32:49 q? 16:33:05 Tim: we don't have a good perception of the completeness of the work. 16:33:18 @Tim: agree, we should have feedback on PROV-O also 16:33:18 Tim: raising issues against the document is fine 16:33:40 smiles has joined #prov 16:33:50 Luc: there hasn't been any request for review of the draft 16:35:05 Satya: got no feedback after first draft 16:35:13 @satya, but that makes us the "target movers" :-) 16:36:56 jcheney has joined #prov 16:37:14 @Tim ;) 16:37:15 Tim: need feedback on current draft 16:37:18 q? 16:38:11 q? 16:38:18 Stian, Daniel: missed a clear iteration loop for -O, with stable milestones 16:38:27 Q? 16:38:31 q+ to verify that latest WD of DM is coming out "today"? 16:38:44 Satya: next iteration should begin once DM is frozen 16:39:14 wanted to propose that we develop the complete OWL of the latest DM. 16:39:22 is "latest" coming out today? 16:39:39 Yes, release today 16:39:59 @Tim: good one :) 16:42:32 1) we catch up to WD3 2) we ask for review from wg 16:42:41 Paul: propose that the PROV-O team attempts to reflect on the current -DM release 16:43:05 Paul: when done, it is released for feedback 16:43:23 +1 16:43:27 @Paul: +1 16:43:50 Paul: then Paul will work to identify the further changes needed in view of the upcoming changes to PROV-DM that are happening starting tomorrow 16:44:04 both 16:44:17 Luc: what is the next PROV-O release: ontology, doc? 16:44:23 both 16:44:54 for each construct: edit HTML, edit OWL. 16:45:12 dgarijo has joined #prov 16:45:17 why not just ontology? 16:45:36 b/c the axioms need an explanation and a connection back to DM. 16:46:55 Paul: suggest to circulate ontology first, it's faster and nearly everyone in the group can understand and provide feedback 16:46:55 @pgroth, makes sense. 16:47:27 how about including some brief annotations in the ontology? 16:47:35 +1 jun 16:47:40 @pgroth +1 16:48:34 ivan saying owl rl is important 16:48:52 +1 @ivan, heavy semantics is undesired. 16:48:54 Ivan: prov-o looks like an OWL-RL ontology 16:49:19 khalidbelhajjame has joined #prov 16:49:24 what current document also does is show RDF examples (OK, in RDF/XML) which for myself is also a good way to visualise an ontology (Given only an OWL file, I would write down such examples) 16:49:46 @stian, let's make an examples file, too. 16:49:51 Ivan and that's good news from the perspective of a path to implementation 16:49:53 which is what Tim used to do back in the good days :) 16:49:59 yes 16:50:18 http://www.w3.org/2011/prov/wiki/PROV_OWL_ontology_components ? 16:50:19 http://www.w3.org/TR/owl-profiles/#OWL_2_RL 16:50:39 Paul: (explains the process again -- see above) 16:50:43 audio dropping intermittently 16:50:44 q= 16:50:46 q+ 16:51:07 can't hear 16:51:27 ack ivan 16:51:29 Paul can you please repeat? 16:51:35 +1^10 16:51:39 Luc: we have also agreed to coordinate the two groups in a specific confcall 16:51:50 Process 16:51:55 Ivan: please avoid RDF/XML, use Turtle itself 16:52:04 (in the document) 16:52:08 +1 16:52:14 +1^1000 Turtle, -1^1000 RDF/XML :-) 16:52:18 http://prefix.cc/prov 16:52:27 http://www.w3.org/ns/prov-o/ 16:53:01 didn't hear anything in last 5 mins 16:53:07 @Satya Paul essentially repeated the process as I tried to capture earlier 16:53:08 are you on zakim 16:53:14 I can hear 16:53:26 @Satya we are trying to skype you back in 16:53:46 ok thanks! 16:54:12 rdfa 16:54:20 Ivan: why not prov: instead of prov-o: 16:54:55 @ivan, hash or slash ;-) 16:55:04 yes, I can hear now! 16:55:18 tim, I let you decide that:-) 16:55:20 Process: 16:55:32 actually? with a document of this size, I think slash is simpler 16:55:34 +1 to process Paul outlined. 16:55:40 1) prov-o team to reflect wd3 prov-dm only in an ontology 16:55:54 2) when complete prov-wg to review after notification 16:56:21 @ivan, size is big or small? 16:56:21 3) when new prov-dm becomes available chairs will compare and determine what they think is necessary to update 16:56:28 By the way: http://en.wikipedia.org/wiki/Provo_(movement) 16:56:32 +1 16:56:35 +1 16:56:58 tlebo: what I meant is the number of terms in the ontology is relatively small 16:57:07 Thanks. 16:57:14 Btw, without Account .... 16:57:35 @Luc: we don't have account in prov-o right now. 16:58:32 mission: owl:Annotations and rdfs:comments galore in prov.owl 16:59:22 luc: don't spend cycles on modeling accounts 16:59:39 Alignment with prov-dm as released today minus accounts 16:59:53 lost sound 16:59:58 and your food is getting cold. 17:00:13 we start at 9:00 cet 17:00:22 thanks! 17:00:24 thanks tlebo 17:00:25 i get to sleep in tomorrow! 17:00:26 -MacTed 17:00:30 ttyl, all. 17:00:34 bye 17:00:36 Tim, well deserved :-) 17:01:50 -[VrijeUni.a]