For a ten year old... almost certainly inappropriate. I can think of two exceptions: young (like 15 or younger) black belt -- which I disagree with anyway!, or if the disrespect consisted of continuing to attack or fight after being told to stop.Ok here it is from the parent own words:
My son was being disrespectful toward the instructor and he gave him a push kick in the hogu and he feel to the floor, no-one was hurt but my concern is this child abruse or it this the norm in a dojaang.
Sorry I needed to get more info. the child was 10 years old and to me it is better ways to earn respect from a child. So know with new info. what is everyone commits.
But with older kids -- like mid to late teens -- sometimes it's the only way to get through to them. I had one of my students tell me the other day how well he remembers one time when I got very pissed off with his attitude, and gave him a forearm shot across his chest... It got the point across. In a way that words weren't. Note that it was controlled, and shocked, not hurt him.