Re: PR version of S&AS

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Subject: PR version of S&AS 
Date: Tue, 2 Dec 2003 19:28:10 +0000

> 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/

As requested by Jim Hendler, I have made further changes to this version.
I backed out one of the changes requested by Herman.  I added wording to
the beginning of Appendix A that should suffice to fix the proofs.  I made
a few other minor changes.

The result can be found at

	http://www-db.research.bell-labs.com/user/pfps/owl/semantics/


Peter F. Patel-Schneider
Bell Labs Research

Received on Wednesday, 3 December 2003 10:52:52 UTC