On a Graph Calculus for Algebras of Relations.
Renata P. de FreitasPaulo A. S. VelosoSheila R. M. VelosoJorge Petrucio VianaPublished in: WoLLIC (2008)
Keyphrases
- relation algebra
- interval algebra
- expressive power
- dependency graph
- graph representation
- algebraic structure
- graph structures
- graph theoretic
- weighted graph
- graph structure
- graph model
- spatial reasoning
- qualitative spatial reasoning
- temporal relations
- semantic relations
- graph theory
- spatial relations
- connected components
- formal logic
- directed graph
- graph based algorithm
- graph matching
- relational calculus
- random graphs
- temporal reasoning
- structured data
- graph grammars
- directed acyclic graph
- bipartite graph
- temporal constraints
- higher order relations