Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Madalina Croitoru Connect in order to contact the contributor
Submitted on : Saturday, June 29, 2019 - 2:48:01 PM
Last modification on : Wednesday, November 3, 2021 - 7:44:39 AM


Files produced by the author(s)



Cornelius Croitoru, Madalina Croitoru. Representing Multi-Scale Datalog +/- Using Hierarchical Graphs. ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71, ⟨10.1007/978-3-319-40985-6_5⟩. ⟨lirmm-01328673⟩



Record views


Files downloads