A haskell DL reasoner