rename the methods in TBoxReasoner to getXXDAG's