W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: model theory (W3C publication stuff)

From: <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 30 Aug 2001 18:57:53 +0100
To: phayes@ai.uwf.edu
Cc: connolly@w3.org, w3c-rdfcore-wg@w3.org
Message-Id: <OF43C82102.8EB1F95C-ON41256AB8.00622FF8@bayer-ag.com>

[...]
> 5. I could put the 'lemmas' back in, probably best as an appendix
> though rather than in the main text.  Again, comments in either
> direction?

I would love to have them in (and indeed as appendix
and better later than never).
They are actually close to test cases and ideal for
regression tests and I can spend time on that.

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 30 August 2001 12:58:27 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:50 EDT