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

Cited literature [19 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328673
Contributor : Madalina Croitoru <>
Submitted on : Saturday, June 29, 2019 - 2:48:01 PM
Last modification on : Saturday, June 29, 2019 - 2:49:40 PM

File

67.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

425

Files downloads

49