Re: smaller example


I think the example is helpful, and I suggest the discussion at the
end suggests that "invariant view or perspective on a thing" is not
quite right. All of i0, i1, i2, i3, i4 and i5 are more obviously
things than views: a file, or a file with some content, or the content
of a message.

Instead, I suggest we mean "thing which is invariant from some
perspective", i.e. what we are talking about when referring to i0-i5
is the thing, not the view.

They are all invariant in some way. For i1 to i5 they are invariant
from the perspective of their content, at very least. For i0, it is
invariant from the perspective of its identity, i.e. the reason why we
talk about i0 as a thing at all is that it is consistently
(invariantly) considered the same file even if its contents are

I suggest i0 can be included in the Mapping as follows:
"We have some Abstractions I -> I:
i1 -> i0
i2 -> i0
i3 -> i0"
(meaning the abstraction of i1 is i0 etc.) Jim used the term
"abstraction" in his proposal for "resource" definition, but other
terms may be as good.


On 13 June 2011 10:37, Luc Moreau <> wrote:
> Dear all,
> On June 7th [1], we agreed on "In a first instance, to define the
> necessary concepts
> that allow us  to express the provenance of an invariant view or
> perspective on a thing".
> Putting this in practice turns out to be difficult.
> While the egg example is interesting, the scenario seems to evolve all
> the time. Also, I
> thought that, in a first instance, we may want to look at things that
> are digital, before
> seeing how our ideas extend to the non-digital world.
> Obviously, we have our data journalism example, but we seem to ignore. I
> think that we ignore
> it because:
> - it does not focus on changing things
> - it is not precise about how information is published/access,
> - it is quite long
> (I liked what Simon proposed for this example [2] and this inspired me here)
> To unblock the situation, I have:
> - drafted a smaller example [3], focusing on a file being updated
> - tried to illustrate examples of IVPTs in this example
> - highlighted an example of IVPT that I don't know how to handle.
> In this example, it would be good to see
> - where we have consensus
> - where we have disagreement
> - how we handle the outstanding example (i0) of IVPT
> Feedback by email or on wiki welcome!
> Cheers,
> Luc
> [1]
> [2]
> [3]
> --
> Professor Luc Moreau
> Electronics and Computer Science   tel:   +44 23 8059 4487
> University of Southampton          fax:   +44 23 8059 2865
> Southampton SO17 1BJ               email:
> United Kingdom           
> ______________________________________________________________________
> This email has been scanned by the MessageLabs Email Security System.
> For more information please visit
> ______________________________________________________________________

Dr Simon Miles
Lecturer, Department of Informatics
Kings College London, WC2R 2LS, UK
+44 (0)20 7848 1166

Received on Monday, 13 June 2011 13:51:38 UTC