et filing
&gt; system. Importation differs from inclusion in that the namespace of
&gt; the importing ontology is disjoint from that of the imported
&gt; ontology. To refer to something with name &lt;name&gt; in &lt;namespace&gt; from
&gt; outside that namespace, one writes &lt;namespace&gt;#&lt;name&gt;. For example,
&gt; if an ontology called 'arithmetic' uses the function name 'plus',
&gt; then the name of this function will be 'arithmetic#plus' elsewhere in
&gt; any ontology which contains the expressio