- From: Jun Zhao <jun.zhao@zoo.ox.ac.uk>
- Date: Thu, 23 Feb 2012 15:58:01 +0000
- 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 UTC