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 11:16:46 +0100
To: <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDCEBDCCAA.jjc@hplb.hpl.hp.com>
I wrote:
>   whereas the interpolation lemma
> seems to be false.

Oops, no I made a mistake. A smaller graph (in terms of edge count) can
entail a larger graph.

Rest of the message stands, thanks Jos for the proofs.

By the way, I am happy with anonymous nodes as existentially quantified, I
just wished to highlight one of the corollaries.

Received on Friday, 17 August 2001 06:17:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:50 UTC