Representing Multi-scale Datalog+/-Using Hierarchical Graphs

摘要

We introduce a multi scale knowledge representation and reasoning formalism of Datalog+/- knowledge bases. This is defined on a novel graph transformation system that highlights a new type of rendering based on the additional expansion of relation nodes. Querying and integration capabilities of our approach are based on a FOL sound and complete homomorphism.