Graph-based Knowledge Representation

Computational Foundations of Conceptual Graphs

  • Michel Chein
  • Marie-Laure Mugnier
Part of the Advanced Information and Knowledge Processing book series (AI&KP)

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Foundations: Basic and Simple Conceptual Graphs

  3. Computational Aspects of Basic Conceptual Graphs

  4. Extensions

  5. Back Matter
    Pages 393-427

About this book

Introduction

This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties.

Knowledge can be symbolically represented in many ways, and the authors have chosen labeled graphs for their modeling and computational qualities.

Key features of the formalism presented can be summarized as follows:

• all kinds of knowledge (ontology, facts, rules, constraints) are labeled graphs, which provide an intuitive and easily understandable means to represent knowledge,

• reasoning mechanisms are based on graph-theoretic operations and this allows, in particular, for linking the basic problem to other fundamental problems in computer science (e.g. constraint networks, conjunctive queries in databases),

• it is logically founded, i.e. it has a logical semantics and the graph inference mechanisms are sound and complete,

• there are efficient reasoning algorithms, thus knowledge-based systems can be built to solve real problems.

In a nutshell, the authors have attempted to answer, the following question:

``how far is it possible to go in knowledge representation and reasoning by representing knowledge with graphs and reasoning with graph operations?''

Keywords

Conceptual Graphs Graph Graph theory Hypergraph Knowledge Representation Reasoning Sim algorithms

Authors and affiliations

  • Michel Chein
    • 1
  • Marie-Laure Mugnier
    • 1
  1. 1.Laboratory of InformaticsRobotics, and Micro-electronics (LIRMM)France

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-84800-286-9
  • Copyright Information Springer London 2009
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84800-285-2
  • Online ISBN 978-1-84800-286-9