From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 12/19/00

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

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