IRC log of prov on 2011-11-10

Timestamps are in UTC.

15:47:24 [RRSAgent]
RRSAgent has joined #prov
15:47:24 [RRSAgent]
logging to http://www.w3.org/2011/11/10-prov-irc
15:47:26 [trackbot]
RRSAgent, make logs world
15:47:26 [Zakim]
Zakim has joined #prov
15:47:28 [trackbot]
Zakim, this will be
15:47:28 [Zakim]
I don't understand 'this will be', trackbot
15:47:29 [trackbot]
Meeting: Provenance Working Group Teleconference
15:47:29 [trackbot]
Date: 10 November 2011
15:47:38 [pgroth]
Zakim, this will be PROV
15:47:38 [Zakim]
ok, pgroth; I see SW_(PROV)11:00AM scheduled to start in 13 minutes
15:47:57 [pgroth]
Agenda: http://www.w3.org/2011/prov/wiki/Meetings:Telecon2011.11.10
15:48:13 [pgroth]
Chair: Paul Groth
15:48:41 [pgroth]
Regrets: Christine Runnegar
15:49:12 [pgroth]
rrsagent, make logs public
15:49:48 [GK1]
GK1 has joined #prov
15:53:32 [Curt]
Curt has joined #prov
15:54:01 [Zakim]
SW_(PROV)11:00AM has now started
15:54:08 [Zakim]
+Curt_Tilmes
15:54:32 [jcheney]
jcheney has joined #prov
15:56:09 [khalidbelhajjame]
khalidbelhajjame has joined #prov
15:56:31 [pgroth]
any volunteers for scribe?
15:56:42 [Zakim]
+[IPcaller]
15:56:55 [pgroth]
Zakim, [IPcaller] is me
15:56:55 [Zakim]
+pgroth; got it
15:56:59 [Paolo]
Paolo has joined #prov
15:58:19 [Zakim]
+??P55
15:58:24 [smiles]
smiles has joined #prov
15:58:47 [Zakim]
+[IPcaller]
15:58:48 [Zakim]
+??P56
15:59:17 [saty]
saty has joined #prov
16:00:07 [Paolo]
zakim, ??P55 is me
16:00:07 [Zakim]
+Paolo; got it
16:00:19 [pgroth]
Scribe: Paolo
16:00:24 [Zakim]
+[IPcaller.a]
16:00:41 [Zakim]
+??P64
16:00:48 [Zakim]
+Satya_Sahoo
16:00:53 [jcheney]
Zakim, [IPcaller.a] is me
16:00:53 [Zakim]
+jcheney; got it
16:01:01 [Zakim]
+ +44.238.059.aaaa
16:01:09 [StephenCresswell]
StephenCresswell has joined #prov
16:01:17 [Zakim]
+ +1.315.330.aabb
16:01:20 [Luc]
zakim, +44.238.059.aaaa is me
16:01:20 [Zakim]
+Luc; got it
16:01:25 [tlebo]
tlebo has joined #prov
16:01:36 [GK]
GK has joined #prov
16:01:41 [khalidbelhajjame]
zakim, ??P64 is me
16:01:41 [Zakim]
+khalidbelhajjame; got it
16:02:05 [Zakim]
+[ISI]
16:02:19 [tlebo]
zakim, who is on the phone?
16:02:31 [Zakim]
On the phone I see Curt_Tilmes, pgroth, Paolo, ??P56, [IPcaller], jcheney, khalidbelhajjame, Satya_Sahoo, Luc, +1.315.330.aabb, [ISI]
16:02:46 [Zakim]
-khalidbelhajjame
16:02:49 [tlebo]
Zakim, aabb is tlebo
16:02:56 [Zakim]
+tlebo; got it
16:03:04 [Zakim]
+[IPcaller.a]
16:03:22 [Zakim]
+??P80
16:03:29 [khalidbelhajjame]
zakim, ??P80 is me
16:03:29 [Zakim]
+khalidbelhajjame; got it
16:03:57 [pgroth]
Topic: Admin
16:04:02 [GK]
zakim, who is on the phone?
16:04:03 [Zakim]
On the phone I see Curt_Tilmes, pgroth, Paolo, ??P56, [IPcaller], jcheney, Satya_Sahoo, Luc, tlebo, [ISI], [IPcaller.a], khalidbelhajjame
16:04:12 [pgroth]
http://www.w3.org/2011/prov/meeting/2011-11-03
16:04:18 [pgroth]
PROPOSED to accept the minutes of the Nov. 3 telecon
16:04:19 [saty]
+1
16:04:23 [smiles]
+1
16:04:29 [Curt]
0 (did not attend)
16:04:30 [khalidbelhajjame]
+0 (was not in last week)
16:04:30 [Paolo]
+1
16:04:41 [tlebo]
+1
16:04:41 [satya]
satya has joined #prov
16:04:43 [GK]
Khalid, are you sure ??PP80 is you?
16:04:43 [StephenCresswell]
+1
16:04:47 [jcheney]
+1
16:04:56 [khalidbelhajjame]
@Graham, not sure
16:05:07 [pgroth]
ACCEPTED Nov 3. 2011 minutes
16:05:17 [pgroth]
http://www.w3.org/2011/prov/track/actions/open
16:05:25 [Yogesh]
Yogesh has joined #prov
16:05:27 [khalidbelhajjame]
@Graham, I will leave the call and come back and see
16:05:34 [Zakim]
-[IPcaller.a]
16:06:10 [Paolo]
Tim's action presumably taken care of
16:06:19 [Paolo]
Paul completed his action (42)
16:06:20 [dgarijo]
dgarijo has joined #prov
16:06:24 [Paolo]
Tim's action was 41 -- closed
16:06:28 [Zakim]
+Yogesh_Simmhan
16:06:32 [pgroth]
Reminder F2F2 Poll: http://www.w3.org/2002/09/wbs/46974/f2f2_options/
16:06:49 [Zakim]
+??P72
16:06:49 [Paolo]
we are skipping action 40 at this time
16:06:53 [GK]
zakim, ??pp80 is me
16:06:53 [Zakim]
sorry, GK, I do not recognize a party named '??pp80'
16:07:06 [khalidbelhajjame]
zakim, ??P72 is me
16:07:06 [Zakim]
+khalidbelhajjame; got it
16:07:08 [Zakim]
+[IPcaller.a]
16:07:13 [GK]
zakim, pp80 is me
16:07:13 [Zakim]
sorry, GK, I do not recognize a party named 'pp80'
16:07:25 [dgarijo]
Zakim, [IPcaller.a] is me
16:07:25 [Zakim]
+dgarijo; got it
16:07:28 [GK]
zakim, who is on the phone?
16:07:28 [Zakim]
On the phone I see Curt_Tilmes, pgroth, Paolo, ??P56, [IPcaller], jcheney, Satya_Sahoo, Luc, tlebo, [ISI], khalidbelhajjame, Yogesh_Simmhan, khalidbelhajjame.a, dgarijo
16:07:39 [Paolo]
TOPIC PROV-PRIMER
16:08:18 [Paolo]
Simon: good contribs but still got gaps
16:08:35 [Paolo]
Simon: Stephan , Paolo, Yolanda to contribute to a complete draft by this week
16:08:53 [Paolo]
Simon: so that the WG can start commenting
16:09:02 [Paolo]
Simon: Stephan creating turtle examples
16:09:08 [Paolo]
Simon: Simon to complete the intro
16:09:08 [Vinh]
Vinh has joined #prov
16:09:11 [Zakim]
+Sandro
16:09:18 [Paolo]
Simon: Yolanda to give it a check
16:09:33 [zednik]
zednik has joined #prov
16:09:36 [Paolo]
Simon: then Paolo to translate turtle -> ASN
16:09:59 [Paolo]
Simon:: accounts still missing. That's because it hasn't settled in PROV-O
16:10:06 [khalidbelhajjame]
+q
16:10:06 [pgroth]
q?
16:10:18 [pgroth]
ack khalidbelhajjame
16:10:19 [Zakim]
+ +1.518.633.aacc
16:10:32 [tlebo]
Account will be defined :-)
16:10:36 [Paolo]
Khalid: on account. PROV-O will not have explicit account, as named graphs will be used
16:10:52 [tlebo]
Account will be part of the ontology :-)
16:11:12 [Paolo]
Simon: still, some encoding of them is needed for the examples
16:11:15 [GK]
q+ to note that ORE uses trix graph as a base class for ORE resource map, which also is a named graph
16:11:18 [Luc]
Luc has joined #prov
16:11:22 [Zakim]
+ +1.937.343.aadd
16:11:23 [pgroth]
Zakim, who's loud?
16:11:24 [Zakim]
I don't understand your question, pgroth.
16:11:51 [Luc]
zakim, +44.238.059.aaaa is me
16:11:52 [Zakim]
sorry, Luc, I do not recognize a party named '+44.238.059.aaaa'
16:11:53 [Paolo]
Tim: wil use named grpahs, but also RDF to express accounts. So it's going to be both
16:12:04 [Luc]
zakim, who is on the phone?
16:12:04 [Zakim]
On the phone I see Curt_Tilmes, pgroth, Paolo, ??P56, [IPcaller], jcheney, Satya_Sahoo, Luc, tlebo, [ISI], khalidbelhajjame, Yogesh_Simmhan, khalidbelhajjame.a, dgarijo, Sandro,
16:12:05 [Paolo]
s/grpahs/graphs
16:12:07 [Zakim]
... +1.518.633.aacc, +1.937.343.aadd
16:12:20 [Vinh]
zakim, +1.937.343.aadd is me
16:12:21 [Zakim]
+Vinh; got it
16:12:43 [pgroth]
ack gk
16:12:43 [Zakim]
GK, you wanted to note that ORE uses trix graph as a base class for ORE resource map, which also is a named graph
16:12:43 [Luc]
... and also in prov-dm, accounts need to be finalized
16:12:56 [Paolo]
Paul: fine, but work is still ongoing in PROV-O re: accounts, which explains why they are not in the primer at tis time
16:13:01 [Paolo]
s/tis/this
16:13:05 [tlebo]
ORE - good pointer?
16:13:11 [tlebo]
thx!
16:13:17 [pgroth]
q?
16:13:37 [pgroth]
q?
16:13:41 [Paolo]
Simon: distribution of first draft expected by start of next week
16:13:42 [tlebo]
A rough example of account modeling: http://dvcs.w3.org/hg/prov/file/3ba83e9ffa92/ontology/components/Account/different-accounts-can-include-the-same-entity.ttl
16:13:48 [pgroth]
Topic: PAQ
16:13:56 [smiles]
@Paolo shall I take over scribing now?
16:14:10 [Paolo]
@simon: yes please, much appreciated :-)
16:14:14 [smiles]
Scribe: smiles
16:14:15 [YolandaGil]
YolandaGil has joined #prov
16:14:31 [Lena]
Lena has joined #prov
16:14:42 [Paolo]
I will do my other half next time :-)
16:14:46 [smiles]
GK: Updated PAQ, as agreed for FPWD
16:15:01 [smiles]
GK: Note, not yet fully proof read
16:15:43 [smiles]
pgroth: Big changes are to align the PAQ with the terminology in DM, e.g. entity
16:16:06 [smiles]
... and a decision about the format of headers for retrieving provenance info for a resource
16:16:29 [smiles]
... and added a section to deal with incremental access to large amounts of provenance
16:16:46 [smiles]
... Also compacted things, referring to DM
16:16:55 [smiles]
... Everyone please look at the document
16:17:12 [smiles]
GK: Closed issue tags in document but not tracker
16:17:44 [smiles]
... Comment from Yogesh about not guaranteed to get identifier of entity in provenance data, so added note on this
16:17:49 [pgroth]
q?
16:18:05 [Luc]
q+
16:18:27 [smiles]
Luc: Decide in next telecon whether to release FPWD?
16:18:42 [pgroth]
q?
16:18:43 [smiles]
pgroth: Yes, would be good to know if there are any show stoppers by next telecon
16:18:44 [pgroth]
ack Luc
16:18:48 [pgroth]
q?
16:18:56 [tlebo]
q+
16:19:02 [pgroth]
ack tlebo
16:19:16 [smiles]
tlebo: Will predicate hasProvenance be encoded in Prov-O?
16:19:52 [smiles]
GK: Was included for discussion, but yes need to agree with other task forces (namespace, name, inclusion in ontology)
16:20:08 [satya]
q+
16:20:25 [pgroth]
ack satya
16:20:32 [smiles]
tlebo: Will start developing inclusion of hasProvenance into ontology
16:20:42 [smiles]
satya: What is domain and range?
16:20:53 [tlebo]
owl:Thing.
16:20:58 [smiles]
GK: Domain is entity, range to be decided (account?)
16:21:08 [tlebo]
ProvenanceContainer?
16:21:37 [pgroth]
q?
16:21:42 [smiles]
satya: What provenance is may change across applications, need to assert about account or container itself
16:21:46 [smiles]
GK: Yes
16:22:00 [smiles]
GK: Account or container is itself an entity
16:22:00 [pgroth]
q?
16:22:00 [satya]
@GK +1 for that point
16:22:20 [dgarijo]
@GK that sound good to me too
16:22:21 [pgroth]
Topic: Update on PROV-O
16:22:56 [smiles]
satya: Fleshed out details on how to add qualifier info to predicates, modelled under class QualifiedInvolvement
16:23:16 [smiles]
satya: Outstanding issues: need good name for QI to entity link
16:23:41 [tlebo]
(we have been running with prov:entity, but prov:entityInQualification was suggested and sounds reasonable)
16:23:44 [Paolo]
apologies for checking out now --
16:23:46 [smiles]
... inference rules to apply to non-binary properties with new classes
16:24:03 [Zakim]
-Paolo
16:24:24 [smiles]
... need clarifications on DM: can roles be associated with both entities and process executions?
16:24:35 [smiles]
... at the moment only one or the other
16:25:03 [pgroth]
q?
16:25:05 [smiles]
... Moving forward, all terms except "entity in role" modelled, so working towards FPWD
16:25:06 [Luc]
q?
16:25:09 [Luc]
q+
16:25:13 [pgroth]
ack Luc
16:25:53 [tlebo]
The proposal is at http://www.w3.org/2011/prov/wiki/Qualifed_Involvements_in_PROV-O
16:25:55 [smiles]
satya: n-ary properties modelled as classes, can say 8 as denominator in division process
16:26:05 [smiles]
... but cannot model role of process execution
16:26:15 [zednik]
the process execution has a role (part or function) in itself?
16:26:19 [smiles]
Luc: Please send an email explaining problem with example
16:26:23 [pgroth]
q?
16:26:27 [GK]
That ORE reference I mentioned for mentioning graphs in an ontology: http://www.openarchives.org/ore/1.0/vocabulary.html#rem
16:26:29 [smiles]
satya: sure
16:26:32 [tlebo]
Thanks!
16:26:54 [pgroth]
Topic: PROV-XML
16:27:16 [smiles]
pgroth: In charter, have notion of natural XML serialisation of the DM
16:27:34 [smiles]
... due at 18 months, but can start thinking about now
16:27:49 [smiles]
... want to know who is interested in starting to produce this serialisation
16:28:05 [pgroth]
+q
16:28:08 [pgroth]
ack pgroth
16:28:10 [jcheney]
q+
16:28:10 [pgroth]
q?
16:28:17 [pgroth]
ack jcheney
16:28:55 [smiles]
jcheney: Some people previously said that RDF can be expressed in XML, but sounds like in charter going straight from DM to XML
16:29:03 [smiles]
... would be interested in being involved in some way
16:29:32 [smiles]
pgroth: Yes, in charter, straight from DM to XML, RDF/XML is not pretty XML
16:29:44 [pgroth]
q?
16:29:58 [GK]
Presumable, want something that plays well with XML tooling, which RDF/XML does not.
16:30:06 [Luc]
q+
16:30:11 [smiles]
jcheney: We should agree that this is indeed what is intended
16:30:17 [pgroth]
ack Luc
16:31:09 [smiles]
Luc: Interested in this, have had questions from users on OPM XML and interested in Prov XML schema, and they may be interested in contributing
16:31:26 [smiles]
... Has very early attempt at XML schema
16:31:29 [pgroth]
q?
16:31:50 [Luc]
q+
16:31:54 [pgroth]
ack Luc
16:32:03 [smiles]
pgroth: 2 people interested, maybe need to bring in other experts from outside
16:32:15 [zednik]
xml - I may be able to help, but will not be able to lead
16:32:32 [GK]
I might be interested in JSON :)
16:32:47 [khalidbelhajjame]
Me too Graham
16:32:52 [smiles]
Luc: questionnaire circulated showed interest in many serialisations, so some may be able to help with XML
16:32:52 [Curt]
+JSON
16:33:07 [smiles]
zednik: Yes, users interested in XML
16:33:15 [smiles]
... close to that of RDF
16:33:24 [GK]
(Even Zakim is interested, apparently :) )
16:33:25 [smiles]
Luc: go back to those people?
16:33:50 [smiles]
Luc: First go back to those people for feedback
16:33:51 [tlebo]
@gk, could you write something at http://www.w3.org/2011/prov/wiki/Using_named_graphs_to_model_Accounts#Graham.27s_OBE_note ?
16:33:58 [smiles]
zednik: will do so
16:34:15 [smiles]
Luc: may not be able to list on Wiki or email for privacy
16:34:38 [smiles]
zednik: some users agreed to have feedback shared, can put document up on protected W3C site
16:34:43 [GK]
@tlebo, sure
16:35:00 [smiles]
pgroth: Saw JSON interest on IRC, are people interest?
16:35:02 [pgroth]
Interest in JSON note?
16:35:15 [satya]
+1
16:35:16 [zednik]
+1
16:35:17 [khalidbelhajjame]
+1
16:35:21 [sandro]
+1
16:35:23 [jcheney]
+0.5 (what would we say exactly?)
16:35:23 [GK]
+1 ... but not in a rush to do it
16:35:25 [Curt]
We use JSON internally, but I think RDF makes a better standard for interchange.
16:35:27 [Curt]
+1
16:35:36 [dgarijo]
+0
16:35:52 [pgroth]
q?
16:36:01 [pgroth]
Topic: PROV-Semantics
16:36:37 [smiles]
pgroth: Deliverable on semantics in charter, but up to us to decide what is usable and interesting for standard
16:36:54 [jcheney]
Two possibilities (not mutually exclusive):
16:36:59 [GK]
q+ to say that I think there's some confusion around DM, ASN and semantics
16:37:11 [jcheney]
1. Developing a mathematical model of the "things", "entities", "processes", "events" and other relationships as in the PROV-DM, and explaining the PROV-DM statements in terms of this model. (current strawman)
16:38:17 [smiles]
jcheney: Current strawman generated some discussion, but died down, also needs updating to current DM
16:38:52 [smiles]
jcheney: Luc said was helpful, can provide some justifications for inferences
16:39:33 [jcheney]
2. Defining the mapping from PROV-DM to PROV-O (and maybe "PROV-XML") formally, e.g. using a datalog or ML-like notation.
16:40:04 [smiles]
jcheney: We might not just want to specify data model and serialisations separately, but also formally how we map from DM to those representations, what it means to be a correct translation
16:40:49 [smiles]
jcheney: Don't want to have multiple translators between each pair of serialisations, want to translate to Prov-DM and back
16:41:07 [pgroth]
q?
16:41:12 [pgroth]
ack GK
16:41:12 [Zakim]
GK, you wanted to say that I think there's some confusion around DM, ASN and semantics
16:42:14 [smiles]
GK: Concerned that there is a confusion between the DM and the RDF representation (as James said, but focus more on concepts)
16:42:49 [smiles]
... concerned about pushing RDF concepts into DM without RDF semantics, better for DM to be above the RDF structure
16:42:56 [satya]
@GK +1 for not conflating DM and RDF semantics'
16:43:16 [smiles]
... formal semantics, independent from OWL, for DM could help with this
16:43:39 [smiles]
... then may be possible to prove that RDF semantics corresponds to abstract DM
16:43:48 [pgroth]
q?
16:43:49 [satya]
q+
16:43:55 [pgroth]
ack satya
16:44:25 [tlebo]
+1 for adding a DM semantics. Some of the inferences in the DM writeup are difficult to follow from its narrative.
16:44:41 [smiles]
satya: Not clear how mapping is related to formal semantics, why not just translation
16:44:46 [GK]
@satya - isn't this like prrof-theoretic and model-theoretic laters?
16:44:47 [pgroth]
q?
16:44:52 [Luc]
q+
16:45:02 [pgroth]
ack Luc
16:45:26 [jcheney]
q+
16:45:31 [pgroth]
ack jcheney
16:45:32 [smiles]
Luc: James' suggestion 2 is good from interoperability point of view, regardless of whether part of formal semantics activity
16:45:48 [tlebo]
q+ to ask about mechanics of a concrete language for DM, and it's mapping to XML and RDF and JSON.
16:46:14 [satya]
@GK, I guess but not sure in context of DM and its semantics
16:46:14 [GK]
q+ to respond to luc - I think there's a difference between interop and provable equivalence of representations/transforms
16:46:37 [smiles]
jcheney: We already talk about how to translate ASN to Prov-O in Prov-O document, so thought useful to have more mathematically precise defn of that in formal semantics
16:46:58 [Zakim]
-khalidbelhajjame.a
16:47:02 [pgroth]
ack tlebo
16:47:02 [Zakim]
tlebo, you wanted to ask about mechanics of a concrete language for DM, and it's mapping to XML and RDF and JSON.
16:47:03 [satya]
@James - I think we need it
16:47:08 [smiles]
... if we have one deliverable of formalisation, then a formal mapping to serialisation should go there
16:47:45 [smiles]
tlebo: How does mechanics of formal semantics work? How different to, more precise than the serialisations?
16:48:17 [satya]
@James - In addition, as WG we have the responsibility for defining the mappings between the different representations (DM, PROV-O, XML, JSON)
16:48:45 [Paolo]
Paolo has joined #prov
16:48:54 [Zakim]
+??P2
16:49:02 [smiles]
jcheney: First thought of what goes in formal semantics is like RDF semantics, e.g. what you can write in the language
16:49:07 [Paolo]
zakim, ??P2 is me
16:49:07 [Zakim]
+Paolo; got it
16:49:30 [tlebo]
what do you mean by "scope" :-)
16:49:45 [tlebo]
naming or account partitioning
16:50:02 [pgroth]
q?
16:50:34 [satya]
q+
16:50:44 [smiles]
... If we have semantics abstracts from what you have to write down, then can express self-consistency of scoping rules etc..
16:50:56 [pgroth]
ack GK
16:50:56 [Zakim]
GK, you wanted to respond to luc - I think there's a difference between interop and provable equivalence of representations/transforms
16:51:37 [smiles]
GK: In SW area, model theoretic semantics maps OWL/RDF expressions to objects in domain of discourse (set theory)
16:52:28 [smiles]
GK: With regards to interoperability, difference between demonstrating interoperability and formally proving equivalence
16:53:07 [smiles]
... Pat Hayes formal semantics of RDF is a useful intro to model theoretic semantics
16:53:08 [pgroth]
ack satya
16:54:14 [smiles]
satya: Important to define mappings from DM to serialisations, but how necessary to define semantics of DM/ASN itself? Is outcome that we are defining a new language, ASN?
16:54:23 [Luc]
we would give the semantics of DM not ASN!
16:54:29 [pgroth]
q?
16:55:08 [smiles]
pgroth: Some agreement for a need for formal semantics of DM (suggestion 1 by James)
16:55:51 [Luc]
we would give the semantics of DM not ASN!
16:55:51 [pgroth]
q?
16:56:07 [Paolo]
@satya: the semantics is of the model not the language
16:56:27 [pgroth]
q?
16:56:59 [smiles]
jcheney: To move forward, first need to catch up with DM and compare with strawman
16:57:25 [smiles]
... regardless of whether mapping is formal semantics or not, still clear it is useful and focus on first
16:57:55 [satya]
@Paolo: I will reserve my comments (till we have more details of the formal semantics of DM means)
16:57:55 [GK]
James mentioned a datalog approach: I think that could be used to build in formal semantics from FoL - for which there exists a model theory.
16:58:11 [satya]
@GK, ok that makes sense
16:58:22 [smiles]
... Also happy for anyone interested to be involved, starting with mapping from Prov-DM to Prov-O
16:58:22 [GK]
There was a proposal by R V Guha and (I think) Pat Hayes, many years ago, to do something sikilar for RDF.
16:58:22 [satya]
@James - I can help you with that
16:58:45 [pgroth]
TOPIC: Prov-DM
16:59:06 [pgroth]
Proposed: Use a single notion of attribute-value pairs to characterize entities, activities, use and generation. As a result, drop the notion of qualifier and its associated production."
16:59:23 [Paolo]
@satya: set-theoretical interpretation is usually what works with data models
16:59:35 [pgroth]
http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0122.html
16:59:54 [GK]
+1 (but have separate concern about the phrasing using "characterozation")
16:59:57 [tlebo]
q+
16:59:57 [smiles]
pgroth: any objections?
16:59:57 [dgarijo]
+1
17:00:01 [Paolo]
+1
17:00:04 [pgroth]
q?
17:00:16 [pgroth]
ack tlebo
17:00:16 [smiles]
tlebo: what was the intent of the distinction?
17:00:22 [jcheney]
@satya, @paolo: The strawman is an attempt to map PROV-DM in terms of sets/functions.
17:00:56 [Paolo]
good, thanks
17:00:59 [smiles]
Luc: Attributes were in context of entities, fixed in characterisation interval; relations did not have durations
17:01:00 [Zakim]
-Yogesh_Simmhan
17:01:04 [Yogesh]
Yogesh has left #prov
17:01:12 [jcheney]
@GK: Yes, datalog is interpretable in terms of FO model theory; however, dealing with things that change over time seem hard to model this way. Still, datalog good as a lightweight formalism.
17:01:13 [smiles]
... but distinction did not bring much, so better to merge
17:01:37 [GK]
@jcheney if functions themselves are sets of pairs, that maybe starts to look like a model theory?
17:01:44 [pgroth]
Accepted: Use a single notion of attribute-value pairs to characterize entities, activities, use and generation. As a result, drop the notion of qualifier and its associated production.
17:02:05 [pgroth]
http://lists.w3.org/Archives/Public/public-prov-wg/2011Nov/0087.html
17:02:23 [tlebo]
Tim's notes on Luc's response: attriubtes on entities (duration, characterization, etc) same for PEs. but for Relations (didn't have durations). ATTRIBUTE-values were for Entity+PEs, NAME-values were on Relations.
17:02:26 [jcheney]
@GK: Correct, using functions doesn't take us out of set theory/model theory semantics.
17:02:52 [satya]
@Paul: I also need additional clarification
17:02:58 [smiles]
pgroth: Fairly well accepted, except for Simon's objection
17:03:05 [tlebo]
q?
17:03:12 [satya]
@Paul: I did not have time to respond to this issue
17:03:15 [smiles]
Luc: actually very few voted either way
17:03:49 [smiles]
Luc: we haven't got enough support yet to resolve here, need to understand what Simon is saying
17:04:01 [GK]
I was unclear about dependedUpon/eventuallyDerivedFrom distinction.
17:04:04 [tlebo]
I'm confused by the use of multiple proposals; will try to read and comment on email.
17:04:23 [tlebo]
(but I did get the impression that much of those predicates were redundant)
17:04:37 [GK]
I think the transitivity issue is a different one
17:04:38 [smiles]
Luc: we need a notion of transitive derivation, good examples of non-transitive when linked to activities, but unclear on wasEventuallyDerivedFrom
17:04:42 [Paolo]
general proposal: in addition to recording objections on the list (which may have veto effect), keep an exact count of the people who vote on the list -- the support to a proposal
17:05:05 [GK]
simplification is good!
17:05:06 [smiles]
pgroth: Goal is to simplify
17:05:10 [Zakim]
-Satya_Sahoo
17:05:11 [Zakim]
-tlebo
17:05:12 [Zakim]
-[ISI]
17:05:13 [Zakim]
-jcheney
17:05:15 [Zakim]
-dgarijo
17:05:17 [Zakim]
-Paolo
17:05:22 [Zakim]
- +1.518.633.aacc
17:05:23 [Zakim]
-Sandro
17:05:33 [Zakim]
-Luc
17:05:35 [Zakim]
-Curt_Tilmes
17:05:39 [Zakim]
-??P56
17:05:41 [Zakim]
-khalidbelhajjame
17:05:52 [pgroth]
rrsagent, set log public
17:05:54 [Zakim]
-pgroth
17:05:57 [pgroth]
rrsagent, draft minutes
17:05:57 [RRSAgent]
I have made the request to generate http://www.w3.org/2011/11/10-prov-minutes.html pgroth
17:06:00 [Zakim]
-[IPcaller]
17:06:04 [Zakim]
-Vinh
17:06:04 [pgroth]
trackbot, end telecon
17:06:04 [trackbot]
Zakim, list attendees
17:06:05 [trackbot]
RRSAgent, please draft minutes
17:06:05 [RRSAgent]
I have made the request to generate http://www.w3.org/2011/11/10-prov-minutes.html trackbot
17:06:06 [Zakim]
SW_(PROV)11:00AM has ended
17:06:06 [trackbot]
RRSAgent, bye
17:06:06 [RRSAgent]
I see no action items