Re: PR version of S&AS

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 UTC