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.

关键词： ER model:OWL ontology language:description logic

作者: Huailin Dong Jian Sun Qingfeng Wu

作者单位: Software School Xiamen University,Fujian,China

会议类型: 国际会议

会议名称: The 5th International Conference on Computer Science & Education(第五届国际计算机新技术与教育学术研讨会 ICCSE10)

会议地点: 合肥

会议语种:英文

页码: 1716-1718

在线出版日期: 2010-08-24（万方平台首次上网日期，不代表论文的发表时间）