Extending daml+oil with concrete datatypes

An outline proposal for extending daml+oil with concrete datatypes can
be found at:

   http://www.cs.man.ac.uk/~horrocks/DAML+OIL/Datatypes/

Comments welcome.

Ian Horrocks and Peter Patel-Schneider

Received on Monday, 22 January 2001 12:13:22 UTC