Using Reification To Extend RDF
by
Sandro Hawke
Table of contents
Introduction
What is Inference
DAML Example
Writing Your Own Rules
The Return of Executable Content?
In Client, Server, or Proxy?
Forward Chaining
Backward Chaining
Reasoning with Negation
Contradictions
Logic or Rules MetaLogic
Reification: What Is It?
Almost Too Obvious
Reify One RDF Triple
Reify and Assert One RDF Triple
Gives us an Abstract Syntax for RDF (and other logic languages)
Example: Subclass Rule
The Danger: Paradox
Limited Reification
The Tower of Babel
RDF Layering is more like...
Solid Technology