Knowledge representation and semantic technologies, 2017/2018 (prof. Riccardo Rosati)

Lectures

The lecture contents refer to the following course material:
  1. Description Logics
  2. Exercises on Description Logics
  3. Datalog and Answer Set Programming
  4. Exercises on Datalog and Answer Set Programming
  5. SQL, DLs, Datalog and ASP: comparison
  6. Introduction to the Semantic Web
  7. The RDF layer
  8. Exercises on RDF, RDFS, and SPARQL
  9. Ontologies and OWL
  10. OWL 2
  11. Exercises on OWL
  12. Exercises on OWL 2 profiles
  13. Final exercises on Knowledge Representation
  14. Representing and reasoning about actions in the Situation Calculus
  15. Exercises on representing and reasoning about actions
Lectures:
  1. Wed 28/2/2018 [1]
    Course overview. Introduction to knowledge representation. Class-based formalisms. Description Logics (DL).
  2. Wed 7/3/2018 [1]
    Description Logics. Syntax and semantics of Description Logics. The DL ALC. Semantics of ALC.
  3. Mon 12/3/2018 [1]
    Semantics of ALC. Reasoning tasks.
  4. Wed 14/3/2018 [1]
    Reasoning in ALC: unfoldable TBoxes, negation normal form. The tableau algorithm for ALC KBs with unfoldable TBoxes.
  5. Mon 19/3/2018 [1]
    The tableau algorithm for ALC KBs with unfoldable TBoxes.
  6. Wed 21/3/2018 [1]
    The tableau algorithm for ALC KBs with general concept inclusions.
  7. Mon 26/3/2018 [2,3]
    Esercises on DL. Rule-based formalisms: brief history. Logic programming. Positive Datalog. Syntax and semantics.
  8. Wed 28/3/2018 [3]
    Reasoning in positive Datalog: naive and semi-naive bottom-up evaluation. Constraints in Datalog.
  9. Mon 9/4/2018 [3]
    Negation in datalog. Stratified negation. Bottom-up evaluation for stratified Datalog. Answer Set Programming (ASP).
  10. Wed 11/4/2018 [3]
    Answer Set Programming (ASP). Recursive negation. Disjunction in rule heads. Stable model semantics. Reasoning in ASP. ASP tools.
  11. Mon 16/4/2018 [5]
    Complexity of reasoning in Datalog and ASP. Comparison among SQL, DL, Datalog, and ASP.
  12. Wed 18/4/2018 [4]
    Exercises on Datalog and ASP.
  13. Mon 23/4/2018 [6]
    The Semantic Web.
  14. Wed 2/5/2018 [7]
    RDF and RDFS.
  15. Mon 7/5/2018 [7]
    SPARQL. Linked data.
  16. Wed 9/5/2018 [9]
    Ontologies. OWL. Reasoning in OWL.
  17. Mon 14/5/2018 [9]
    Query answering in OWL. SPARQL 1.1. Protege.
  18. Wed 16/5/2018 [10,8]
    OWL 2, OWL 2 profiles. Reasoning in OWL 2 profiles: query rewriting, first-order rewritability. Esercises on RDF and SPARQL.
  19. Mon 21/5/2018 [10,11]
    Reasoning in OWL 2 profiles: ABox materialization. Comparison with query rewriting. The combined approach. Exercises on OWL.
  20. Wed 23/5/2018 [12,13]
    Exercises on OWL 2 profiles. Exercises on Knowledge Representation.
  21. Mon 28/5/2018 [14,15]
    The Situation Calculus. Modeling actions in the Situation Calculus. The frame problem. The regression theorem. Executability and projection. Exercises on formalizing and reasoning about actions in the Situation Calculus.
  22. Wed 30/5/2018
    Example of a written exam. Presentation of projects (homework).