Una arquitectura cliente-servidor para modelado conceptual asistido por razonamiento automático