cleaned TBoxReasoner
split NamedDAG from DAG
cleaned DAG and NamedDAG
cleaner DAG and NamedDAG