- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Mon, 15 Mar 2004 09:25:36 +0000
- To: Andrew Newman <andrew@tucanatech.com>
- Cc: www-rdf-interest@w3.org
Andrew Newman wrote: > Isn't that nearly always going to be wrong? I mean just because an > bnode has the same properties (say first name and last name or even just > first name) doesn't mean they are the same thing. Second sentence is true but irrelevant to the first. A reduction from G to G' is sound and complete iff G entails G' and G' entails G by the RDF Semantics. This definition, which in my view is a useful take on the RDF Recs, may be worth implementing in software (not that I have done so). Any semantic processing of G that does not work on G' is potentially non-interoperable and requires thought. In particular counting the number of bnodes linked by an eg:foo edge to eg:bar should not make any material difference (i.e. semantically relevant) to the actions of an RDF processor. Jeremy
Received on Monday, 15 March 2004 04:26:00 UTC