cn.edu.neu.mitt.mrj.reasoner.rdfs run correctly now.