- From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
- Date: Tue, 21 Jun 2011 11:07:27 +0100
- To: public-prov-wg@w3.org
On Mon, Jun 20, 2011 at 17:06, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote: > Following comments, I have tried to simplify the definitions of 'thing' and > 'IVP of' further. > > http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Further_simplification +1 with the qualification of correspondence, for instance: The asserter is free to choose what "corresponding properties" above means. The corresponding properties might match many-to-many, eg. rectangle A may have varying length and width, whereas B, an IVP of A, may have a invariant area. -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of Manchester
Received on Tuesday, 21 June 2011 10:08:14 UTC