A Formal Ontology Alignment for CANthings (Context Aware Network for the Connected Things) | IEEE Conference Publication | IEEE Xplore