Re: daml+oil

From: Deborah McGuinness (
Date: 12/19/00

thx - a brief look looks good.
You might update the changes file to include the change you mention below
Do you think the changes file is otherwise complete?
many people will be looking at that as the driver for their updating work.


Ian Horrocks wrote:

> Peter and I have finalised the new specification, semantics etc. It
> can be found at the usual place:
> 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
voice  650 723 9770
fax 650 725 5850

This archive was generated by hypermail 2.1.4 : 04/02/02 EST