Summary

• SNePS: a Logic- and Network-Based KRR

• with its own Syntax, Semantics, Proof Theory

• SNePS 3 has 4 kinds of inference

  • Wire-based
  • Path-based
  • Node-based
  • Subsumption

• SNePS 3 is currently being implemented.

Previous slide

Next slide

Back to first slide

View graphic version