Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs /

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 comput...

Full description

Bibliographic Details
Main Authors: Chein, Michel. (Author), Mugnier, Marie-Laure. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic
Language:English
Published: London : Springer London, 2009.
Series:Advanced Information and Knowledge Processing
Subjects:
Online Access:View fulltext via EzAccess
Table of Contents:
  • Foundations: Basic and Simple Conceptual Graphs
  • Basic Conceptual Graphs
  • Simple Conceptual Graphs
  • Formal Semantics of SGs
  • BG Homomorphism and Equivalent Notions
  • Computational Aspects of Basic Conceptual Graphs
  • Basic Algorithms for BG Homomorphism
  • Tractable Cases
  • Other Specialization/Generalization Operations
  • Extensions
  • Nested Conceptual Graphs
  • Rules
  • The BG Family: Facts, Rules and Constraints
  • Conceptual Graphs with Negation
  • An Application of Nested Typed Graphs: Semantic Annotation Bases.