Research On Modular Reuse Of SHIF-Based Ontology

Abstract:With the rapid development of Web technology and the widely used of ontologies in the computer world, a higher level should be achieved by ontology construction and maintaince. The traditional way of ontology construction from scratch can no longer meet the requirements of high quality. At present, many domestic and foreign scholars are committed to resolve these issues. The specific methods differ, but all of them believe that the extraction and reuse of ontology modules is the key of large scale ontology construction and maintaince.Recently, most of the popular ontology module extraction algorithms use structural approaches and traverse the class hierarchy, and ignore the semantic information of the ontology. Secondly, most of the practical ontology reuse technology reuses the whole ontology, not a portion of ontology, and does not take the safety of reuse into consideration. In order to overcome these shortcomings, this paper proposes a logic-based approach for SHIF-based ontologies and makes full use of the semantic information to extract module from a large-scale ontology. Meanwhile, a model of safe reuse of ontology module is provided.The main work done in this paper is as follows:(1) On the basis of research on description logic theory and conservative extension, according to the locality rules proposed by Grau B C for SHo1Q-based ontology, this paper provides a SEMLOC rule and a SYNLOC rule for SH1F-based ontologies. First, the SEMLOC rule being the sufficient condition of extraction of ontology module is proven. Use Tableau algorithm to reason and prove that SEMLOC rule is correct and decidable. Second, prove that the tractable SYNLOC axioms must be SEMLOC ones. Last, the SYNLMX algorithm, a locality-based module extraction algorithm is presented. Describe the process of the algorithm, analyze the complexity, and design an experiment to implement it.(2) Aimed at the redundancy resulted from the import of the whole ontology and the inconsistency caused by the unsafe reuse of ontology, this paper proves that the locality rule is the sufficient condition of the safe reuse and put forward a safe ontology modular reuse model, LOCMR model.