Beschreibung:
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a substantial focus on the computational properties.
The first book to provide a comprehensive overview on the computational facets of conceptual graphs
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.