Title :
The semantic description and logical proof on ER diagram based on the OWL language
Author :
Dong, Huailin ; Sun, Jian ; Wu, Qingfeng
Author_Institution :
Software Sch., Xiamen Univ., Xiamen, China
Abstract :
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.
Keywords :
entity-relationship modelling; formal logic; knowledge representation languages; ontologies (artificial intelligence); ER diagram; OWL ontology language; description logic; entity-relationship diagram; logical proof; semantic description; Cognition; Databases; Erbium; Knowledge based systems; OWL; Ontologies; Semantics; ER model; OWL ontology language; description logic;
Conference_Titel :
Computer Science and Education (ICCSE), 2010 5th International Conference on
Conference_Location :
Hefei
Print_ISBN :
978-1-4244-6002-1
DOI :
10.1109/ICCSE.2010.5593802
