The Role of Formal Ontologies