Introduced inferencer for rdfs:subClassOf.