Next Layer: SWeLL

Map RDF triple set into existential assertion of conjunction
Add negation, quotation and universal quantification
Higher order logic is inescapable.
- Abandon completeness (being about to prove all true sentences)
- Require consistency (not of all data, just of language!)