Rosario Uceda-Sosa works in IBM Research in the field of knowledge representation and reasoning