moved old DAG and small changes to TBoxReasoner