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

Re: PR version of S&AS

From: Ian Horrocks <horrocks@cs.man.ac.uk>
Date: Wed, 3 Dec 2003 18:42:55 +0000
Message-ID: <16334.11951.414213.54580@galahad.cs.man.ac.uk>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org, sandro@w3.org

Peter,

Excellent - thanks!

I have updated the pages at [1] accordingly. The only difference is
that I changed spec.css so that changes are no longer highlighted in
red (I assume that this is appropriate now that we are moving to PR).

Ian

[1] http://www.cs.man.ac.uk/~horrocks/owl/semantics/


On December 3, Peter F. Patel-Schneider writes:
> 
> 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 13:45:56 GMT

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