ses. Such an
&gt; expression is called an ontology form. (We use this label, rather
&gt; than "expression",  since the form does not denote anything, but
&gt; indicates a set of axioms by ostention.) Such a name of the ontology
&gt; is considered to be part of the ontology namespace, so must be
&gt; distinct from other symbols in that namespace; it is called a local
&gt; name.
&gt;
&gt; Other methods for giving names to ontologies are acceptable. In
&gt; particular, the ontology may reside on a web page, or