W3C home > Mailing lists > Public > public-rif-wg@w3.org > July 2008

Re: [RIF] DTB comment/question

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>
Message-ID: <20080718124843.05b6909d@kiferserv>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:52 GMT