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 message: [ Message body ]
Next message: Jonas Liljegren: "xmlns, uri+name pairs or just uris..? Clarification needed."
Previous message: Dan Brickley: "Re: [Fwd: xmlns, uri+name pairs or just uris..? Clarification needed.]"
Maybe in reply to: jos.deroo.jd@belgium.agfa.com: "lists and other facts and rules in RDF"
Next in thread: Robert E. Kent: "RE: lists and other facts and rules in RDF"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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