- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Fri, 18 Jul 2008 12:48:43 -0400
- To: Stella Mitchell <cleo@us.ibm.com>
- Cc: RIF <public-rif-wg@w3.org>
On Fri, 18 Jul 2008 11:55:24 -0400 Stella Mitchell <cleo@us.ibm.com> wrote: > In section 2.1.1, the rif:local bullet says that occurrences of the same > rif:local > constant in the same document must refer to the same object. This is > required > by BLD, but is it also required by FLD, for all logic dialects? > > Stella Yes. The semantics of rif:local is the same in FLD. michael
Received on Friday, 18 July 2008 16:53:18 UTC