Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages.
Peter BunusPeter FritzsonPublished in: SCAM (2002)
Keyphrases
- graph properties
- declarative language
- highly expressive
- graph representation
- expressive power
- database query languages
- formal semantics
- random walk
- graph theory
- logic programming
- knowledge representation
- formal language
- language independent
- transformation rules
- graph theoretic
- graphical representation
- specification languages
- semantic web languages
- attribute grammars
- graph model
- graph structure
- filtering algorithm
- truth maintenance systems
- graph databases
- rule engine
- knowledge representation languages
- spanning tree
- formal languages
- database languages
- semantic web
- query language
- database systems
- databases