ny of the docu-strings in the ontology, formulated
&gt;many
&gt; &gt; new axioms, and tried to achieve a tighter integration of all of the
&gt;content
&gt; &gt; in the ontology.  One area that still needs further integration is
&gt; &gt; mereotopology.  Currently, definitions and axioms are scattered in three
&gt; &gt; different sections of the ontology:  the mereotopology proper, the section
&gt; &gt; on holes based on Varzi and Casati's work, and the section on Positions
&gt; &gt; (everything in this sect