W3C home > Mailing lists > Public > public-prov-wg@w3.org > February 2012

Re: Collections in PROV-O

From: Jun Zhao <jun.zhao@zoo.ox.ac.uk>
Date: Thu, 23 Feb 2012 15:58:01 +0000
Message-ID: <4F466209.4030405@zoo.ox.ac.uk>
To: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
CC: Paolo Missier <Paolo.Missier@ncl.ac.uk>, "public-prov-wg@w3.org" <public-prov-wg@w3.org>
Stian,

I understand now.

But this will lead to a whole new series of review about my semantics of 
containment:)

Let's settle for membership containment for the moment, i.e. the second 
case. I can also add another example membership relationship:

A = { a, b, c }
a containedBy A.

--- Jun

On 23/02/2012 15:39, Stian Soiland-Reyes wrote:
> On Thu, Feb 23, 2012 at 15:31, Jun Zhao<jun.zhao@zoo.ox.ac.uk>  wrote:
>
>
>> A member of a set can be a set itself, no?
>> Or do I misunderstand you?
>
> A = { 1, 2, 3 }
> B = { 1, 2 }
>
> The set of B is contained by the set A - A includes every item of B.
>
>
> A = { B, C, D }
> B = { 1, 2 }
>
> The set A contains the member B. A is a set of sets.
>
>
>
Received on Thursday, 23 February 2012 15:58:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:56 GMT