New JESS DAML+OIL reasoner

January 8, 2004

daml4jess is a reasoner for DAM+OIL implemented in Jess. It is a refacoring of Joe Kopena's DAMLJessKB system.

For more information, please contact UMBC ebiquity.