Key points are not available for this paper at this time.
In current computational building design theory and practice, representation schemes depend upon a set of formal operations for creating, changing and querying a representation. With a few notable exceptions, these operations do not provide ways of comparing representations to determine how representations are alike and how they are different. We have developed a theory for and a formal representation scheme that supports representation comparison. This theory opens new approaches to unsolved problems in computational building design, notably the long-standing issue of automated building code checking.
Woodbury et al. (Sat,) studied this question.