From: Deborah McGuinness (dlm@ksl.stanford.edu)
Date: 12/19/00
thx - a brief look looks good. You might update the changes file to include the change you mention below though. Do you think the changes file is otherwise complete? many people will be looking at that as the driver for their updating work. thx, d Ian Horrocks wrote: > Peter and I have finalised the new specification, semantics etc. It > can be found at the usual place: > > http://www.cs.man.ac.uk/~horrocks/DAML+OIL > > One minor change we were forced to make was to introduce a new > property "hasClassQ" to be used instead of "hasClass" in qualified > number restrictions. Without this the semantics are broken as a > qualified number restriction includes all the components required by a > simple hasClass restriction. > > Regards, Peter and Ian -- ======================= Deborah L. McGuinness Associate Director and Senior Research Scientist Knowledge Systems Laboratory Stanford University Stanford, CA 94305 dlm@ksl.stanford.edu voice 650 723 9770 fax 650 725 5850
This archive was generated by hypermail 2.1.4 : 04/02/02 EST