Progetto: Metodi per la rappresentazione della conoscenza e applicazioni