class RDFS::Semantics::RDFS11

RDFS entailment rule ‘rdfs11` for `rdfs:subClassOf`.

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