Obiettivi formativi
Il corso si propone di introdurre alle nozioni di Logica
Descrittiva, delle Ontologie Formali e dei Vincoli, con specifica attenzione
alle applicazioni di questi temi al Web Semantico ed
alle Basi di Dati.
Modalità formative
Il corso si sviluppa su 32 ore di lezione frontale e 12 di laboratorio.
Programma del corso
- Richiami
di Logica
- Logica
proposizionale
- Logica
del primo ordine
- Deduzione
nel calcolo proposizionale
- Deduzione
nel calcolo del primo ordine
- Logiche
descrittive
- Logiche
descrittive strutturali (FL-)
- Logiche
descrittive proposizionali
- Basi
di conoscenza
- Rappresentazione
di concetti
- La relazione ISA
- Attributi
e vincoli
- Due
logiche terminologiche: SHF e SHIQ
- Concetti
- Ruoli
e attributi
- Restrizioni
- Sintassi
e semantica di SHF
- Sintassi
e semantica di SHIQ
- Il
sistema FaCT
- Ontologie
formali
- Top-Level Ontologies
- Ontologie
di Dominio
- Ontologie
Dedicate ad un Compito
- Vincoli
relazionali
- Vincoli
binari numerici
- Problemi
di Elaborazione dei Vincoli
- Vincoli
non numerici