PR version of S&AS

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/