From: Ian Horrocks ([email protected])
Date: 01/11/01
The version from Deb was certainly more up to date than the one I had and seems to reflect the latest comments from Lynn and Peter. I have fixed a couple of typos: < First we include a few redundant mappings. The semantic constraints rising < from these mapping follow from the setup of the semantic structure above --- > First we include a few redundant mappings. The semantic constraints arising > from these mappings follow from the setup of the semantic structure above and updated my web site accordingly. Ian On January 11, Deborah McGuinness writes: > sorry - maybe this was partially my fault. > i thought ian was keeping the model-theoretic semantics document on his site up to date (and i > thought peter and ian might have been talking about any changes to that document). > > if peter is offline, > this was what peter sent to mike dean and me on jan 10th at 10:13 am pacific time > it also has an encoded revision date of: > $Revision: 1.4$ of $Date: 2001/01/09$ corresponding to the DAML+OIL version of 2001/01/10. > > It does differ from what ian has up. > I searched my mail and have nothing more recent from peter. > It would be best to get the final word from peter. > > d > > > Ian Horrocks wrote: > > > I was not aware that I was the owner of the model-theoretic semantics. The > > semantics file on my site was the new one that included the proposed > > concrete datatype stuff. > > > > To save any confusion I have now moved the concrete datatype proposal into > > > > http://www.cs.man.ac.uk/~horrocks/daml+oil/Datatypes > > > > and I have put the latest version of the semantics without concrete > > datatypes in the > > > > http://www.cs.man.ac.uk/~horrocks/daml+oil/semantics.html > > > > However, I am not sure that this is the very latest version. Peter, could > > you urgently check this and send Mike and me the latest version without > > datatypes. > > > > Sorry for any confusion I may have caused if it was my fault; if it wasn't > > my fault, sorry anyway (British through and through). > > > > Ian > > > > On Thu, 11 Jan 2001, Deborah Mcguinness wrote: > > > > > this is great - thx for the work. > > > > > > just to be clear, i think point 1 means going to three place for 8 updates: > > > > > > http://www.ksl.Stanford.EDU/people/dlm/daml-semantics/ > > > for the axiomatic semantics > > > > > > http://www.cs.vu.nl/~frankh/spool/DAML+OIL/ > > > for the examples > > > walkthru > > > and reference > > > > > > and > > > http://www.cs.man.ac.uk/~horrocks/daml+oil/ > > > for daml+oil spec > > > the 2 differences files > > > model-theoretic semantics > > > > > > so we have a total of 8 documents > > > > > > and for releasing on the 11th.... there are benefits to being in the us... gaining some > > > time at the end of aday :-) > > > > > > d > > > > > > Frank van Harmelen wrote: > > > > > > > As Ian, I have incorporated all changes requested until now. > > > > Also, the comments are getting really minor, so we seem to have convergence. > > > > > > > > Mike, I suggest you > > > > [1] copy the files from the usual locations, > > > > [2] remove the versioning info simply remove the style def's in the header, > > > > or (more cumbersome), remove all span elements) > > > > [3] checks that all the links work (there was some renaming of files, so PLEASE CHECK) > > > > > > > > and ask Jim to announce our labor to the world. > > > > > > > > If you want to release on the 11th, this is your chance! > > > > > > > > Frank. > > > > ---- > > > > > > > -- > > Ian Horrocks, Department of Computer Science, > > University of Manchester, Oxford Road, Manchester, M13 9PL, UK. > > Tel: +44 161 275 6133 Fax: +44 161 275 6204 Email: [email protected] > > WWW: http://www.cs.man.ac.uk/~horrocks > > -- > Deborah L. McGuinness > Knowledge Systems Laboratory > Gates Computer Science Building, 2A Room 241 > Stanford University, Stanford, CA 94305-9020 > email: [email protected] > URL: http://ksl.stanford.edu/people/dlm/index.html > (voice) 650 723 9770 (stanford fax) 650 725 5850 (computer fax) 801 705 0941
This archive was generated by hypermail 2.1.4 : 04/02/02 EST