Re: Collections in PROV-O

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.



-- 
Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester

Received on Thursday, 23 February 2012 15:40:21 UTC