Update specs for RDF and Tabulation