Swish.RDF.ProofContext
rulesetRDF
rulesetRDFS
rulesetRDFD