Das Ziel des beantragten Vorhabens ist es, die topologische Konsistenz von Konfigurationen raumzeitlicher Objekte wie Punkte, Geradensegmente, ebene Polygone, Polyeder und Hyperpolyeder in der für die Bau- und Geoinformatik erforderlichen Allgemeinheit zu untersuchen. Topologische Konsistenz soll möglichst effizient überprüfbar sein. Damit sollen korrekte Antworten auf topologische Anfragen auch über Detaillierungsstufen hinweg ermöglicht werden. Zur Konsistenz raumzeitlicher Modelle gehört auch die Einbettung der verschiedenen zeitlichen Skalen. Auf diesen Skalen konnen - in verschiedenen Ebenen zeitlicher Diskretisierung - Bewegungen und allgemein Veränderungen stattfinden. Der zuvor genannte Aspekt führt zum Ziel der Klassifizierung von 4D-Objekten im Hinblick auf Bedingungen der geometrischen und topologischen Integrität. Eine Selbstkorrektur sowie interaktive Korrektur inkonsistenter Daten soll durchgeführt werden, und durch Unschärfe bedingte topologische Fehler sollen messbar gemacht werden. Die entwickelten Theorien und Methoden sollen validiert werden. Ein möglichst einfaches XML-Schema für konsistente Modellierung, welche auch die Semantik der Objekte miteinbezieht, soll eine Anwendung auf konkrete Stadtmodelldaten nach sich ziehen. Schließlich sollen Tests an realen Beispielen durchgeführt werden.