- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Mon, 23 Sep 2002 15:47:11 +0200
- To: "Patrick Stickler" <patrick.stickler@nokia.com>
- Cc: "Dave Beckett" <dave.beckett@bristol.ac.uk>, "ext Jeremy Carroll" <jjc@hplb.hpl.hp.com>, "RDF Core" <w3c-rdfcore-wg@w3.org>
[...] > I'm still not convinced, though, that the above could not be > made to entail itself in the MT, since the systemID of the > implicitly typed literal (the _:x in _:x"foo") acts > like a bnode nodeID of a datatype, and can be treated in > like manner. I think so indeed _:a eg:name _:x"Patrick Stickler" . entails _:b eg:name _:y"Patrick Stickler" . -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/ PS however (and again) _:a eg:name "Patrick Stickler" . does *not* entail _:b eg:name _:y"Patrick Stickler" .
Received on Monday, 23 September 2002 09:47:52 UTC