Skip to main content
SpringerLink
Log in

Reasoning and Unification over Conceptual Graphs

  • Book
  • © 2003

Overview

Authors:
  1. Dan Corbett

    1. University of South Australia, Adelaide, Australia

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Conceptual Structures

    • Dan Corbett
    Pages 1-27

  3. Unification, Knowledge Structures and Constraints

    • Dan Corbett
    Pages 29-47

  4. An Algorithm for the Unification of Conceptual Graphs with Constraints

    • Dan Corbett
    Pages 49-67

  5. Results, Demonstrations and Comparisons

    • Dan Corbett
    Pages 69-117

  6. Placing the Unification Model in Context

    • Dan Corbett
    Pages 119-131

  7. Conclusions and Future Work

    • Dan Corbett
    Pages 133-140

  8. Back Matter

    Pages 141-151
    Download chapter PDF
Back to top

Keywords

About this book

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the expanding field of Conceptual Structures. Designed not only for computing scientists researching Conceptual Graphs, but also for anyone interested in exploring the design of knowledge bases, the book explores what are proving to be the fundamental methods for representing semantic relations in knowledge bases. While it provides the first comprehensive treatment of Conceptual Graph unification and reasoning, the book also addresses fundamental issues of graph matching, automated reasoning, knowledge bases, constraints, ontology and design. With a large number of examples, illustrations, and both formal and informal definitions and discussions, this book is excellent as a tutorial for the reader new to Conceptual Graphs, or as a reference book for a senior researcher in Artificial Intelligence, Knowledge Representation or Automated Reasoning.

Reviews

From the reviews:

"Reasoning and Unification over Conceptual Graphs addresses two main issues: The first one is application of numerical constraints to the values of concepts in a Conceptual Graph, and the second is unification of Conceptual Graphs in general, and constrained ones in particular. … If you are a researcher in the Conceptual Graph community … this book will be of interest to you. Researchers who are looking into the unification problem in other knowledge representation domains may also benefit from it." (Gilad Mishne, Journal of Logic, Language and Information, Vol. 14, 2005)

Authors and Affiliations

  • University of South Australia, Adelaide, Australia

    Dan Corbett

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation