Formalizzazione ontologica di terminologie e sistemi di classificazione in ambito biomedico: il caso ICPC2-ICD10