TBoxReasonerImpl on Equivalences