ACTION-761 - Lists in Core done from Adrian Paschke on 2009-05-04 (public-rif-wg@w3.org from May 2009)

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.

 

-Adrian

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