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.
1. Richiami di Logica
1. Logica proposizionale
2. Logica del primo ordine
3. Deduzione nel calcolo proposizionale
4. Deduzione nel calcolo del primo ordine
2. Logiche descrittive
1. Logiche descrittive strutturali (FL-)
2. Logiche descrittive proposizionali
3. Basi di conoscenza
1. Rappresentazione di concetti
2. La relazione ISA
3. Attributi e vincoli
4. Due logiche terminologiche: SHF e SHIQ
1. Concetti
2. Ruoli e attributi
3. Restrizioni
4. Sintassi e semantica di SHF
5. Sintassi e semantica di SHIQ
5. Il sistema FaCT
6. Ontologie formali
1. Top-Level Ontologies
2. Ontologie di Dominio
3. Ontologie Dedicate ad un Compito
7. Vincoli relazionali
1. Vincoli binari numerici
2. Problemi di Elaborazione dei Vincoli
3. Vincoli non numerici
Il corso si sviluppa su 32 ore di lezione frontale e 12 di laboratorio.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| J. D. Ullman | Principles of Database and Knowledge-base Systems | Computer Science Press | Testo introduttivo alle problematiche di basi di dati e di conoscenza. | ||
| Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider | The Description Logic Handbook Theory, Implementation and Applications (Edizione 1) | Cambridge University Press | 2003 | 0521781760 | Testo sulle logiche descrittive e sulle ontologie |
Esame mediante prove parziali:
durante il corso si svolgono due prove:
C: compito in classe di due ore;
P: progetto di programmazione individuale da fare a casa o in laboratorio.
Il voto al primo appello d'esame, che segue la fine del corso, sulla base delle due prove, è dato da:
50% C + 50% P.
Queste prove valgono solo per il primo appello dopo la fine delle lezioni. Dopo tale appello le due prove durante il corso non valgono più nulla. Similmente chi sostiene l'esame regolare al primo appello perde il voto maturato con le due prove.
Esame regolare:
Si basa su una prova scritta che determina il voto d'esame.
© 2024 | Verona University
