First-Order Logic with Quotation (for the Semantic Web)
by Sandro Hawke

Table of contents

• Overview
• Simple Example
• Motivation
• Expressions != Sentences
• Using { } To Name Sentences
• Names inside Quotes
• What Can You Say About A Sentence?
• What Can You Say About A Logic Sentence?
• What Else?
• Quotation Vs. Reification
• Unquoting
• Custom Rules for Unquoting
• One-Level Truth Predicate
• Automatically-Stratified Truth Predicate
• Time-Stratified Truth Predicate
• Move Negation Inward (Perlis85)
• Truth Predicates: Summary
• Application: RDF Layering
• Beware RDF Inference
• Referring to Resources in the Quoted Logic
• String, List, or Sentence?
• Samples and Results
• Application: Web Of Trust