First time to commit rdfs reasoner and justification