ISSN 1000-1239 CN 11-1777/TP

Journal of Computer Research and Development ›› 2020, Vol. 57 ›› Issue (9): 1961-1970.doi: 10.7544/issn1000-1239.2020.20190493

Previous Articles     Next Articles

Structural Integrity Checking Based on Logically Independent Fragment of Metadata

Zhao Xiaofei1,2, Shi Zhongzhi3, Liu Jianwei3   

  1. 1(School of Computer Science and Technology, Tiangong University, Tianjin 300387);2(Provincial Key Laboratory for Computer Information Processing Technology(Soochow University), Suzhou, Jiangsu 215006);3(Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190)
  • Online:2020-09-01
  • Supported by: 
    This work was supported by the National Natural Science Foundation of China (61035003, 61972456) and the Open Foundation of Jiangsu Provincial Key Laboratory for Computer Information Processing Technology (KJS1737).

Abstract: Checking the structural integrity efficiently is one of the research hotspots in the field of MOF(meta object facility) repository system consistency. In this paper, we propose an efficient and automatic approach for checking the structural integrity by means of description logics. Firstly, according to the characteristics of MOF architecture, we study how to transform different levels of metadata into SROIQ(D) knowledge base. Then we study how to extract metadata to improve the efficiency of the checking process. We propose the concept of logically independent fragment of metadata. By extracting property deductive fragment and classification deductive fragment respectively, we present the algorithm to generate the minimum logically independent fragment. Since this kind of fragment is the closure of logical implication for a given metadata element, all relevant information about the given metadata element is completely preserved, thus the checking process can be performed on a smaller set of metadata rather than on the entire repository. Finally, we study how to perform checking based on logically independent fragment. The experimental results show that the average size of the metadata fragment generated by our approach is significantly smaller than its original size, and the efficiency improvement of the checking on the metadata fragment ranges from 1.47 times to 3.31 times. The time performance comparison with the related approaches also shows the effectiveness of our approach.

Key words: logically independent fragment, structural integrity, repository system, meta object facility (MOF), metadata

CLC Number: