Research On Methods Of Ontology Modeling Based On MDA

Ontology as an important measure of knowledge representation,has steped from the theory study into application areas gradually.Traditional ontology languages are formal languages developed in the domain of AI.They are rather abstract and can be applied in limited areas.So they are unfit for the practical application.There are some tools for ontology modeling in common usage.But the development is with low efficiency and they do not support dynamic upgrading of knowledge in ontology models.To resolve the problems mentioned above,some scholars proposed to apply UML to ontology modeling.SWRL can be viewed as an ontology language.It provided relative completed support for common rules in the set of axioms of ontology.MDA supports effected extending of UML.The efficiency method to make visual model of ontology using UML is studied in this paper baesd on them.A more effective method is proposed based on MDA to model rules in set of ontology axioms in this paper,then the power of modeling method is discussed dy translating a part of model of rules into description logics.At first the model of A meta-model of SWRL is represented in this paper.It includes the visual modeling elements for almost all OWL language constructs.The UML meta-model of SWRL proposed by S.Brockmans et al.is difficult to express individuals of owl class in antecedents of rules.To attack this problem,this paper represents improved modeling elements for rules, using boolean operator to connect and to distinguish owl properties and individuals of different owl classes in a UML model of rules.Then A method to model rules with UML profile is represented.For a part of rules modeled by UML,the feasibility of formalizing them into description logics is proved by introducing horn clause and description logic,a technique to realize that is represented.At last examples are provided to specify it:DL axioms with constructs(?),(?)are used to formalize relevant models of set of rules.