Automatic Integrity Checking of IFC Models relative to building Regulations.

Jianqiao Gu Hehua Zhang Ming Gu

Published in: ICIMCS (2016)

Keyphrases

integrity checking
integrity constraints
hard and soft constraints
database
expressive power
constraint satisfaction