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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328673
Contributor : Madalina Croitoru <>
Submitted on : Wednesday, June 8, 2016 - 12:07:35 PM
Last modification on : Thursday, May 24, 2018 - 3:59:22 PM

Identifiers

  • HAL Id : lirmm-01328673, version 1

Citation

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

Share

Metrics

Record views

273