Per quanto mi riguarda, mi era stato suggerito di usare le liste puntate per avere codice semantico corretto. Le liste DL, DD e DT servono per fare un'elenco di definizioni il che è ben diverso da un menu di navigazione. Io per non rischiare di avere problemi di accessibilità, varie ed eventuali, ho optato per le classiche UL.

In effetti le liste di definizione sono molto comode nel caso si debba fare un menu a riquadri ma come già detto non credo sia molto corretto.