High-level Modeling of Reconciled Data Schemas