RE: Datatyping Summary V2

Jeremy:
> [[[
>
> Issue B?: TDL self-entailment
>
> In TDL a document does not entail itself.
>
> Cannot live with: Graham, Jeremy, DanC
>
> ]]]

I have finally had a stab at updating the TDL Model Theory in line with the
existentially quantified literals idea. See:

http://lists.w3.org/Archives/Public/www-archive/2002Jan/att-0157/01-RDF_Data
typing.htm

the attachment in

http://lists.w3.org/Archives/Public/www-archive/2002Jan/0157.html

feedback welcome.
Changed text in purple.

(Sorry the picture links are currently broken).

Jeremy