Foundation for development of computable rules

This paper gives an overview of the foundation for development of computable rules that can be implemented into commercial rule-checking software. The foundation for development starts with an overview over knowledge engineering and its roots in logic, mathematic, linguistic and knowledge philosophy. This gives motivation investing in a semantic based knowledge system. Otherwise is likely that the BIM based rule-checker systems ends up as building information mess. The link from the theoretical foundation to tools and methods can be connected by use of semantic software tools. Preliminary results and experiences from an ongoing Norwegian project are presented