TBoxReasonerImpl cleaner