Descriptive, Formal and Formalized Ontologies