Architects and construction engineers needs services to check their designs against specific standards, regulations and policies. Many works have been done during the last years to develop checking software. French National project "Digitizing building regulations" aims at formalizing regulation for automatic compliance checking purposes. Our approach is cloud ready, opened, extensible and based on international standard. In this paper we focus on semantic topological aspects to show gains, limits and perspectives of this approach.