Reasoning With DAML+OIL
a summary of some of the tools being used with DAML+OIL is available
here
Mike Dean
6 of 10