Representing Multi-Scale Datalog +/- Using Hierarchical Graphs

Cornelius Croitoru; Madalina Croitoru

doi:10.1007/978-3-319-40985-6_5

Retour

Representing Multi-Scale Datalog +/- Using Hierarchical Graphs

Acte de colloque

Open Access

Representing Multi-Scale Datalog +/- Using Hierarchical Graphs

Cornelius Croitoru et Madalina Croitoru

22nd International Conferences on Conceptual Structures, Vol.LNCS(9717), pp.59-71

ICCS: International Conference on Conceptual Structures (Annecy, France, 05/07/2016–07/07/2016)

2016

DOI: https://doi.org/10.1007/978-3-319-40985-6_5

Résumé

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Representing Multi-Scale Datalog +/- Using Hierarchical Graphs
Créateurs - sans rôle: Cornelius Croitoru - Alexandru Ioan Cuza University
Madalina Croitoru - Alexandru Ioan Cuza University
Détails de publication: 22nd International Conferences on Conceptual Structures, Vol.LNCS(9717), pp.59-71
Colloque: ICCS: International Conference on Conceptual Structures (Annecy, France, 05/07/2016–07/07/2016)
Identifiants: 99153703509311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-01328673