Schneider, Georg FerdinandGeorg FerdinandSchneiderPauwels, PieterPieterPauwelsSteiger, SimoneSimoneSteiger2022-03-052022-03-052017https://publica.fraunhofer.de/handle/publica/25075510.1109/TII.2017.2743221The control logic implemented in building automation systems (BAS) has a significant impact on the overall energy demand of the building. However, information on the control logic, if documented, is often concealed from further data integration and reuse in heterogeneous information silos using disparate data formats. In particular, existing data formats and information models offer limited support to describe control logic explicitly. Ontology-based modeling of the control logic of BAS can potentially result in a versatile source of information for information-driven processes to further increase the performance of technical equipment in a building. Therefore, we present a novel information model, CTRLont, which allows to formally specify the domain of control logic in BAS. We demonstrate the usefulness of the novel information model by using it as a knowledge base for automating rule-based verification of designed control logic in BAS. We successfully apply the methodology to a simple control of an air handling unit and indicate a number of future steps.enjournal article