A Formal Representation of the Semantics of Structural Geological Models

被引:4
|
作者
Zhan, Xianglin [1 ]
Lu, Cai [1 ]
Hu, Guangmin [2 ]
机构
[1] Univ Elect Sci & Technol China, Sch Informat & Commun Engn, Chengdu, Sichuan, Peoples R China
[2] Univ Elect Sci & Technol China, Sch Resources & Environm, Chengdu, Sichuan, Peoples R China
基金
中国国家自然科学基金;
关键词
TOPOLOGY; POINT; KNOWLEDGE; SYSTEMS; RCC8;
D O I
10.1155/2022/5553774
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A structural geological model describes the structure of subsurface and plays an important role in the exploration of mineral and petroleum resources. Despite the widespread use of three-dimensional geological models, the theoretical research of informatics in the field of structural geology is still very limited. We have noticed a lack of methods for integrating explicit semantics of field observation data and geophysical data into geological models. The existing model representation methods focus on accurately representing the geometric morphological information of underground structures, ignoring the high-level semantics implied in the model. The formal representation of the semantic information is necessary to promote the development of intelligent methods in geomodeling and geophysical inversion. In this paper, we propose a new framework to formally represent the semantics of structural geological models with a clear distinction of geometric and geological semantics. For the geometric semantics, based on the extension of the 9-intersection model, we mathematically define the spatial topological relations between geometric objects that make up the geological model. For the geological semantics, we define the geological contact and compositional relations between geological bodies and geological surfaces and reveal the temporal implications of these geological relationships. We design a multilayer heterogeneous network as a computer characterization of the semantics of the geological model. A better representation of semantic information aids in the creation and validation of geological models, as well as management, queries, and analyses of geological knowledge.
引用
收藏
页数:18
相关论文
共 50 条
  • [21] A formal representation for context-aware business processes
    Mattos, Talita da Cunha
    Santoro, Flavia Maria
    Revoredo, Kate
    Nunes, Vanessa Tavares
    COMPUTERS IN INDUSTRY, 2014, 65 (08) : 1193 - 1214
  • [22] Ontological Representation and Governance of Business Semantics in Compliant Service Networks
    De Leenheer, Pieter
    Cardoso, Jorge
    Pedrinaci, Carlos
    EXPLORING SERVICES SCIENCE, IESS 2013, 2013, 143 : 155 - 169
  • [23] Semantic Models for the Geological Mapping Process
    Lombardo, Vincenzo
    Piana, Fabrizio
    Mimmo, Dario
    Mensa, Enrico
    Radicioni, Daniele P.
    AI*IA 2017 ADVANCES IN ARTIFICIAL INTELLIGENCE, 2017, 10640 : 295 - 306
  • [24] Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
    Sabahi-Kaviani, Zeynab
    Khosravi, Ramtin
    Olveczky, Peter Csaba
    Khamespanah, Ehsan
    Sirjani, Marjan
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 85 - 118
  • [25] Formal Definition of the Term "Semantics" as a Foundation for Semantic Interoperability in the Industrial Internet of Things
    Schroeder, Tizian
    Diedrich, Christian
    IFAC PAPERSONLINE, 2020, 53 (02): : 8276 - 8282
  • [26] Interpreted synchronous extension of time Petri nets Definition, semantics and formal analysis
    Godary-Dejean, Karen
    Leroux, Helene
    Andreu, David
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (01): : 27 - 64
  • [27] Formal Verification for VRM Requirement Models
    Zhang, Yang
    Hu, Jun
    Wang, Lisong
    Gu, Qingfan
    Rong, Hao
    COMMUNICATIONS, SIGNAL PROCESSING, AND SYSTEMS, VOL. 1, 2022, 878 : 961 - 969
  • [28] THE COMPUTATIONAL REPRESENTATION OF CONCEPTS IN FORMAL ONTOLOGIES Some General Considerations
    Frixione, Marcello
    Lieto, Antonio
    KEOD 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2010, : 396 - 403
  • [29] Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions
    Alanwar, Amr
    Jiang, Frank J.
    Amin, Samy
    Johansson, Karl H.
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 60 - 66
  • [30] Formal Methods for Checking the Consistency of Biological Models
    Clark, Allan
    Galpin, Vashti
    Gilmore, Stephen
    Guerriero, Maria Luisa
    Hillston, Jane
    ADVANCES IN SYSTEMS BIOLOGY, 2012, 736 : 461 - 475