l theory or set of propositions *is* an "ontology".  An Ontology
&gt; (big-O) is an inventory of the things that one takes to exist.  A
&gt; proposition (the kind of thing capable of bearing a truth value) is one of
&gt; those things that one finds in some folks Ontologies.
&gt; 
&gt; An "ontology" (small-O) is the term commonly misused to name the latter
&gt; concept.  It may have a logical expression, in which case the name is OK,
&gt; but this needs to be kept separate.

Hmm. in thinking about it, I real