From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 01/11/01
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: horrocks@cs.man.ac.uk
WWW: http://www.cs.man.ac.uk/~horrocks
This archive was generated by hypermail 2.1.4 : 04/02/02 EST