Each user maps thier low-level object syntax into the same higher-level set of semantic objects to create a semantic model. By mapping their schema to the same semantic dictionary to create their smodels the two different schemas can be automatically aligned.

We do this using the 'same as' function. If two low-level objects are mapped to the same higher-level semantic object then these low-level objects are considered equivalent.

Basically if A=Z and B=Z then A=B.