DAAD-Vigoni

DAAD-Vigoni DIT-PRJ-05-138

Status NOT active project
DISI role Coordinator
Project type Education and Mobility Project
Dimension International
Acquisition date 2004-01-01
Start date 2004-01-01
End date 2006-12-31

Project details

Project astract Questo progetto si propone come obiettivo principale lo sviluppo di<br/>metodologie e strumenti per la creazione, l'integrazione e l'uso <br/>applicativo di ontologie formali. In questi ultimi anni, l’ontologia <br/>formale ha assunto un ruolo centrale nella gestione e nel riuso della <br/>conoscenza, nel web semantico, nei sistemi informativi, <br/>nell’information brokering e nella modellazione dei processi <br/>cognitivi (basti considerare, ad esempio, il recente numero speciale <br/>dedicato alle ontologie in Communications of the ACM, 2002, Vol.45).<br/><br/>Sia il gruppo di ricerca italiano che quello tedesco hanno <br/>un'esperienza pluriennale in questo campo. Uno scambio d'idee avuto a <br/>Brema nel 2003 e una riunione organizzativa a Trento nell’aprile di <br/>quest’anno, hanno reso evidente l'impatto (a livello mondiale) che <br/>una stretta collaborazione scientifica potrebbe avere nell’ambito <br/>della progettazione e dell’uso di ontologie.<br/><br/>In dettaglio, il progetto si propone i seguenti obiettivi:<br/><br/>(1) l’applicazione e il perfezionamento dei metodi e strumenti <br/>algebrici sviluppati a Brema (CASL) per la specifica di ontologie <br/>formali e dei legami tra queste, considerando come caso di studio la <br/>libreria ontologica prodotta a Trento che tra gli altri moduli <br/>comprende DOLCE;<br/><br/>(2) lo sviluppo di procedure semi-automatiche per la traduzione di <br/>teorie ontologiche espresse in linguaggi molto espressivi ma poco <br/>trattabili a livello computazionale (per esempio la logica del primo <br/>ordine) in teorie basate su linguaggi che sacrificando parte <br/>dell'espressivita' dimostrano un buon comportamento computazionale <br/>(per esempio le logiche descrittive), requisito fondamentale per le <br/>applicazioni;<br/><br/>(3) lo sviluppo e il perfezionamento di molteplici ontologie di <br/>dominio di interesse comune: ontologie dello spazio, del linguaggio, <br/>dei gruppi e delle interazioni sociali;<br/><br/>(4) l'uso di metodi algebrici per la valutazione di ontologie di <br/>dominio e la loro divulgazione nella comunità dell’ontological <br/>engineering in termini di standard emergenti come OWL (raccomandato <br/>dal W3C) e le estensioni di questo da noi proposte.
Keywords formal ontologies, lexical ontologies, CASL programming language
Fundings 1000 €
Partners
  • DIT - UniTN
  • University of Bremen

DISI Sub-project details

Project astract Applicazione e perfezionamento dei metodi e strumenti<br/>algebrici sviluppati a Brema (CASL) per la specifica di ontologie <br/>formali e dei legami tra queste, considerando come caso di studio la <br/>libreria ontologica prodotta a Trento che tra gli altri moduli <br/>comprende DOLCE.<br/><br/>Sviluppo e perfezionamento di molteplici ontologie di <br/>dominio di interesse comune: ontologie dello spazio, del linguaggio, <br/>dei gruppi e delle interazioni sociali.
Fundings 2000 €
Manager Paolo Bouquet