removed duplicate code from the TreeWitnessRewriter code
minor code cleanup
removed duplicate code in TreeWitnessReasonerCache
removed ExtDP
Merge branch 'develop' into feature/tboxreasoner-improved
removed more of ExtDP
cleaned up comments
cleaned code
brought the QueryRewriter interface in line with the use
Merge branch 'develop' into feature/tboxreasoner-improved