Extending SUMO to Geological Times

One of the challenges of Natural Language Processing of Oil&Gas domain is reasoning with geological times. Although there are some initiatives for specifying the vocabulary of this information, they fall short on enforcement of expected properties, such as no overlapping between Ages (Epoch, Eras etc) and hierarchy compliance. We used the Suggested Upper Merged Ontology (SUMO) and its associated automated reasoning tools to tackle these matters and uncovered some inconsistencies on geological time International Chronostratigraphic Chart (ICC) official published material.

[1]  Reid G. Smith,et al.  AI Supports Information Discovery and Analysis in an SPE Research Portal , 2018 .

[2]  Christoph Benzmüller,et al.  The Higher-Order Prover Leo-III , 2018, IJCAR.

[3]  Alexandre Rademaker.  Challenges for Information Extraction in the Oil and Gas Domain , 2018, ONTOBRAS.

[4]  Fabricio Chalub,et al.  Extending Wordnet to Geological Times , 2018, GWC.

[5]  T. Alves,et al.  An incomplete correlation between pre-salt topography, top reservoir erosion, and salt deformation in deep-water Santos Basin (SE Brazil) , 2017 .

[6]  M. Antoniak,et al.  Natural Language Processing Techniques on Oil and Gas Drilling Data , 2016 .

[7]  Simon J. D. Cox,et al.  A geologic timescale ontology and service , 2015, Earth Science Informatics.

[8]  Adam Pease,et al.  Knowledge Engineering for Large Ontologies with Sigma KEE 3.0 , 2014, IJCAR.

[9]  Philip L. Gibbard,et al.  The ICS International Chronostratigraphic Chart , 2013 .

[10]  Andrei Voronkov,et al.  First-Order Theorem Proving and Vampire , 2013, CAV.

[11]  Peter Baumgartner,et al.  The TPTP Typed First-Order Form with Arithmetic , 2012, LPAR.

[12]  Adam Pease,et al.  Sigma : An Integrated Development Environment for Logical Theories , 2010 .

[13]  Simon Cox,et al.  A formal model for the geologic time scale and global stratotype section and point, compatible with geospatial information transfer standards , 2005 .

[14]  Betsy Palkowsky.  A New Approach to Information Discovery—Geography Really Does Matter , 2005 .

[15]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[16]  Adam Pease,et al.  Linking Lixicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology , 2003, IKE.

[17]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[18]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[19]  Olaf Michelsen,et al.  Revised guidelines for the establishment of global chronostratigraphic standards by the International Commission on Stratigraphy (ICS) , 1996 .

[20]  Temporal Logic , 1994, Lecture Notes in Computer Science.

[21]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[22]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[23]  A. Prior.  Tense-logic and the continuity of time , 1962 .