Analysis and design of the knowledge representation for the implementation of a distributed reasoning - Mora Torres, Martha