ustify;">In the IFF, ontologies are represented
by theories and populated ontologies &#8211; those with instance data- are
represented by logics. We start with two participant community
ontologies represented as logics. We end, after the alignment and
unification steps, with a third logic representing the fusion ontology.
Integration is facilitated by a fourth mediating ontology.</p>
<h3><a name="Alignment"></a>Alignment</h3>
<div style="text-align: justify;">Alignment is the process of
specifying a mediati