Seeking ideas for an efficient method to make all possible inferences

Question

I am making a static RDFS-Plus (subset of owl) inference engine. I have already written the code for inferring on all the modeling constructs I am implementing. The problem