Originally Posted by KirschSalvator
Does anyone know why he would be doing this?
Could just be exuberant play. Cats frequently straddle each other and bite the neck while playing. Even if he's actually making thrusting motions, he's probably just acting out his joy and excitement. I really wouldn't worry about it unless he's hurting your dog or it becomes an obsessive behaviour.