Beispiele für formale Prüfregeln

Hier werden Prüfregelbeispiele zur formalen Prüfung mit IDS-Prüfregelsätzen gelistet.

Prüfung Bauteile

Prüfregeln, um Standard-IFC-Eigenschaften und Mengenangaben von Bauteilen zu prüfen.

• Bauteileigenschaften prüfen.ids
• Bauteilmengen prüfen.ids

Prüfung Strukturelemente

Prüfregeln, um Standard IFC-Eigenschaften und Mengenangaben von Strukturelementen (IfcBuidling, IfcBuildingStorey, IfcSpace) zu prüfen.

• Strukturelementeigenschaften prüfen.ids
• Strukturelementmengen prüfen.ids