W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: Existential Quantification [Re: New RDF model theory]

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 17 Aug 2001 12:46:00 +0100
Message-ID: <3B7D03F8.F8F9D958@hplb.hpl.hp.com>
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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:46 EDT