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 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

http://www.iliesi.cnr.it/