Ontologie logico-formali e ontologie informatiche

DOVE E QUANDO ILIESI-CNR Villa Mirafiori, via Carlo Fea 2, Roma mercoledì 6 aprile 2016, h: 11.00 COSA ONTOLOGIE LOGICO-FORMALI E ONTOLOGIE INFORMATICHE Seminario Descrizione “L’intervento seminariale tratta il rapporto tra i concetti di “ontologia logico-formale” e “ontologia informatica”. Comune a entrambi i concetti è l’uso della logica-matematica per definire Leggi tutto…