- From: Jonathan Rees <jar@creativecommons.org>
- Date: Fri, 7 Oct 2011 10:52:01 -0400
- To: David Booth <david@dbooth.org>
- Cc: Pat Hayes <phayes@ihmc.us>, AWWSW TF <public-awwsw@w3.org>
A class is a one-place predicate. JAR On Wed, Oct 5, 2011 at 10:55 PM, David Booth <david@dbooth.org> wrote: > On Wed, 2011-10-05 at 17:49 -0400, Jonathan Rees wrote: > . . . >> Now let C be any class. Say that C is ≤-closed if the following holds: >> for all generic resources g and h, C(g) and h ≤ g imply C(h). >> (One might say C is "heritable under specialization".) > > Can you explain your notation please? You said C is a class, but "C(g)" > looks like you are treating C as a predicate or function. What do you > mean by "C(g)"? > > > > -- > David Booth, Ph.D. > http://dbooth.org/ > > Opinions expressed herein are those of the author and do not necessarily > reflect those of his employer. > >
Received on Friday, 7 October 2011 14:52:37 UTC