Resolving semantic heterogeneity through the explicit representation of data model semantics