You are correct,

Blue beauty snake = Orthriophis taeniurus callicyanous

Cave dwelling rat snake = Orthriophis taeniurus ridleyi

That was the reason I used ridleyi as an example since they are so closely related.