An explanation enabled reasoner for Ontology Learning