Semantic modeling for smart manufacturing: towards a data alignment through knowledge formalization for semiconductor wafer fabrication | IEEE Conference Publication | IEEE Xplore