Rappresentare i concetti nelle ontologie formali. Prototipi ed esemplari.