class RDFS::Semantics::RDFS13

RDFS entailment rule ‘rdfs13`.

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