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.
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.