Visual reasoning with graph-based mechanisms: the good, the better and the best. (7th August 2013)

• Record Type: Journal Article
• Authors: Chein, Michel; Mugnier, Marie-Laure; Croitoru, Madalina
• Is Part Of: Knowledge engineering review. Volume 28:Number 3(2013)
• Page Start: 249
• Page End: 271
• Publication Date: 2013-08-07
• Subjects: Expert systems (Computer science) -- Periodicals; 006.33
• DOI: 10.1017/S0269888913000234
• Languages: English
• ISSNs: 0269-8889

Abstract

<abstract abstract-type="normal"> <title>Abstract</title> <p>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.</p> </abstract>