Ontologies and their use in geological knowledge formalization