Visual reasoning with graph-based mechanisms: the good, the better and the best

Michel Chein 1 Marie-Laure Mugnier 1 Madalina Croitoru 1
1 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 : This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphism. This operation is sound and complete with respect to logical deduction. Hence, it is possible to do logical reasoning without using the language of logic but only graphical, thus visual, notions. This paper presents the main knowledge constructs of this language, elementary graph-based reasoning mechanisms, as well as the graph homomorphism, which encompasses all these elementary transformations in one global step. We put our work in context by presenting a concrete semantic annotation application example.
Type de document :
Article dans une revue
Knowledge Engineering Review, Cambridge University Press (CUP), 2013, 28 (Special Issue 3), pp.249-271. 〈10.1017/S0269888913000234〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00856811
Contributeur : Michel Chein <>
Soumis le : lundi 2 septembre 2013 - 15:20:17
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : mardi 3 décembre 2013 - 11:25:54

Fichier

ArticleCambridge.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Michel Chein, Marie-Laure Mugnier, Madalina Croitoru. Visual reasoning with graph-based mechanisms: the good, the better and the best. Knowledge Engineering Review, Cambridge University Press (CUP), 2013, 28 (Special Issue 3), pp.249-271. 〈10.1017/S0269888913000234〉. 〈lirmm-00856811〉

Partager

Métriques

Consultations de la notice

1514

Téléchargements de fichiers

766