W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2003

PR version of S&AS

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Tue, 2 Dec 2003 19:28:10 +0000
Message-ID: <16332.59338.719557.191268@galahad.cs.man.ac.uk>
To: www-webont-wg@w3.org
Cc: Sandro Hawke <sandro@w3.org>, "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>

I have now updated S&AS to address all the comments made by Herman,
and the resulting editors draft is in the usual place [1].  These
changes may have an impact on the proofs in Appendix A - they should
be checked and perhaps updated.

Ian

[1] http://www.cs.man.ac.uk/~horrocks/owl/semantics/
Received on Tuesday, 2 December 2003 14:30:54 GMT

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