Abstract: Two common challenges in the computer-aided compliance audit of building engineering designs are addressed in the current research. The first is to ensure that any form of computable representation is practical and relatively ...