A methodology for creating semantic digital twin models supported by knowledge graphs | IEEE Conference Publication | IEEE Xplore