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

  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