SITE TITLE

LOGO DIETI

Semantic web

Titolo insegnamento in inglese: Semantic web

Lingua:italiano

Insegnamento: Semantic web

Anno di corso: II

CFU: 6

SSD: INF/01

Ore di lezione: 48

Semestre: 1

Modulo: Nessuno

Codice: 15328

Obiettivi formativi:

 Il corso si propone di fornire allo studente le basi teoriche e implementative  per lo sviluppo di ontologie nell’ambito del web semantico. Nello specifico si affronterà lo standard OWL e le Logiche Descrittive soggiacenti. In tale contesto vengono studiate sia le proprietà tecniche delle logiche trattate (tra le quali il rapporto fra espressività e complessità) che  le tecniche di implementazione (ottimizzazioni comprese). Infine, particolare enfasi verrà data al l'uso delle logiche medesime per rappresentare diversi domini applicativi.

Contenuti:

Introduzione e motivazioni: la diffusione di tecniche di AI nelle applicazioni "di ogni giorno", e il ruolo della rappresentazione della conoscenza in questi contesti. Richiami di logica del primo ordine e complessità computazionale. Logiche descrittive: sintassi, semantica e  reasoning tasks. Logiche descrittive e lo standard OWL. Espressività e complessità dei diversi frammenti logici. Strumenti di sviluppo di Ontologie (Protegé). Modellazione di domini tramite OWL (definizione di ontologie). Risultati negativi: indecidibilità di alcune logiche descrittive. Logiche a bassa complessità e  il profilo OWL-EL.  Meccanismi di ragionamento automatico basati su tableaux  e relative tecniche di ottimizzazione. Meccanismi di ragionamento per la logica EL. Elementi di programmazione logica: il linguaggio Prolog, esempi di programmi logici, negazione come fallimento.  

Prerequisiti: Nessuno

Modalità didattiche: 

Lezioni frontali. Esercitazioni.

Materiale didattico:

Modalità di esame: 

L'esame si articola in prova

Scritta e orale

 

         

 

 

 

 

 

 

 

 

 

 

In caso di prova scritta i quesiti sono

 

 

 

A risposta libera

 

   

 

Altro 

 

 

Docente : Sauro Luigi