- From: Dave Reynolds <der@hplb.hpl.hp.com>
- Date: Mon, 16 Oct 2006 15:12:36 +0100
- 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 UTC