diamond drilling

A method of rotary drilling in rock, usually for exploratory purposes, using hollow diamond-crowned bits to obtain a core for examination.