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.
Type de document :
Communication dans un congrès
ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. 22nd International Conferences on Conceptual Structures, 2016, 〈https://www.irit.fr/ICCS2016/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328673
Contributeur : Madalina Croitoru <>
Soumis le : mercredi 8 juin 2016 - 12:07:35
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

  • 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. 22nd International Conferences on Conceptual Structures, 2016, 〈https://www.irit.fr/ICCS2016/〉. 〈lirmm-01328673〉

Partager

Métriques

Consultations de la notice

155