15:53:06 RRSAgent has joined #prov 15:53:06 logging to http://www.w3.org/2013/01/24-prov-irc 15:53:08 RRSAgent, make logs world 15:53:08 Zakim has joined #prov 15:53:10 Zakim, this will be PROV 15:53:10 ok, trackbot; I see SW_(PROV)11:00AM scheduled to start in 7 minutes 15:53:11 Meeting: Provenance Working Group Teleconference 15:53:11 Date: 24 January 2013 15:53:14 zakim, this will be PROV 15:53:14 ok, pgroth; I see SW_(PROV)11:00AM scheduled to start in 7 minutes 15:53:22 Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2013.01.24 15:53:30 Chair: Paul Groth 15:53:37 Scribe: Curt Tilmes 15:53:45 rrsagent, make logs public 15:54:04 Regrets: Graham Klyne 15:56:36 Curt has joined #prov 15:57:00 SW_(PROV)11:00AM has now started 15:57:07 +Curt_Tilmes 15:57:33 +[IPcaller] 15:57:42 Zakim, [IPcaller] is me 15:57:43 +pgroth; got it 15:58:31 scribe: Curt 15:59:01 +[IPcaller] 15:59:20 + +44.789.470.aaaa 15:59:20 zakim, [IPcaller] is me 15:59:20 +Luc; got it 15:59:30 zakim, +44.789.470.aaaa is me 15:59:30 +stain; got it 16:00:37 tlebo has joined #prov 16:00:38 jcheney has joined #prov 16:00:41 +tlebo 16:00:44 dgarijo has joined #prov 16:00:49 minutes from last week, btw: http://www.w3.org/2011/prov/meeting/2013-01-17 16:01:00 hook has joined #prov 16:01:23 +??P8 16:01:29 Zakim, ??P8 is me 16:01:29 +dgarijo; got it 16:01:30 TallTed has changed the topic to: Provenance WG - http://www.w3.org/2011/prov/ - Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2013.01.24 16:01:40 smiles has joined #prov 16:01:41 +OpenLink_Software 16:01:46 Zakim, OpenLink_Software is temporarily me 16:01:46 +TallTed; got it 16:01:47 Zakim, mute me 16:01:47 TallTed should now be muted 16:02:06 Topic: Admin 16:02:06 + +1.818.731.aabb 16:02:13 +??P10 16:02:17 http://www.w3.org/2011/prov/meeting/2013-01-17 16:02:21 zakim, ??P10 is smiles 16:02:21 +smiles; got it 16:02:22 +1 16:02:25 +1 16:02:25 +1 16:02:26 -1 16:02:27 q+ 16:02:32 ack stain 16:02:34 All reviewers have submitted their report. All are fine for a new working draft to be released. 16:02:47 0 was away 16:02:57 +1 16:02:58 khalidBelhajjame has joined #prov 16:03:16 that was my understanding too 16:03:35 +jcheney 16:03:44 +[IPcaller] 16:03:55 zakim, [IPcaller] is me 16:03:55 +khalidBelhajjame; got it 16:04:27 pgroth: Will edit minutes to indicate Stain not ready to approve release 16:04:44 TomDN has joined #prov 16:04:50 pgroth: will delete the line about ready to release working draft 16:04:53 Stain: had not said yes/no to it being released as WD (I don't remember that being mentioned at all) but I said no for it to be last working draft. 16:04:56 http://www.w3.org/2011/prov/meeting/2013-01-17 16:05:04 +1 16:05:13 +TomDN 16:05:17 approved: Minutes of Jan. 17, 2013 16:05:32 Zakim, mute me 16:05:32 TomDN should now be muted 16:05:34 +??P4 16:06:07 Topic: WG Implementations 16:06:22 Dong has joined #prov 16:06:33 pgroth: went through implementation reports, quite a few more submitted 16:06:45 I read the chat log - we agreed that we would in a later meeting vote if PROV-AQ would go out as a WD - not as LC 16:06:47 ... we're ok with prov-o, need to check with prov-n to hit requirements 16:07:03 paolo says that his implementation can consume prov-n 16:07:11 pgroth: with constraints, Paul is still working on one, should be ready to go before next week, not sure if there will be others 16:07:15 what about the clarkparsia one 16:07:19 pgroth: may get one more, not sure 16:07:20 q+ 16:07:23 maybe we can check he can consume prov-n generated by toolbox or Dong's store 16:07:24 ack pgroth 16:07:38 q? 16:07:51 pgroth: are other reports expected? 16:07:58 Stephan and I will be submitting one 16:07:59 I owe at least one :-) 16:07:59 GLD Org 16:08:01 I have my vocabulary to go in 16:08:03 +Satya_Sahoo 16:08:16 PAV 16:08:18 satya has joined #prov 16:08:22 +q 16:08:29 ack Luc 16:08:37 luc: paolo indicated he can consume prov-n 16:08:55 Luc: dong's tool exports prov-n, so we can check if those implementations can exchange prov-n 16:09:00 not yet 16:09:05 will do next week 16:09:18 pgroth: Tom, can your's work with prov-n? 16:09:37 no he sent regrets 16:09:37 pgroth: Try to get all reports in by next week to satisfy implementation requirements 16:09:59 q? 16:10:00 pgroth: We will follow up with Paolo and Dong to try to get a prov-n repot 16:10:19 pgroth: Keep encouraging others to submit 16:10:22 Topic: Public Response on wasQuotedFrom 16:11:33 simon: the primer was unclear in the direction of the wasQuotedFrom, sounded incorrect to the reviewer -- will revise the language in the primer 16:11:54 simon: will also include something about collections, this might help explain the concepts 16:12:10 http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR#ISSUE-616 16:12:23 pgroth: several people expressed support for simon's proposed response already 16:12:30 pgroth: any objections? 16:12:45 Approved: http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR#ISSUE-616 as a working group response 16:12:55 I'm happy to send it 16:13:14 Topic: PROV-O outstanding issue on inferences 16:13:41 http://lists.w3.org/Archives/Public/public-prov-comments/2013Jan/0016.html 16:13:47 pgroth: we responded to clarkparsia's issues, they were mostly fine with the responses except for one: 16:14:03 do we have a start of a response to this? 16:14:08 pgroth: They are concerned we are encoded some constraints and not others and want to understand rationale 16:14:59 hook_ has joined #prov 16:15:02 q+ 16:15:08 tlebo: The critique is understandable, queried James about constraints, plan is to analyze constraints and come up with a rationale for which ones are in and which ones aren't 16:15:09 ack Luc 16:15:21 +1 to survey. 16:15:29 http://lists.w3.org/Archives/Public/public-prov-wg/2013Jan/0104.html 16:15:31 where is our draft response? 16:15:57 Luc: not certain we need to change prov-o, the design had a hierarchy for influence 16:16:14 This was our original response http://www.w3.org/2011/prov/wiki/ResponsesToPublicCommentsCR#ISSUE-612_.28Encoding_of_Constraints_in_OWL.29 16:16:36 are we updating the same response for this? 16:16:41 q+ 16:16:47 Luc: This hierarchy happens to include one of the constraints, but it isn't really included because it is a constraint, rather it is satisfied by the expression of the hierarchy 16:16:50 SamCoppens has joined #prov 16:16:51 ack tlebo 16:17:06 @tlebo: I'm not been following this thread very much, but wasn't prov-o aimed to be as simple as possible (owl-RL profile)?. If no further violations happen, we could add some.. 16:17:10 q+ 16:17:11 +1 @Luc -- if we are to remove all subproperty/subclass rules that might happen to be also a constraint/inference - then it would just become a very flat vocabulary and not an ontology. 16:17:19 zakim, SamCoppens is with TomDN 16:17:19 +SamCoppens; got it 16:17:22 +1 @Daniel 16:17:23 +1 to survey as well. 16:17:34 tlebo: Until we understand which are in, which are out, can't respond. If we can describe a rationale that matches the implementation, that will be fine. 16:17:39 We could however see the most obvious ones and see if they can go in without changing the design and OWL RL level - like revision-is-alternate-inference 16:18:01 yep. 16:18:09 pgroth: we didn't intend to include constraints in prov-o, we will create a new issue to address this 16:18:24 +q 16:18:33 ack Luc 16:18:33 ack dgarijo 16:18:38 q+ 16:18:42 dgarijo: are we planning to deliver a version with constraints? 16:18:43 pgroth: no 16:18:56 ack Luc 16:19:10 ok. 16:19:14 Luc: Back to modifying prov-o -- that would take us back to last call: we don't want to take that step lightly 16:19:24 q+ 16:19:31 ack stain 16:19:31 tlebo: we'll search hard for a rule that describes the current implementation 16:19:54 @stian : I can't hear you very well. 16:19:56 stain: [mumble, mumble] 16:20:12 stain: opposed to adding new things to current prov-o 16:20:48 pgroth: we don't intend to put constraints in prov-o, but are fine if someone else develops an ontology that does so 16:20:55 sorry - I was suggesting to NOT add more to PROV-O - but make something on the side (another Note) with the OWL encodings of constraints - it could be based on the work that clarkparsia has already started if the licensing/sharing of that is OK. 16:21:06 pgroth: we will describe the rationale for why certain constraints happen to be in prov-o 16:21:12 q? 16:21:22 q+ 16:21:39 +1 @paul, the original design aim of prov-o was a reference ontology, so we should be careful of adding new constructs 16:21:40 ack stain 16:21:45 scruffy provenance 16:22:01 q? 16:22:14 q+ 16:22:26 ack Luc 16:22:29 Luc: Tim -- when do you think it will be ready? 16:22:34 tlebo: a couple of hours at most 16:22:35 Stian: to also add to rational "why we do NOT include some 'obvious' constraints like property functionality --- basically to support expressing 'scruffy provenance' according to PROV-DM which might not be PROV-Constraint valid 16:22:53 Luc: Would be nice to draft response by Monday and send ASAP 16:22:59 q? 16:23:51 q+ 16:23:56 pgroth: There could be test cases for entailments -- would be fine if someone else supplied them 16:23:59 ack Luc 16:24:23 Luc: not sure we would express them -- we are only concerned with validity of the provenance 16:24:40 I wondering what would be the extra benefits of having such test cases for the working group? 16:24:47 pgroth: If someone invented the test case, we would look at it 16:25:06 pgroth: More test cases that conform to the spec are welcome 16:25:19 +1 16:25:26 I'm afraid that we don't have enough bandwidth for this 16:25:32 pgroth: I'll write that up and send it out with the response on the prov-o 16:25:33 q? 16:25:49 Zakim, unmute me 16:25:49 TomDN should no longer be muted 16:25:51 Topic: Prov-Dictionary 16:26:25 TomDN: Looked at all the reviews, 3 already incorporated, 1 more extensive one will go in 16:26:38 Zakim, who is loud? 16:26:38 I don't understand your question, pgroth. 16:26:43 Zakim, who is noisy? 16:26:57 pgroth, listening for 13 seconds I heard sound from the following: stain (7%) 16:27:22 but I'm on mute.. 16:28:10 Tom: All sections got good, extensive reviews 16:28:11 Tom: Some remaining issues: 16:28:13 Tom: 1. (Luc) In the notation hadDictionaryMember(d, e0, "k0"), key follows entity, whereas it precedes in derivedByInsertionFrom(d2, d1, {("k1", e3)}). Should this be made uniform? Is it worth the extra effort? 16:28:15 Tom: 2. (Luc) http://www.w3.org/TR/prov-n/#extensibility states: the predicate MUST be a qualifiedName with a non-empty prefix. However, we will be using the prov namespace. How do we proceed? 16:28:17 Tom: 3. (Luc) PROV-O: should qualifiedInsertion and qualifiedRemoval imply qualifiedDerivation? If yes, how do we specify this? Through a sub-property? Does that break anything? 16:28:19 Tom: 4. (Paolo) PROV-O: clarify delta with REC ontology 16:28:21 Tom: 5. (James) Do we need inference 7 to guarantee completeness when a dictionary is derived by insertions/removals from an empty dictionary? 16:28:22 http://dvcs.w3.org/hg/prov/raw-file/default/dictionary/prov-dictionary.html#insertion-removal-membership-inference 16:28:24 Tom: 6. Stian has lots of blocking issues, and I haven't had time to address them all. 16:28:25 Most are relatively easy to fix or have been fixed already. Most work will be to create the downloadable grammar, ontology and xml schema. 16:28:27 Propose we vote for publication as FPWD under the condition that all Stian's blockers are addressed, and that (placeholder) links are placed in the document, where the grammar, ontology and xml schema will become available next week. 16:28:28 q+ To suggest just adding note on the PROV-N namespace/extension for 1WD 16:28:40 Zakim, who is noisy 16:28:40 I don't understand 'who is noisy', pgroth 16:28:50 Zakim, who is noisy? 16:29:02 pgroth, listening for 11 seconds I heard sound from the following: pgroth (4%), ??P4 (4%) 16:29:07 given this is fpwd, grammar/schema/ontology can be released later 16:29:32 ack stain 16:29:32 stain, you wanted to suggest just adding note on the PROV-N namespace/extension for 1WD 16:29:58 stain: Sorry about big list of blockers, but renaming can remain as now, other yellow boxes noting changes would be ok 16:30:27 pgroth: Note where discussion is still underway or big changes are to come 16:30:59 Proposed: Release Prov-dictionary as first public working draft 16:31:06 +1 16:31:06 q+ 16:31:07 +1 16:31:08 +1 16:31:16 +1 16:31:16 +1 16:31:19 +1 16:31:21 +1 16:31:26 conditional :) 16:31:28 +1 16:31:29 +1 16:31:31 stain: is FPWD conditional on my blockers? 16:32:02 Proposed: Release Prov-dictionary as first public working draft conditional on addressing or noting blocking issues in the document 16:32:03 pgroth: they will be addressed or noted 16:32:04 +1 16:32:08 +1 16:32:09 +1 16:32:10 +1 16:32:11 +1 16:32:12 +1 16:32:13 +1 16:32:14 +1 16:32:15 q- 16:32:30 Accepted: Release Prov-dictionary as first public working draft conditional on addressing or noting blocking issues in the document 16:32:38 and sam :) 16:32:55 Topic: PROV-xml 16:32:56 zakim, mute me 16:32:56 TomDN should now be muted 16:33:41 http://www.w3.org/2011/prov/wiki/Prov-XML_Identifiers 16:34:19 q+ 16:34:22 hook_: wiki document summarizes options and differences between them 16:36:03 ID is now workable since we can have multiple assertions about a given resource in a same document (whether wihtin a same bundle or different bundles) 16:36:30 zednik has joined #prov 16:36:59 ack pgroth 16:37:16 +[IPcaller] 16:37:55 I have joined, sorry for the late arrival 16:38:17 q+ 16:38:18 q+ 16:38:23 ack Luc 16:39:23 maybe stephan can respond 16:39:28 Luc: Why assume we need uniqueness of identifiers, we need to have multiple assertions about a given resource resource in the same document 16:40:04 q+ 16:40:13 hook_: We don't have a requirement, but the uniqueness implemented by an XML would be useful, but not a hard requirement 16:40:41 Luc: if you use xs:ID, it would require uniqueness 16:40:43 ack zednik 16:41:07 zednik: looked at how parsers expect the document to act -- they expect identifiers to be unique. 16:41:22 zednik: is this something we desire or do not? 16:41:42 hook_: ID/IDREF are the normal, recommended ways to handle identifiers 16:42:03 ack stain 16:42:19 stain: XML identifiers are useful for the external (non provenance) world 16:43:00 stain: But for provenance, we need to express certain things 16:43:26 good point stian 16:43:31 q+ 16:43:38 stain: Do you want to force things to be explicitly identified in that manner? It isn't required in the other forms 16:43:38 ack Luc 16:44:09 Luc: We can express a usage between an activity and an entity without declaring them. 16:44:35 pgroth: we could also use prov:ref? 16:44:35 also some XML libraries will parse the xml:idref as if the referenced element was actually inserted there - like a symlink 16:44:45 q+ 16:44:55 ack hook_ 16:44:59 -smiles 16:45:16 q+ 16:45:24 @pgroth - ah, so you propose a hybrid approach where you could fall back to prov:ref to be 'loose'? 16:45:25 hook_: You may want to declare activities/entities without the constraints on ids. How can we validate the trace without a formal identification? 16:45:33 q+ it's not the job of the XML parser to do PROV validation 16:45:39 it's not the job of the XML parser to do PROV validation 16:45:57 Luc: That is the job of PROV-CONSTRAINTS. 16:46:40 Luc: With constraints, you can infer those things for validity, but we also want to allow "scruffy" provenance 16:47:16 - +1.818.731.aabb 16:47:25 Luc: With ID, you are making a schema for a 'normal form' of provenance, but we aren't really describing that in the other documents 16:47:30 q? 16:47:32 ack Luc 16:47:42 + +1.818.731.aacc 16:48:00 stain: You can still use IDs to identify things outside of PROV 16:48:46 zednik: We haven't tried something like that 16:48:55 q+ 16:49:00 * sorry, have to leave for a meeting 16:49:08 ack Luc 16:49:10 -Satya_Sahoo 16:49:12 pgroth: Some good feedback of the limitations to the approaches -- could you revisit the question? 16:49:53 Luc: There are other options, in the schema we had prov:ref with xsd:QName, we could define them as in prov-n, that would work find with XSD2 16:50:12 Luc: Consider that other option 16:50:43 ex:001 16:50:51 Luc: If we require an identifier to be an xsd:QName, we can't use many URIs 16:50:53 some URIs can't be qname - even if you do an xmlns for it - as a qname can't have a 0-length local name 16:51:12 like... http://example.com/ 16:51:22 q+ 16:51:28 ack hook_ 16:52:10 hook_: I see the need for "scruffy", the XML community uses ID/IDREF, but is there something we can use that is simple, but also allows scruffy 16:52:35 hook_: perhaps the XPointers can enable the scruffiness, pointing to non-existent items 16:52:49 q? 16:52:50 q+ 16:53:03 xpointer can select on anything ("has 3 children"), xpath needs element/id 16:53:14 yes 16:53:14 pgroth: QNames are widely used in XML community, right? 16:53:19 ack pgroth 16:53:48 pgroth: where do we want to go with this? need a decision soon 16:54:20 pgroth: Look at other options, come up with rationale for why you think one is the best and we can discuss on the mailing list 16:54:32 pgroth: You are leaning toward ID/IDREF with XPointer? 16:54:34 q+ 16:54:50 zednik: It fits best with XML community, but difficult constraints for provenance 16:54:57 ack Luc 16:55:02 hook_: Need to take into account need for scruffy provenance 16:55:09 +1 - the PROV identifiers are like the open-world semantic web identifiers - they don't identify elements in an XML document, but things and activities in the world 16:55:41 Luc: If I write my provenance in XML, can I use the XPointer to refer to entities in RDF? Does this require everything to be in XML? 16:56:13 Why would RDF people bother with Xlink and Xpointers? 16:56:18 hook_: Are there implementations of RDF that can use XLink/XPointers? 16:56:23 +1 to tlebo 16:56:39 +1 to tlebo 16:56:43 +q 16:56:50 pgroth: You have some feedback on identifiers, can you take another look at it and come back with a new proposal or recommendation? 16:56:53 ack zednik 16:57:23 zednik: We can come up with some constraints to drive the search for a solution: "scruffy" must be allowed, must be compatible with PROV-O provenance 16:57:28 xlink:href can target anything with an URI, not just XML elements - it's just like HTML's for XML 16:57:57 prov-dm says that qualified names can be mapped to uri 16:58:03 zednik: We'll capture the constraints, which will probably eliminate ID/IDREF 16:58:31 pgroth: Other constraint is to work well with XML tools 16:58:49 pgroth: There might not be a solution that satisfies all of those, we need a rationale for a choice 16:58:54 q+ 16:59:01 ack hook_ 16:59:04 @Luc - so there could be two different qnames resulting in same URI - right. So if this is to be understood by regular XML tools you would have to represent everything as full URIs 16:59:21 hook_: Constraints may be mutually exclusive, which is the most important? scruffy? 16:59:43 pgroth: We want to enable adoption by the XML community, that should be number 1 16:59:49 @stain yes, it's possible. XML tools don't map them to uris but a prov processor would 16:59:51 I guess the question is how much PROV 'tooling' do we imagine would be purely XML based - like using XPointers to find the activity that made an entity that tihs other entity was derived from 16:59:52 q? 16:59:58 q+ 17:00:01 pgroth: what do others think about that? 17:00:03 ack Luc 17:00:25 Luc: We didn't discuss the schema namespace reorg -- I have some questions about that 17:00:35 q+ 17:00:44 pgroth: Let's discuss the namespace reorg next week 17:00:56 perhaps we can make more example documents 17:00:57 zednik: Could also put questions on mailing list and also discuss next week 17:01:09 pgroth: Enough guidance for now? 17:01:11 zednik: yes 17:01:24 q+ 17:01:30 q- 17:01:32 pgroth: Those are the two big issues: identifiers and namespace? 17:01:34 ack zednik 17:01:36 ack Luc 17:01:51 -TomDN 17:01:53 Luc: We haven't resolved the ordering issue, subtyping either 17:01:54 q+ 17:01:59 Luc: Still several other issues 17:02:01 ack zednik 17:02:24 zednik: Subtyping -- we modified the schema to address that, extending elements with new elements 17:03:04 @zednik: can you point to this message on primary source? 17:03:16 pgroth: We want to wrap this up, resolving final issues 17:03:20 @Luc I will look 17:03:22 q? 17:03:28 thank 17:03:29 pgroth: Remember to get in implementation reports 17:03:32 -tlebo 17:03:35 bbye 17:03:36 -TallTed 17:03:41 thanks, bye 17:03:42 -Luc 17:03:42 -pgroth 17:03:42 -jcheney 17:03:47 rrsagent, set log public 17:03:49 -[IPcaller] 17:03:52 rrsagent, draft minutes 17:03:52 I have made the request to generate http://www.w3.org/2013/01/24-prov-minutes.html pgroth 17:03:56 trackbot, end telcon 17:03:56 Zakim, list attendees 17:03:56 As of this point the attendees have been Curt_Tilmes, pgroth, Luc, stain, tlebo, dgarijo, TallTed, +1.818.731.aabb, smiles, jcheney, khalidBelhajjame, TomDN, Satya_Sahoo, 17:03:59 ... SamCoppens, [IPcaller], +1.818.731.aacc 17:03:59 -Curt_Tilmes 17:03:59 -??P4 17:03:59 -stain 17:04:04 RRSAgent, please draft minutes 17:04:04 I have made the request to generate http://www.w3.org/2013/01/24-prov-minutes.html trackbot 17:04:05 - +1.818.731.aacc 17:04:05 RRSAgent, bye 17:04:05 I see no action items