Semantically triggered qualitative simulation of a geological process
The field of geology has been the subject of a range of research efforts aiming to formalize geological domain knowledge, notably through geological domain ontologies. The main focus of existing geological ontologies primarily lies in describing static geological objects and their properties, paying...
        Saved in:
      
    
          | Published in | Applied computing and geosciences Vol. 21; p. 100152 | 
|---|---|
| Main Authors | , , , | 
| Format | Journal Article | 
| Language | English | 
| Published | 
            Elsevier Ltd
    
        01.03.2024
     Elsevier  | 
| Subjects | |
| Online Access | Get full text | 
| ISSN | 2590-1974 2590-1974  | 
| DOI | 10.1016/j.acags.2023.100152 | 
Cover
| Summary: | The field of geology has been the subject of a range of research efforts aiming to formalize geological domain knowledge, notably through geological domain ontologies. The main focus of existing geological ontologies primarily lies in describing static geological objects and their properties, paying less attention to the knowledge concerning geological processes and events. Meanwhile, the geological process modeling and simulation predominantly rely on quantitative numerical approaches that necessitate comprehensive and abundant data as input. However, many geological processes took place on a million-year time scale with insufficient data and non-direct observations. Given the inherent incompleteness of geological data, geologists still rely on qualitative reasoning to validate their interpretations. There is currently a dearth of applicable methods to facilitate qualitative reasoning and simulate geological processes based on domain knowledge.
We propose to model the effects of a geological process through an object-oriented program, while keeping an ontological representation of the situation at each instant. To combine the two models, we propose using semantically defined ‘process triggers.’ These process triggers are defined as part of the ontology, in accordance with the Basic Formal Ontology. They enable geologists to describe the precise moment when a geological process is triggered and initiated. On the computational program side, we employ the ‘Semantic Micro Object Language’ to embody the knowledge and rules provided by geologists, facilitating the simulation of geological processes. Through an evaluation experiment, our proposed approach demonstrates promising results within a reasonable timeframe. As proof of concept, we have applied our method to a real-world scenario of petroleum thermal maturation in Ekofisk Field and got a promising result. Our approach provides a formalism that allows a powerful code to interact with domain ontologies, which paves the path for future knowledge reasoning.
•Novel approach to modeling dynamic and static aspects of modeling geological processes.•Semantic method that bridges between explaining geology domain ontologies and dynamic process simulations.•Ontologically precise description of trigger concepts that start dynamic process simulation.•Supports explainable reasoning in geological process simulation based on domain knowledge.•Case study applied on Ekofisk scenario. | 
|---|---|
| ISSN: | 2590-1974 2590-1974  | 
| DOI: | 10.1016/j.acags.2023.100152 |