make some comments on RDFSReasoner.java
额