Является ли такая диаграмма классификации АТД правильной?
Диаграмма некорректна. Например, типы "дерево" и "массив" относятся к разным классам абстракций (можно реализовать дерево на основе массива). Еще пример: стек и очередь можно построить на основе массива, а можно на основе списка.
Вообще, советую задуматься над тем фактом, что иерархическая классификация подходит не к каждой предметной области и может привести к определенным проблемам, если в какой-либо области такая классификация устоялась. Даже в биологии древовидная классификация имеет кучу проблем. Например, что делать с бактериями, т.к. те умеют встраивать посторонние куски ДНК в свою?