Author: Matthew Horridge The University of Manchester Information Management Group
Date: 06-Dec-2008
A reasoner factory for creating an instance of the HermiT reasoner.
Description: An implementation of MultipleExplanationGenerator interface
using Reiter's Hitting Set Tree (HST) algorithm as described in Aditya
Kalyanpur's thesis.