The class will present the theory and practice of graph-based knowledge representation with a particular emphasis on its use in modelling complex systems (rule-based modelling) and in modern graph databases (such as Neo4j). The class will include a thorough treatment of the mathematical foundations of the approach in terms of graph rewriting.
Rule-based modeling provides compact descriptions of complex systems as collections of rewriting rules that describe how the system may evolve over time. This enables the description and simulation of high-dimensional (even infinite) systems and enables new analysis techniques based on notions of causality from concurrency theory.
Modern databases use graph structures (nodes, edges and properties) to encode semantically complex data as is commonly found in industry and academia (notably in the sciences and social sciences) nowadays. These graphs are analysed and manipulated by advanced query languages that are based on similar ideas to rule-based modelling.