Die Prozesse des Building Information Modeling (BIM) konzentrieren sich auf die Einbettung von Wissen verschiedener Fachdomänen in ein digitales Bauwerkmodell, das Building Information Model (BIM) genannt wird. Die Verwendung eines solchen Modells setzt dessen Korrektheit und Vollständigkeit in Bezug auf einen Anwendungsfall voraus. Dabei stellt das Geometriemodell einen wesentlichen Aspekt des Gesamtmodells dar. Mit der zunehmenden Verfügbarkeit und Nutzung solcher Modelle wird die Formalisierung digitaler Prüfmethoden erforderlich. Diese Arbeit beschäftigt sich mit der Fragestellung, wie eine geometrische Modellprüfung von BI-Modellen erfolgt, wie sie in ein ganzheitliches Konzept der Modellvalidierung eingebettet werden kann und welche Voraussetzungen dazu notwendig sind. Die räumliche Relationen von Bauteilobjekten zueinander stellen einen wichtigen Aspekt in Prüfungen dar. Neben Kollisionen entstehen auch Defizite, die im derzeitigen Stand der Technik im BIM Umfeld nur mit hohem Aufwand berechenbar sind.