From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 12/19/00
On December 19, Deborah McGuinness writes:
> 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.
The changes file is still applicable as all it says is:
2. Local cardinality restrictions have been added. These allow both
simple and qualified (including a class restriction) restrictions.
Unfortunately, the example file doesn't talk about local (much less
qualified) number restrictions, so that is also unaffected. However, I
believe that Frank is adapting the OIL white paper (which includes an
extended example) to daml+oil.
Ian
This archive was generated by hypermail 2.1.4 : 04/02/02 EST