Det norske navnet er forbeholdt utdødde krypdyr. Også det vitenskapelige navnet «Dinosauria» ble opprinnelig definert slik i 1842 av Richard Owen og har stort sett vært brukt på denne måten siden.