- From: Simon Miles <simon.miles@kcl.ac.uk>
- Date: Sun, 4 Dec 2011 12:04:28 +0000
- To: Provenance Working Group WG <public-prov-wg@w3.org>
Hello Jim, I think this is a nice way to give more precision to what it means to have actual derivation as distinct from mere connection. I agree that it is still informal, but I'd support it being included in the explanation of derivation in the DM (and then reflected in the primer). Thanks, SImon On 28 November 2011 14:21, Myers, Jim <MYERSJ4@rpi.edu> wrote: >> >> I did not argue that necessarilyDerivedFrom should have any formal >> semantics, > > I think there is a way to formalize this, but it may be a bit beyond the standard (so this may be an aside): B necessarilyDerivedFrom A is an assertion that the process connections between B and A and any entities in intermediate steps between B and A cannot be decomposed in ways that would disconnect B from A. I.e. the asserter doesn't believe there is any more detailed description of the provenance where, for example, [B was created by a sub-process that did not use A], or where [B is really part of some intermediate that was derived from A but if you decompose the intermediate you find that the B part was not derived from A]. If we don't have a clear sense of process and entity decomposition, we can't use this definition formally, but I think it captures the right idea of what "truly" derived from means... (note: the asserter may not know what process(es) connect B and A and may not know how to do the decomposition, so it can remain an assertion. If the standard was ever extended (or if domain ontologies extend it) to allow assertions of processes and entities to be labeled as 'atomic', one could also infer necessarilyDerivedFrom - is it just this part that is outside the standard - i.e. the definition here works but we're limited to making it an assertion only?) > > Jim > -- Dr Simon Miles Lecturer, Department of Informatics Kings College London, WC2R 2LS, UK +44 (0)20 7848 1166 Modelling the Provenance of Data in Autonomous Systems: http://eprints.dcs.kcl.ac.uk/1264/
Received on Sunday, 4 December 2011 12:05:00 UTC