Semantic Modeling of the Emissions Trading System | IEEE Conference Publication | IEEE Xplore