Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
The first book to provide a comprehensive overview of the computational facets of conceptual graphs
Intuitively introduces the main notions of graph theory from a knowledge representation viewpoint, and gives precise definitions of these notions together with complete proofs of the theorems
In its provision of strong theoretical bases the book links up fundamental problems in conceptual graphs with important problems in computer science, and contains algorithms for reasoning
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?''