e the underlying
theory of the mediating ontology. The types of this theory (entity,
function and relation) represent the aligned categories. The axioms
represent the amount and nature of the desired compatibility. In
addition, each community ontology specifies its own theoretical
alignment link (theory morphism) that connects the mediating theory to
the component theories of the participant portal.</li>
</ul>
<ul style="text-align: justify;">
  <li>What is the universe for the mediating logic? The answer h