How to Play Tag: A Formalization of Semantic Interoperability to Catch Semantics in Building Automation | IEEE Conference Publication | IEEE Xplore