Re: Action 299 - removing sorts

> Unless I'm missing something there is nothing in that section concerning 
> typed literal data values. There seems to be no mention of them in 
> either the abstract syntax or the semantics, just a list of xsd types at 
> the front.  Is that material now somewhere else or is it work in 
> progress or am I just blind? [*]
> 
> Similarly whilst the introduction says that IRIs are used to refer to 
> individuals, predicates and functions the abstract syntax doesn't yet
> support that.  [Reasonable at this stage, I'm just noting it so we don't 
> forget it.]


Dave,
I have now updated the document to include the discussion of the abstract data
type in the formal/concrete syntax and semantics. Will appreciate feedback.


	cheers
	  --michael  

Received on Thursday, 19 July 2007 13:30:01 UTC