Semantics-Preserving DPO-Based Term Graph Rewriting.
Wolfram KahlYuhang ZhaoPublished in: TERMGRAPH@FSCD (2018)
Keyphrases
- rewriting systems
- graph model
- rewriting rules
- weighted graph
- graph properties
- graph theory
- graph theoretic
- transformation rules
- graph structure
- connected components
- directed graph
- formal semantics
- graphical representation
- graph representation
- structured data
- sparql queries
- logic programming
- citation graph
- graph matching
- semantic information
- graph partitioning
- edge weights
- graph databases
- graph mining
- rewrite rules
- schema mappings
- query optimization
- knowledge base