Rule-based Graph Repair

被引：4
|
作者：
Sandmann, Christian [1 ]
Habel, Annegret [1 ]
机构：
[1] Carl von Ossietzky Univ Oldenburg, Oldenburg, Germany
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 309期
关键词：
D O I：
10.4204/EPTCS.309.5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Model repair is an essential topic in model-driven engineering. Since models are suitably formalized as graph-like structures, we consider the problem of rule-based graph repair: Given a rule set and a graph constraint, try to construct a graph program based on the given set of rules, such that the application to any graph yields a graph satisfying the graph constraint. We show the existence of repair programs for specific constraints, and show the existence of rule-based repair programs for specific constraints compatible with the rule set.
引用
收藏
页码：87 / 104
页数：18
相关论文
共 50 条
  • [1] Empowering model repair: A rule-based approach to graph repair without side effects
    Lauer, Alexander
    Kosiol, Jens
    Taentzer, Gabriele
    [J]. 2023 ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION, MODELS-C, 2023, : 831 - 840
  • [2] Fast rule-based graph programs
    Campbell, Graham
    Courtehoute, Brian
    Plump, Detlef
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2022, 214
  • [3] Strict and Flexible Rule-Based Graph Repairing
    Cheng, Yurong
    Chen, Lei
    Yuan, Ye
    Wang, Guoren
    Li, Boyang
    Jin, Fusheng
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2022, 34 (07) : 3521 - 3535
  • [4] From imperative to rule-based graph programs
    Plump, Detlef
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 88 : 154 - 173
  • [5] A Rule-Based Model of Base Excision Repair
    Kohler, Agnes
    Krivine, Jean
    Vidmar, Jakob
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2014, 2014, 8859 : 173 - 195
  • [6] RDF graph validation using rule-based reasoning
    Meester, Ben De
    Heyvaert, Pieter
    Arndt, Dorthe
    Dimou, Anastasia
    Verborgh, Ruben
    [J]. SEMANTIC WEB, 2021, 12 (01) : 117 - 142
  • [7] Rule-based Text Extraction for Multimodal Knowledge Graph
    Norabid, Idza Aisara
    Fauzi, Fariza
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2022, 13 (05) : 295 - 304
  • [8] From graph transformation to rule-based programming with diagrams
    Hoffmann, B
    [J]. APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 165 - 180
  • [9] Rule-based Knowledge Graph Completion with Canonical Models
    Ott, Simon
    Betz, Patrick
    Stepanova, Daria
    Gad-Elrab, Mohamed H.
    Meilicke, Christian
    Stuckenschmidt, Heiner
    [J]. PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023, 2023, : 1971 - 1981
  • [10] Rule-based data augmentation for knowledge graph embedding
    Li, Guangyao
    Sun, Zequn
    Qian, Lei
    Guo, Qiang
    Hu, Wei
    [J]. AI OPEN, 2021, 2 : 186 - 196
12345