- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Mon, 16 Oct 2006 09:39:16 -0400
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- Cc: Christopher Welty <welty@us.ibm.com>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
> However, it was the example itself which left me with the (apparently > mis-)understanding that this was still work in progress since the > terminals in there don't meet our needs. For example, we require that > functions and relations be identifiable with URIs - I see no URIs, > qnames or curis in that example. We need typed literals of some form and > whilst there has been some discussion on that as a result of DanC's > questions I see nothing those pages that suggests what the final > proposed approach is. That example includes a constant "$49" which I > have assuming is a place holder for some structured value mean to be a > integer with an associated currency tag. The variables will need meet > W3C i18n standards and I see no part of that sketch which explains the > i18n approach. Yes, you are right. The original syntax had IRIs, but several weeks ago there was a decision at a telecon to first specify an unsorted logic. Data types (IRIs being one of them) will be later introduced as sorts. You should realize that this is just a first step. There are many more details to be worked out, such as builtins, data types, etc. regards --michael
Received on Monday, 16 October 2006 13:47:01 UTC