Safety Ontology Modeling and Verification on MIS of Ship-Building and Repairing Enterprise. - Yumei Wu; Zhen Li 020; LanJie Zhao; Zhengwei Yu; Hong Miao (KSII Trans. Internet Inf. Syst., 2021)