Swish.RDF.Proof
type RDFProof
type RDFProofStep
makeRDFProof
makeRDFProofStep
makeRdfInstanceEntailmentRule
makeRdfSubgraphEntailmentRule
makeRdfSimpleEntailmentRule