[HTML][HTML] Building knowledge graphs from unstructured texts: Applications and impact analyses in cybersecurity education

G Agrawal, Y Deng, J Park, H Liu, YC Chen - Information, 2022 - mdpi.com
Knowledge graphs gained popularity in recent years and have been useful for concept
visualization and contextual information retrieval in various applications. However …

Graph Transformation for Software Engineers

R Heckel, G Taentzer - Springer International Publishing, doi, 2020 - Springer
The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …

Schema validation and evolution for graph databases

A Bonifati, P Furniss, A Green, R Harmer… - … Conference, ER 2019 …, 2019 - Springer
Despite the maturity of commercial graph databases, little consensus has been reached so
far on the standardization of data definition languages (DDLs) for property graphs (PG) …

Graphs, rewriting and pathway reconstruction for rule-based models

V Danos, J Feret, W Fontana, R Harmer… - FSTTCS 2012-IARCS …, 2012 - hal.science
In this paper, we introduce a novel way of constructing concise causal histories (pathways)
to represent how specified structures are formed during simulation of systems represented …

Graph transformation units–an overview

HJ Kreowski, S Kuske, G Rozenberg - … Dedicated to Ugo Montanari on the …, 2008 - Springer
Graph Transformation Units – An Overview* Page 1 Graph Transformation Units – An
Overview* Hans-Jörg Kreowski1, Sabine Kuske1, and Grzegorz Rozenberg2 1 University of …

Computational category-theoretic rewriting

K Brown, E Patterson, T Hanks, J Fairbanks - Journal of Logical and …, 2023 - Elsevier
We demonstrate how category theory provides specifications that can efficiently be
implemented via imperative algorithms and apply this to the field of graph transformation. By …

Fundamentals of compositional rewriting theory

N Behr, R Harmer, J Krivine - Journal of Logical and Algebraic Methods in …, 2023 - Elsevier
A foundational theory of compositional categorical rewriting theory is presented, based on a
collection of fibration-like properties that collectively induce and intrinsically structure the …

Concurrency theorems for non-linear rewriting theories

N Behr, R Harmer, J Krivine - International Conference on Graph …, 2021 - Springer
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-
known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no …

[HTML][HTML] Co-evolving meta-models and their instance models: A formal approach based on graph transformation

F Mantz, G Taentzer, Y Lamo, U Wolter - Science of Computer …, 2015 - Elsevier
Abstract Model-driven engineering focuses on models as primary artifacts of the software
development process, which means programs are mainly generated by model-to-code …

[HTML][HTML] The PBPO graph transformation approach

A Corradini, D Duval, R Echahed, F Prost… - Journal of Logical and …, 2019 - Elsevier
We propose a new algebraic approach to graph transformation, called the Pullback-Pushout
(pbpo) approach, where we combine smoothly the classical modifications to a host graph …