Added DMTReasonerFactory