La verificación de cumplimiento es un paso muy importante en la construcción de ingeniería. Con el desarrollo de la tecnología de la información, la verificación automatizada de cumplimiento (ACC) ha recibido cada vez más atención por parte de los investigadores. Uno de los pasos más importantes en la verificación automatizada de cumplimiento es la representación de la información del código. Sin embargo, a menudo se ignora la restricción de la relación en la información del código y la relación geométrica espacial es difícil de representar. El método de representación general del código no tiene suficiente capacidad para identificar la situación que no cumple las condiciones de verificación, ya que es fácil causar ambigüedad semántica en los resultados de verificación. Este documento propone un método de representación de código, y la información del código de construcción se representa en cinco partes. Las relaciones en el dominio de la ingeniería y las relaciones espaciales pueden representarse en modo de restricción; también se explican diferentes métodos de verificación de restricciones de relaciones espaciales. El sujeto de restricción y el elemento de restricción pueden distinguir las condiciones y requisitos de verificación, lo que respalda los resultados de verificación semántica. Se establece el mapeo entre la ontología de la información de construcción y los conceptos de código, que se puede utilizar para generar automáticamente reglas de razonamiento para la verificación de cumplimiento. Finalmente, el método propuesto se verifica mediante la representación del Código de Diseño del Metro de China y la aplicación del modelo de Metro real.