Re: AWWSW Telecon Tuesday 2011-08-30 ?

Jonathan Rees writes:

>> And I haven't gotten much feedback on
>> http://www.w3.org/2001/tag/awwsw/ir/latest/ , which to me pretty much
>> answers to my satisfaction the question that created this group (at
>> the HCLS/TAG meeting way back when): what is this 'information
>> resource' deal and what does it have to do with the price of eggs?

Just above the diagram in Section 3, I presume that "universally
quantified statements" means "statements universally quantified over
specialisations of their generic subject"?  If so, perhaps better to
actually say that.  Except that you haven't used or defined
'specialise' yet.  Oops--in fact you do use 'specialise' once, later,
but don't _ever_ define it. . .

ht
-- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]

Received on Wednesday, 28 September 2011 15:40:17 UTC