W3C home > Mailing lists > Public > public-prov-wg@w3.org > December 2011

Re: PROV-DM derivation concerns arising from my primer review

From: Simon Miles <simon.miles@kcl.ac.uk>
Date: Sun, 4 Dec 2011 12:04:28 +0000
Message-ID: <CAKc1nHfs5r1wHz=dKZ=XEzxk9OH-Kk2UdnmbZPDZXudtn2+MwA@mail.gmail.com>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:04 UTC