Hazel Haskell reasoner for the description logic EL. Currently very much work-in-progress, and not yet actually useable. Setup cabal configure && cabal build