(NB Principle of least powerful language)
-
Assertions and quotation; RDF Model and Syntax
-
Constrains on structure of documents: schemas
-
Inference rules: conversion between schemas & versions
-
Not and functions: completely expressive language
-
Language for transmission of proof for validation
