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