Haskell Reasoner for the description logic EL