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

Re: updated draft of model theory

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Tue, 31 Jul 2001 22:18:49 +0100
Message-ID: <3B6720B9.C79AA24B@hplb.hpl.hp.com>
To: Dan Connolly <connolly@w3.org>
CC: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org

Dan Connolly wrote:
> again, I used larch's finite set gizmo for such as set of triples.
> Is it fair to assume that the set-of-triples we're interested in are
> finite?

There may be implementations that compute statements on demand.  The set
of statements that could be computed may not be finite.

Received on Tuesday, 31 July 2001 17:21:32 UTC

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