DocumentCode
2455489
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
fYear
2010
fDate
24-27 Aug. 2010
Firstpage
1813
Lastpage
1815
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Education (ICCSE), 2010 5th International Conference on
Conference_Location
Hefei
Print_ISBN
978-1-4244-6002-1
Type
conf
DOI
10.1109/ICCSE.2010.5593802
Filename
5593802
Link To Document