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 条
  • [1] Formal representation of 3D structural geological models
    Wang, Zhangang
    Qu, Honggang
    Wu, Zixing
    Yang, Hongjun
    Du, Qunle
    COMPUTERS & GEOSCIENCES, 2016, 90 : 10 - 23
  • [2] ON SEMANTICS OF FORMAL REPRESENTATION
    DREHER, JH
    PHILOSOPHIA, 1978, 8 (01) : 71 - 78
  • [3] A Formal Semantics of the GraalVM Intermediate Representation
    Webb, Brae J.
    Utting, Mark
    Hayes, Ian J.
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021, 2021, 12971 : 111 - 126
  • [4] Formal representation of semantics for composable simulation models and checking rules for semantic composability
    Zhou, Dong-Xiang
    Li, Qun
    Wang, Wei-Ping
    Guofang Keji Daxue Xuebao/Journal of National University of Defense Technology, 2008, 30 (01): : 89 - 93
  • [5] Formal representation and semantics of modern Chinese interrogative sentences
    Mao, JJ
    Chen, QL
    Lu, RZ
    COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, PROCEEDINGS, 2003, 2588 : 65 - 74
  • [6] Formal Semantics of BPMN Process Models using YAWL
    Ye, JianHong
    Sun, ShiXin
    Song, Wen
    Wen, LiJie
    2008 INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL II, PROCEEDINGS, 2008, : 70 - +
  • [7] Formal Semantics of Chinese Discourse Based on Compositional Discourse Representation Theory
    Wang, Qing-jiang
    Zhang, Lin
    EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, 2011, 237 : 470 - +
  • [8] GEOLOGICAL SEMANTICS
    CANE, RF
    NATURE, 1970, 228 (5275) : 1009 - &
  • [9] What is formal in formal semantics?
    Wolenski, J
    DIALECTICA, 2004, 58 (03) : 427 - 436
  • [10] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics
    Loebe, Frank
    Herre, Heinrich
    FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +