Fixed ancestors problem in TBoxReasonerImpl