class RDFS::Semantics::RDFS5

RDFS entailment rule ‘rdfs5` for `rdfs:subPropertyOf`.

@see www.w3.org/TR/rdf-mt/#RDFSRules