论文信息 - The semantic description and logical proof on ER diagram based on the OWL language

The semantic description and logical proof on ER diagram based on the OWL language

ER model is widely used in database application and data management respects. Aiming at the problems of inaccuracy and fuzzy, which are not conducive to refinement and validation of the system, this paper proposed a proposal to simplify the logic description of ER model, based on analyzing the benefit of description logic. The method which used OWL ontology language to express the semantic method of ER model was proposed, and its correct proof was given in this paper.

[1] Alan Robinson,et al. Handbook of automated reasoning , 2001 .

[2] Jocelyn Simmonds,et al. Consistency Maintenance of UML Models with Description Logics , 2003 .

[3] Alexander Borgida,et al. Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[4] Diego Calvanese,et al. Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[5] Nachum Dershowitz,et al. In handbook of automated reasoning , 2001 .

[6] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7] Frank van Harmelen,et al. A semantic web primer , 2004 .