A CFL-ontology model for carbon footprint reasoning | IEEE Conference Publication | IEEE Xplore