A description logic reasoner written in prolog based on leanCoP, a theorem prover for first-order logic