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

ACTION-761 - Lists in Core done

From: Adrian Paschke <paschke@inf.fu-berlin.de>
Date: Mon, 4 May 2009 19:00:31 +0200
To: "'RIF WG'" <public-rif-wg@w3.org>
Message-ID: <02d001c9ccd9$d82eb900$888c2b00$@fu-berlin.de>
I have added the restriction on ground list in Core. 


Syntactically Harold and I updated the EBNF to ground lists (without
variables). The semantics follows from this syntactic restriction. To make
it explicit I have added a statement about ground list terms which are safe
to the safeness definition.


Received on Monday, 4 May 2009 17:01:18 UTC

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