From: Deborah McGuinness ([email protected])
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
[email protected]
voice 650 723 9770
fax 650 725 5850
This archive was generated by hypermail 2.1.4 : 04/02/02 EST