VEBO: Validation of E-R Diagrams through Ontologies and WordNet | IEEE Conference Publication | IEEE Xplore