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.
2010 5th International Conference on Computer Science Education