Modular Construction Of Data Structure Urriculum Ontolgoy

Since the acceptance of OWL as a Semantic Web standard language, the lan-guage yield to the rapid increasing of DL ontologies on the Web. Now the SemanticWeb contains a large number of independently developed ontologies, and the size andcomplexity of ontology is also increasing, how to represent and reason with multipledistinct, but linked ontologies, and how to enable effective knowledge reuse andsharing on the semantic web need to be addressed problem. More and more researchsinterest in modularization tchniques as a way to decrease the complexity of managinghuge ontologies.Modularization is widely used in mature engineering fields such as Building,Computer hardware and software development, designers generally reuse the maturemodules which verified by experiment to avoid repetitive work of design and devel-opment, and make products more reliable for maintainability and portability. Feasibleways to handling large ontology is to chop them up into manageable parts.Ontologymodularity techniques provide a method to build modulles and link them whenneeded. The design of ontology module provide a realistic way to reuse ontologies,modularity techniques change construction of ontologies into accumulation and ineri-tance of knowledge, and it plays an important role in modular construction.The theory and techniques of ontology modular construction are Distributed De-scription Logics (DDL), Package-based Description Logics (PDL), ε-Connectionstheory and Distributed Dynamic Description Logics (D3L). By comparing the char-acteristics of various methods and the demand of actual projects, we decide to con-struct data structure course based on ε-Connections theory, and use the reasoner-pelletto built joint reasoning according to improved Tableau Algorithms.The core idea of ε-Connections theory is to keep ontologies smaller and disjointand to use them as reusable units that can be combined in various ways depending onthe modeler’s needs. From the modeling perspective, ε-Connections use linkpropertyto connect inter-module of modules, data structures course ontology created by thismanner achieve independence between modules, and experts from various domainsare convient to develop and modify sub-module independently. The modular con-struction method can be extended to other related areas easily. Introduces the idea of modular software engineering to data structures ontologyconstruction process and integrate corresponding ontologies into big module, themethod not only make the construction of ontolgoy more convenient, but also enableeffective knowledge reuse and sharing. Compare with traditional building methods,the advantages of moular construction are as follow:(1) Facilitate ontology construction: reduce the difficulties in design and imple-ment of ontology. The modular ontologies are easier to understand and maintain. Thescales of ontology become smaller and provide convenience for domain expert to de-velop ontologies collaboratively.(2) Simplify logical description: to simplify the structure of ontology and trans-fer ontology which descripted by comlex description language to simple descriptionlanguage, and link modules by link relations, the method can reduce the complexity ofdescription language about every modules.(3) Effcient ontology reasoning: the method can reduce the complexity and timeof reasoning. We can joint multiple ontologies into a temporary ontology for joint in-ference. The effeciency of reasoning will be improved significantly when the the scaleand relations become more complex.(4) Facilitate ontology reuse: The ontolgies which linked by ε-Connections willhave less concepts and relations, and each module represented clearer meaning. Com-pared with the traditional construction method, it will make reuse ontolgy more con-venient.The main works in the paper are as follow:(1) Analyze and compare major theories and methods of ontology modular con-struction and correspond the actual demand, elaborated the ε-Connections theory andanalyze the reason about we choose it.(2) Construct data structures ontology based on ε-Connection theory. And im-plement the reasoning about the ontology according to improved Tableau Algorithms.According to experiment to verify the construction method can reduce the complexityof construction, and can proivde convenient to reasoning and reuse of modules.