Safety Ontology Modeling and Verification on MIS of Ship-Building and Repairing Enterprise = Safety Ontology Modeling and Verification on MIS of Ship-Building and Repairing Enterprise

다국어 초록 (Multilingual Abstract)

Shipbuilding and repairing enterprise has the characteristics of many hazards and accidents. Therefore, the safety management ability of shipbuilding and repairing MIS (management information system) must be effectively guaranteed. The verification on safety management is the necessary measure to ensure and improve the safety management ability of MIS. Safety verification can not only increase the safety of MIS, but also make early warning of potential risks in management to avoid the accidents. Based on the authoritative standards in the field of safety in shipbuilding and repairing enterprise, this paper applied modeling and verification method based on ontology to safety verification of MIS, extracted the concepts and associations from related safety standards to construct axiom set to support safety verification on MIS of shipbuilding and repairing enterprise. Then, this paper developed the corresponding safety ontology modeling and verification tool-SOMVT. By the application and comparison of two examples, this paper effectively verified the safety of MIS to prove the modeling method and the SOMVT can improve the safety of MIS in a much more effective and stable way to traditional manual analysis.

참고문헌 (Reference)

1 D Feledi, "Toward web based information safety knowledge sharing" 17 (17): 199-209, 2013

2 S. Qinfu, "The study of coal mine safety ontology" 44 (44): 42-49, 2018

3 K . Solic, "The information systems' safety level assessment model based on an ontology and evidential reasoning approach" 55 : 100-112, 2015

4 R Motz, "The description logic SHIQ with a flexible meta modelling hierarchy" 35 (35): 214-234, 2015

5 Ni Yihua, "The Research of Knowledge Integration Technology based on Ontology for Manufacturing Enterprise" Zhejiang University 2005

6 "The KACTUS Booklet version 1.0. Esprit Project 8145"

7 J. Liu, "The Establishment and Implementation of Beijing XX Enterprise Information Security Management System Based on the ISO27001" Shandong University 2015

8 T. Dong, "Tableau-based revision for expressive description logics with individuals" 45 : 63-79, 2017

9 L. Jing, "Study on the theory and practice of ontology and ontology-based agricultural document retriecal system-Floricultural ontology modeling" The Chinese Academy of Science 2004

10 E. Fielt, "Service Management and Engineering in Information Systems Research" 22 (22): 46-50, 2013

11 I . Årstad, "Preventing major accidents and the language of complexity" 16 (16): 158-176, 2018

12 N. F. Noy, "Ontology development 101 : A guide to creating your first ontology" Stanford Knowledge Systems Laboratory 2001

13 ISI Natural language processing research group, "Ontology Creation and Use: SENSUS"

14 L. Zhen, "Modeling and verification of software safety requirement based on ontology" 38 (38): 1445-1449, 2012

15 X. Yu, "Model Building Approach for Nuclear Power Operation Procedure Based on Ontology" 41 (41): 142-145, 2020

16 M. Gruninger, "Methodology for the Design and Evaluation of Ontologies" 1995

17 M. Fernandez-Lopez, "METHONTOLOGY: From Ontological Art Towards Ontological Engineering" 1997

18 A. Gillies, "Improving the quality of information safety management systems with ISO27000" 23 (23): 367-376, 2011

19 IDEF, "IDEF5 Ontology Description Capture Overview"

20 O. I. Provotar, "Credibility in Fuzzy Inference Systems" 53 (53): 866-875, 2017

21 Borst W. N., "Construction of Engineering Ontologies for Knowledge Sharing and Reuse" University of Twente 1997

22 D. Kang, "An ontology-based Enterprise Architecture" 37 : 1456-1464, 2010

23 N. Mayer, "An integrated conceptual model for information system safety risk management supported by enterprise architecture management" 18 (18): 2285-2312, 2019

24 R. P. Niranjan, "An Efficient Software Engineering Ontology Tool for Knowledge Sharing" 7 (7): 19-27, 2010

25 J. Webb, "A situation awareness model for information security risk management" 44 : 1-15, 2014

26 S. A. R. Mortazavi, "A checklist based evaluation framework to measure risk of information safety management systems" 11 (11): 517-534, 2019

27 Safety Science, "A bibliometric analysis and systematic review of shipboard Decision Support Systems for accident prevention" 1-22, 2020

28 T. R. Gruber, "A Translation Approach to Portable Ontology Specification" 5 (5): 199-220, 1993

29 P. Liu, "A Survey of Study on the Competitiveness of China Ship Enterprise" 16 : 170-176, 2011

30 M. Codescu, "A Categorical Approach to Networks of Aligned Ontologies" 6 (6): 155-197, 2017