cleaned Test_NamedTBoxReasonerImpl
more encapsulation for TBoxReasonerImpl
simplified NamedDAG
comments on NamedDAG
simplified NamedDAG
NamedDAG through TBoxReasoner interface (plus isNamed)