Guiding Inference with Conceptual Graphs

Context: Multifunctional KBs

Vocabularies for Inference

Minimal join = a sequence of beta rules

The CG Inference Task

Inference using Joins

An alternative sequence of joins

Solution: Access Paths

Schema with Access Paths

PPT Slide

Inference with Access Paths

Adding Type Definitions

Discussion

Summary

Email: peter.e.clark@boeing.com

Home Page: http://www.cs.utexas.edu/users/pclark

Download presentation source