ent to a logic
infomorphism from the free logic over the theory to the logic. This
adjoint logic infomorphism can be computed as the composition of the
free logic infomorphism of the theory morphisms and the canonical logic
intent infomorphism for that logic. The IFF approach to the semantic
integration of object-level ontologies is a two-step process consisting
of <span style="font-style: italic;">alignment </span>followed by <span
 style="font-style: italic;">unification</span>. The construction of a
free