Out of scope

• Specification of RDFS/OWL semantics.
• Rules
• Cursors and proofs
• Graph Update Protocol