cleaned TBoxReasonerImpl code