Dinosauria
El taxón Dinosauria fue formalmente nombrado en 1842 por el paleontólogo Sir Richard Owen, que lo utilizó para referirse a la «tribu distinta o sub-orden de los reptiles saurios» que luego fue reconocido en Inglaterra y en todo el mundo. El término deriva de las palabras griegas δεινός ("deinós", que significa ‘terrible’, ‘potente’, o ‘gran temor’) y σαῦρος ("sauros", que significa ‘lagarto’ o ‘reptil’). Aunque el nombre taxonómico ha sido a frecuentemente interpretado como una referencia a los dientes, las garras, y otras características temibles de los dinosaurios, Owen pretendía simplemente evocar su tamaño y majestuosidad.
Agrosaurus macgilivrayi
El nombre "Agrosaurus" es considerado como un "nomen dubium" o un sinónimo más moderno de "Thecodontosaurus". Si "Agrosaurus" no es de Australia, que parece ser lo más probable, "Rhoetosaurus" y "Ozraptor", ambos del Bajociano (Jurásico Medio) serían los dinosaurios australianos más antiguos conocidos. Estos por su parte están mucho mejor documentados.