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.

Jeremy
Received on Friday, 17 August 2001 06:17:39 EDT

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