Ontology-based generation of optimization problems for building energy management | IEEE Conference Publication | IEEE Xplore