gics and the portal links are represented by logic infomorphisms
that connect the participants logics with their portals. One reason for
a portal is the incorporation into community ontologies of new subtypes
or supertypes necessary for alignment. This incorporation extends the
type aspect of the participant community ontology.</li>
</ul>
<ul style="text-align: justify;">
  <li>What is the common semantics? The question about &#8220;what&#8221; refers to
the <span style="font-style: italic;">mediating ontol