On the Roles of Logical Axiomatizations for Ontologies