Swish.RDF.Proof

type RDFProof

type RDFProofStep

makeRDFProof

makeRDFProofStep

makeRdfInstanceEntailmentRule

makeRdfSubgraphEntailmentRule

makeRdfSimpleEntailmentRule