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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00856811
Contributor : Michel Chein <>
Submitted on : Monday, September 2, 2013 - 3:20:17 PM
Last modification on : Wednesday, December 12, 2018 - 3:56:05 PM
Long-term archiving on : Tuesday, December 3, 2013 - 11:25:54 AM

File

ArticleCambridge.pdf
Publisher files allowed on an open archive

Identifiers

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⟩

Share

Metrics

Record views

2070

Files downloads

1256