Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Fondamenti di modelli e sistemi

Docente responsabile: Paola Bonizzoni

 

Obiettivi formativi

Il modulo fornisce strumenti ed elementi fondativi concettuali, formali e computazionali per la Rappresentazione della Conoscenza  e per lo sviluppo di relativi modelli e sistemi. Tali strumenti verranno presentati nel contesto applicativo del Sematic Web.  

 

Programma:

 

Introduzione alla Rappresentazione della Conoscenza

Nozioni base: Linguaggi logico formali: Sintassi, Semantica e Ragionamento

Logica proposizionale: Linguaggio, Conseguenza Logica, Calcolo e Decidibilità

Logica dei Predicati: Linguaggio, Conseguenza Logica, Calcolo e Decidibilità

Rappresentare, condividere e integrare la conoscenza

Ontologie come modelli formali, concettuali e computazionali

Rappresentazione di conoscenze ontologiche: strutture e relazioni

Description Logics & Reasoning

Semantic Web technologies: introduzione e applicazioni basate su ontologie

Axiomatic Web Ontologies: OWL & Description Logics

Rappresentare e interrogare la conoscenza sul Web

Tools & Applications

tecnologie disponibili per costruire ontologie e KB semantiche; accesso e reasoning mediante strumenti Web

Semantic Web Languages e l'integrazione di informazioni

Ragionamento mediante motori a regole

Introduzione al ragionamento probabilistico: incertezza, Modelli Relazionali e Modelli Dinamici

Introduzione ai metodi algoritmici per il WEB: tecniche algoritmiche moderne per trattare e ricercare l’informazione nel WEB e nei testi

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011