Representing Multi-Scale Datalog +/- Using Hierarchical Graphs

Cornelius Croitoru 1 Madalina Croitoru 2
2 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Madalina Croitoru <>
Submitted on : Wednesday, June 8, 2016 - 12:07:35 PM
Last modification on : Thursday, May 24, 2018 - 3:59:22 PM


  • HAL Id : lirmm-01328673, version 1


Cornelius Croitoru, Madalina Croitoru. Representing Multi-Scale Datalog +/- Using Hierarchical Graphs. ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. ⟨lirmm-01328673⟩



Record views