Formal verification of ontology transformation for distribution network information model based on meta-model theory

Boya Qin, Dong Liu, Yiming Lu. Formal verification of ontology transformation for distribution network information model based on meta-model theory. IET Cyper-Phys. Syst.: Theory & Appl., 5(4):388-393, 2020. [doi]

Abstract

Abstract is missing.