Re: [RIF] homework for 10/17 telecon

> 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