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.

Brian
Received on Tuesday, 31 July 2001 17:21:32 EDT

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