talogic of
object-level ontologies. Further more detailed axiomatizations, needed
for applications such as semantic integration, will probably be
concentrated more at the higher levels, such as logics.<br>
</p>
<h2><a name="The_Architecture"></a>The Architecture<br>
</h2>
<table style="width: 600px; text-align: left;" border="2"
 cellpadding="5" cellspacing="2">
  <tbody>
    <tr>
      <td colspan="1" rowspan="9" style="vertical-align: top;"><img
 alt="Architecture" title="Architecture" src="architecture.g