- From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
- Date: Fri, 24 Jun 2011 11:26:27 +0100
- To: Paolo Missier <Paolo.Missier@ncl.ac.uk>
- Cc: public-prov-wg@w3.org
I tried at http://www.w3.org/2011/prov/wiki/ConceptInvariantViewOnThing#Comment_by_Stian__24_June_2011 - but I think I confused myself by bringing in too much. :-) We earlier talked about something simple like: rectangle A may have varying length and width, whereas B, an IVP of A, may have a invariant area On Fri, Jun 24, 2011 at 10:22, Paolo Missier <Paolo.Missier@ncl.ac.uk> wrote: > Hi, > following a suggestion by Simon in the latest telecon: to help with the > understanding by those not formerly involved, and more importantly with the > synthesis process by the Model TF: > can those who voted for the "further simplification" version please provide > (on the wiki) one example each that illustrates: > - A > - B > - "stuff" > - "stuff state" > - "correspondence" > - "consistency" > > I went through the entire thread that led to this, and I still don't get it, > sorry! > > -Paolo > > > > -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of Manchester
Received on Friday, 24 June 2011 10:27:15 UTC