W3C home > Mailing lists > Public > public-awwsw@w3.org > October 2011

Re: superimposing the Fielding and TBL architectures

From: Jonathan Rees <jar@creativecommons.org>
Date: Fri, 7 Oct 2011 10:52:01 -0400
Message-ID: <CACHXnaqNr0YfuML+R46jz8ydKOri1qC3n3rO-hKm8=P02HZMQw@mail.gmail.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 7 October 2011 14:52:37 GMT