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

[BLD] comments on the semantics of lists

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Fri, 08 Feb 2008 17:09:12 +0100
Message-ID: <47AC7EA8.5070901@inf.unibz.it>
To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
CC: RIF WG <public-rif-wg@w3.org>
Harold,

I had a closer look at your proposal for the semantics of lists in RIF 
[1].  I have a few comments:

The symbol nil is not defined.  It should probably be something like 
"the domain of every RIF structure I contains an object nil".

The function pair is not defined.  It should probably be something like 
"every RIF structure contains a function pair: D x Dl -> Dl, where Dl is 
a subset of D comprising the object nil and the range of pair".

Apart from these two things, the proposal looks fine.

Best, Jos

[1] http://www.w3.org/2005/rules/wg/wiki/Core/List_Constructor
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
Doubt is not a pleasant condition, but
certainty is absurd.
   - Voltaire


Received on Friday, 8 February 2008 16:09:36 GMT

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