RDFS::Rule
RDFS entailment rule ‘rdfs11` for `rdfs:subClassOf`.
RDFS
@see www.w3.org/TR/rdf-mt/#RDFSRules