W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2009

Re: [Core] new safeness condition

From: Sandro Hawke <sandro@w3.org>
Date: Mon, 26 Jan 2009 11:54:48 -0500
To: Axel Polleres <axel.polleres@deri.org>
cc: Jos de Bruijn <debruijn@inf.unibz.it>, RIF WG <public-rif-wg@w3.org>
Message-ID: <32272.1232988888@ubehebe>

> Looks sound, but implies that finiteness is no longer is requested.
> Was that what was agreed? (Am just catching up with reading minutes)

My sense of the group was that everyone present prefered to give up on
finiteness, but we told that you had an argument for it, so we wanted to
wait until we'd at least heard that argument.  (Something about datalog
implementations, I think.)

     -- Sandro
Received on Monday, 26 January 2009 16:54:57 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:54 UTC