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

Re: PR version of S&AS

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 03 Dec 2003 10:52:39 -0500 (EST)
Message-Id: <20031203.105239.04476827.pfps@research.bell-labs.com>
To: horrocks@cs.man.ac.uk
Cc: www-webont-wg@w3.org, sandro@w3.org

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


Peter F. Patel-Schneider
Bell Labs Research
Received on Wednesday, 3 December 2003 10:52:52 UTC

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