W3C home > Mailing lists > Public > public-rif-wg@w3.org > October 2006

Re: [RIF] homework for 10/17 telecon

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Mon, 16 Oct 2006 15:12:36 +0100
Message-ID: <45339354.8000603@hplb.hpl.hp.com>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

Michael Kifer wrote:

>> In any case we need IRIs for the relation and function symbols 
>> irrespective of sorting.
> 
> No, this is the first step in adding sorts.

No, surely it's the first step in webizing[*] a language.

Dave

[*] Sorry for the horrible name, not my invention:
http://www.w3.org/DesignIssues/Webize.html
Received on Monday, 16 October 2006 14:13:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:33 GMT