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.


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

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