Implement rdfs:range inference

If a predicate has an rdfs:range of some class, than the object of any triple including that predicate belongs to the class.

If the ontology states that :advisor has the range of :Professor, then the inference engine should rewrite queries of the form ?x rdf:type :Professor to check for resources which are anyone's :advisor (as well as any specifically stated to have type :Professor ).