- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Tue, 2 Dec 2003 19:28:10 +0000
- 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 UTC