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 e descrivere proprietà e relazioni di entità appartenenti a domini propri dell’analisi filosofica e scientifica. In questo senso le ontologie informatiche possono fornire modelli operativi alle forme strutturali e funzionali rappresentate e definite da alcune ontologie logico-formali (come avviene per esempio in biologia molecolare o nel trattamento di lingue naturali), nei limiti della capacità di calcolo dei sistemi informatici e nei limiti delle capacità descrittive dei linguaggi logici.”
CHI
Istituto per il Lessico Intellettuale Europeo e Storia delle Idee
