A Semantic Representation Method of Building Codes Applied to...
There is Prolog rule language [31] in Drools rule engine, and Zhang [32] uses the Prolog rule language to implement compliance checking. In addition, there are rule languages in the Semantic Web field, such as