Knowledge representation and update in hierarchies of graphs

DOI10.1016/j.jlamp.2020.100559zbMath1441.68245arXiv2002.01766OpenAlexW4392484296MaRDI QIDQ5896114

Russ Harmer, Eugenia Oshurko

Publication date: 14 July 2020

Published in: Journal of Logical and Algebraic Methods in Programming, Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.01766

zbMATH Keywords

knowledge representationgraph rewritinggraph databases

Mathematics Subject Classification ID

Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Grammars and rewriting systems (68Q42)

Related Items (5)

Fundamentals of compositional rewriting theory ⋮ Preface to the special issue on the 12th international conference on graph transformation ⋮ Unnamed Item ⋮ Knowledge representation and update in hierarchies of graphs ⋮ Concurrency theorems for non-linear rewriting theories

Uses Software

• openCypher

Cites Work

• Unnamed Item
• Exponentiable morphisms, partial products and pullback complements
• Reversible Sesqui-Pushout Rewriting
• Sesqui-Pushout Rewriting
• Graph Rewriting in Span-Categories
• Knowledge representation and update in hierarchies of graphs

This page was built for publication: Knowledge representation and update in hierarchies of graphs