Re: Typed literals: current status

[...]

> > this looks to me like a model theoretic closure rule, possibly at the
RDFS
> > level (before any specific datatypes are assumed)
> >
> > i.e.
> >
> > aaa ppp <datatype>lll .
> >
> > rdfs-entails
> >
> > <datatype> rdf:type rdfs:Datatype .
> >
> >
> > Comments, (Pat?)
>
> Gads, I hope not! Up to now, RDFS closures have not
> involved deconstructing literals. I hope we
> don't start now!

I was using that as well in the sense that
  eg:dt"de"-be str:pair ( eg:dt "de"-be ) .
holds
while at it, I'm finding bugs in the type
deduction as well... can't see any fix at all
so I'll take it back...

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/