Datatypes Convergence

I'm really glad to see the progress made on datatypes this week.  I think 
we may have got to the point where can have a single proposal with some 
unresolved issues.  This would be magnificent progress from having two 
proposals.

I therefore suggest that Sergey and PatrickS take an action jointly to 
prepare a converged datatyping proposal document and circulate it to the WG 
by Wed, 13th Feb 2002.  That document should be based on:

   - using rdf:dType for datatyping
   - that S-P/TDL is used for global typing
   - using Graham's doublet suggestion, as adopted by Pat to fix
     the model theory
   - using the simpler of the two approaches suggested by Pat for the
     model theory
   - that <foo> <bar> "10" is untyped, as in current m&s, but a
     syntactic transform can be used to turn it into a typed structure
     with a b-node

They key thing about this document is lock in the progress we have made, so 
if there are outstanding issues that are still unresolved, note them in the 
document and bring them back to the WG for comment.
Of course, I'd love it if there weren't any.  I wouldn't expect this 
document to necessarily cover the model theory at this stage.

Brian

Received on Wednesday, 6 February 2002 12:51:20 UTC