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