- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 17 Aug 2001 12:46:00 +0100
- To: w3c-rdfcore-wg@w3.org
In danger of making another mistake .... I didn't quite see how the interpolation lemma worked when the LHS has anonymous nodes. How does it get the following entailment _:x <b> <c> . entails _:y <b> <c> . Sorry if I'm being stupid. Jeremy
Received on Friday, 17 August 2001 07:41:42 UTC