Para una mejor comprensión de la programación bilevel en variedades riemannianas, se propone en este artículo un esquema de programación bilevel semivectorial. La programación bilevel semivectorial se transforma primero en un problema de programación de un solo nivel utilizando las condiciones de Karush-Kuhn-Tucker (KKT) del problema de nivel inferior, que es convexo y cumple la calificación de restricción de Slater. Luego, la programación de un solo nivel se divide en dos etapas: restauración y minimización, sobre la base de las cuales se desarrolla un algoritmo de Restauración Inexacta. Bajo ciertas condiciones, se analizan la estabilidad y la convergencia del algoritmo.