ch
&gt; imports it with the local name 'ar', ie which contains the expression
&gt; (imports ar <A  HREF="http://www.frob.org/2000/arithmetic">http://www.frob.org/2000/arithmetic</A>).
&gt;
&gt; If an ontology at a URL includes another ontology , the included
&gt; ontology can be imported by using the #-prefix to refer to the
&gt; included ontology. For example, if the ontology at
&gt; <A  HREF="http://www.frob.org/2000/iterations">http://www.frob.org/2000/iterations</A> includes an ontology form
&gt; (ontol