daml+oil

From: Ian Horrocks ([email protected])
Date: 12/19/00

Next message: Deborah McGuinness: "Re: daml+oil"
Previous message: Dan Connolly: "Toward concrete types [was: Joint...]"
Next in thread: Deborah McGuinness: "Re: daml+oil"
Reply: Deborah McGuinness: "Re: daml+oil"
Maybe reply: Mike Dean: "Re: daml+oil"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Deborah McGuinness: "Re: daml+oil"
Previous message: Dan Connolly: "Toward concrete types [was: Joint...]"
Next in thread: Deborah McGuinness: "Re: daml+oil"
Reply: Deborah McGuinness: "Re: daml+oil"
Maybe reply: Mike Dean: "Re: daml+oil"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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