Geological time formalization: an improved formal model for describing time successions and their correlation

Michel Perrin (1) , Laura S. Mastella (1) , Olivier Morel (2) , Alexandre Lorenzatti (3)

1 École des Mines de Paris
2 BRGM - Bureau de Recherches Géologiques et Minières (BRGM)
3 IFPEN - IFP Energies nouvelles

Geological time description largely rests on an event based chronology based on the stratigraphical model. It uses a hierarchy of chronologically ordered geochronological units and boundaries. In order to be easily dealt with within large databases used by complex engineering systems, the geological time chronology must be formalized. Stratigraphical time successions should accordingly be described by using adequate semantic tools (ontologies) complemented by a set of logical rules. At present, geological time formalization mainly rests on the GeoSciML model. This model is fit for describing individual geological time scales but does not provide all the necessary tools for comparing various time successions and for operating full stratigraphic correlations. For complementing the GeoSciML model, we define two ontologies for geological time description and for geological dating. They extend the GeoSciML model, so that it becomes possible to fully use the Allen rules for operating time correlations between any couple of time scales or stratigraphic successions. We additionally propose a codification resting on the defined ontologies, which allows operating all age identification and correlation by means of simple computation rules.

Mots clés: Geological time scales; Geological dating; Ontologies; Codification; Stratigraphic correlation

Domaines: Sciences de la Terre

Michel Perrin, Laura S. Mastella, Olivier Morel, Alexandre Lorenzatti. Geological time formalization: an improved formal model for describing time successions and their correlation. Earth Science Informatics, 2011, 4 (2), pp.81-96. ⟨10.1007/s12145-011-0080-9⟩. ⟨hal-00596473⟩