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

RE: doubts about lists - part 2

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Wed, 12 Mar 2008 10:45:37 -0400
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E904FFDE2F@nrccenexb1.nrc.ca>
To: "Michael Kifer" <kifer@cs.sunysb.edu>, "RIF WG" <public-rif-wg@w3.org>

We initially had a treatment of lists as syntactic sugar:

We could give a recursive definition of Equal applied to lists.

-- Harold

-----Original Message-----
From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org]
On Behalf Of Michael Kifer
Sent: March 12, 2008 10:51 AM
Subject: doubts about lists - part 2

I should clarify myself in the previous post.

I was not proposing to drop lists from the syntax, but rather to drop
the semantic part altogether.
Since we have function symbols, as Hassan noted, let's just treat lists
as syntactic sugar.

We can have symbols, rif:listPair and rif:nilList, and encode things
like Seq(X,Y|W) in the usual way:
rif:listPair(X,rif:listPair(Y, rif:listPair(W,nilList)).

There is a slight problem with the fact that equality can make
Seq(a,b) equal Seq(a,b,c). (Say, by equating these two the same IRI.)
But we had the same problem with the semantics of lists.

Now I am thinking that it is easier to fix that through the semantics
than through syntactic restrictions. But it is not clear whether we
should care that distinct lists might become equal.

Any thoughts?

Received on Wednesday, 12 March 2008 14:45:53 UTC

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