A fork of LeanCoP that aims Description Logics reasoning