Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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

Abstract : 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.
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-brgm.archives-ouvertes.fr/hal-00596473
Contributeur : Anne-Marie Pouget <>
Soumis le : vendredi 27 mai 2011 - 15:28:23
Dernière modification le : mardi 21 juillet 2020 - 03:18:12
Archivage à long terme le : : dimanche 28 août 2011 - 02:25:04

Fichier

Geological_Time_final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

BRGM | IFP | PSL

Citation

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, Springer Link, 2011, 4 (2), pp.81-96. ⟨10.1007/s12145-011-0080-9⟩. ⟨hal-00596473⟩

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

518