- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Tue, 21 Jun 2011 11:38:48 +0100
- To: public-prov-wg@w3.org
Good suggestion, Stian, thanks! Luc On 06/21/2011 11:07 AM, Stian Soiland-Reyes wrote: > 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. > > > > -- Professor Luc Moreau Electronics and Computer Science tel: +44 23 8059 4487 University of Southampton fax: +44 23 8059 2865 Southampton SO17 1BJ email: l.moreau@ecs.soton.ac.uk United Kingdom http://www.ecs.soton.ac.uk/~lavm
Received on Tuesday, 21 June 2011 10:39:19 UTC