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> .


_:y <b> <c> .

Sorry if I'm being stupid.

Received on Friday, 17 August 2001 07:41:42 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:03 UTC