W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2000

Re: lists and other facts and rules in RDF

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 11 Aug 2000 12:32:41 +0200
To: " - *De_Roo, Jos" <jos.deroo.jd@belgium.agfa.com>
Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>, " - *connolly@w3.org" <connolly@w3.org>
Message-Id: <0006800029046170000002L002*@MHS>
I was mistaken, the proof of
[data:c e:in [data:a e:list [data:b e:list [data:c e:list e:empty]]]]

is actually
[e:ok e:and
[e:ok e:and
[e:ok e:and
[data:c e:in [data:c e:list e:empty]]] e:thus
[data:c e:in [data:b e:list [data:c e:list e:empty]]]] e:thus
[data:c e:in [data:a e:list [data:b e:list [data:c e:list e:empty]]]]]

Jos De Roo -- AGFA
Received on Friday, 11 August 2000 06:34:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:43 GMT