- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Mon, 16 Oct 2006 10:18:36 -0400
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- 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 You can put it this way, but IRIs and other data types are nicely formalized as sorts. So, this is the most natural way to approach these issues (incl. webizing). I thought it was clear, but if not I hope that this discussion clears things up. --michael
Received on Monday, 16 October 2006 14:22:31 UTC