Making Explicit the Semantics Hidden in Schema Models