ize that I have something more attached
to the word "ontology" (small-O) than just a set of propositions, so I 
may need to rephrase/back-off from my earlier definition.

A theory, to me, is a set of propositions.

An ontology, to me, includes 
a set of facts (connectives with relations and constant names and functions)
a set of rules (for-all/there-exists statements with variables/quantifiers)
a taxonomy of facts (constant-names) ordered with
structural predicates like instance-of/class-of/has-a. 
A well-d