simplified TBoxReasonerImpl
simplified TBoxReasonerImpl
slimier TBoxReasonerImpl
reflexive TBoxReasoner::getAncesors
reflexive TBoxReasoner::getDescendant