An Introduction to SNePS 3

Table of Contents

An Introduction to SNePS 3

Outline

Parentage of SNePS 3

SNePS KRR Style

Outline

Basic SNePS Principles

Propositional Semantic Network

Term Logic

Intensional Representation

Uniqueness Principle

Paraconsistent Logic

Outline

Example: Term Logic& Conceptual Relations

Example SNePS Ontology

Example SNePS Ontology

Example SNePS Ontology

Example SNePS Ontology

Example SNePS Ontology

Example SNePS Ontology

Cassie talks to Stu

Outline

Wire-Based Inference

Wire-Based Inference

Path-Based Inference

Path-Based Inference

Path-Based Inference

Node-Based Inference

Node-Based Inference

Node-Based Inference

Node-Based Inference

SNePS 2.5 Generic Version

Subsumption Inference

Outline

Summary

SNeRG Home Page

Wire-Based Inference

Path-Based Inference

Node-Based Inference

Author: Dr. Stuart Shapiro

Email: shapiro@cse.buffalo.edu

Home Page: http://www.cse.buffalo.edu/~shapiro/

Other information:
Department of Computer Science & Engineering State University of New York at Buffalo