Graph-based Knowledge Representation: Computational Foundations ...

This book provides a definition and study of a knowledge representation and reasoning formalism stemming from conceptual graphs, while focusing on the computational properties of this formalism. Knowledge can be symbolically represented in many ways. The knowledge representation and reasoning formalism presented here is a graph formalism – knowledge is represented by labeled graphs, in the graph theory sense, and reasoning mechanisms are based on graph operations, with graph homomorphism at the core.