- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Mon, 14 Oct 2002 15:03:58 +0100
- To: "Patrick Stickler" <patrick.stickler@nokia.com>, "ext Dan Connolly" <connolly@w3.org>, <w3c-rdfcore-wg@w3.org>
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
Received on Monday, 14 October 2002 10:01:31 UTC