Formalization of medical guidelines exploiting medical thesauri