Re: details of rdf:datatype?

At 16:28 14/10/2002 +0300, Patrick Stickler wrote:

[...]


>At the RDF MT level, it does not hold.

I don't recall hearing Pat say that.  I could imagine the model theory saying:

   <a> <b> dt1"foo" .

entails

   <a> <b> dt2"bar"

where  dt1.value("foo") = dt2.value("bar")

but I'm not a model theorist.

Brian