&gt; indicates that the ontology at that URL is imported, but that the
&gt; prefix 'ar#' is sufficient to identify words from its namespace.
&gt; Such a local name is considered to be part of the namespace of the
&gt; ontology containing the importing expression. The effect of such an
&gt; importing expression is the same as including the imported ontology
&gt; with every nonlogical symbol #-prefixed by the local name.
&gt;
&gt; Importation is considered to be transitive, and the #-namespace
&gt; convention