Desarrollo de un marco global para inferir nuevo conocimiento usando implicaciones y sus generalizaciones (TIN2017-89023-P)