HERAKLES is a reasoning broker framework for OWL, that appears
as a single OWL reasoner usable via the OWL API. In the background,
HERAKLES utilises several 3rd-party reasoners in a sophisticated
manner. The behaviour of the broker is controlled by exchangeable
broker strategies featuring parallelisation, reasoner selection,
centralised caching, etc.