From: Ian Horrocks (horrocks@cs.man.ac.uk) Date: 01/09/01
Mike, I have revised daml+ont.daml to fix the namespace bugs: http://www.cs.man.ac.uk/~horrocks/daml+oil/daml+oil.daml Ian
This archive was generated by hypermail 2.1.4 : 04/02/02 EST