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 条
  • [21] Theoretical Rule-based Knowledge Graph Reasoning by Connectivity Dependency Discovery
    Zhang, Canlin
    Hsu, Chun-Nan
    Katsis, Yannis
    Kim, Ho-Cheol
    Vazquez-Baeza, Yoshiki
    [J]. 2022 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2022,
  • [22] Modified risk graph method using fuzzy rule-based approach
    Nait-Said, R.
    Zidani, F.
    Ouzraoui, N.
    [J]. JOURNAL OF HAZARDOUS MATERIALS, 2009, 164 (2-3) : 651 - 658
  • [23] PARALLELISM ANALYSIS IN RULE-BASED SYSTEMS USING GRAPH-GRAMMARS
    MOLDOVAN, D
    PARISIPRESICCE, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 291 : 427 - 439
  • [24] Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars
    Machado, Rodrigo
    Ribeiro, Leila
    Heckel, Reiko
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 594 : 1 - 23
  • [25] Merging graph-based and rule-based computation: The language G-Log
    Paredaens, J
    Peelman, P
    Tanca, L
    [J]. DATA & KNOWLEDGE ENGINEERING, 1998, 25 (03) : 267 - 300
  • [26] A novel extended rule-based system based on K-Nearest Neighbor graph
    Fu, Yang-Geng
    Lin, Xin-Yi
    Fang, Geng-Chao
    Li, Jin
    Cai, Hong-Yi
    Gong, Xiao-Ting
    Wang, Ying-Ming
    [J]. INFORMATION SCIENCES, 2024, 662
  • [27] RULE-BASED COMPETITION
    SCHARPING, R
    [J]. FOREIGN AFFAIRS, 1994, 73 (04) : 192 - 194
  • [28] Rule-based languages
    Victor Vianu
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 19 : 215 - 259
  • [29] Rule-based languages
    Vianu, V
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 215 - 259
  • [30] RULE-BASED SYSTEMS
    HAYESROTH, F
    [J]. COMMUNICATIONS OF THE ACM, 1985, 28 (09) : 921 - 932
12345