Knowledge representation and semantic technologies, 2016/2017 (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. The upper layers of the Semantic Web
  14. Final exercises on Knowledge Representation
  15. Representing and reasoning about actions in the Situation Calculus
  16. Exercises on representing and reasoning about actions
Lectures:
  1. Tue 21/2/2017 [1]
    Course overview. Introduction to knowledge representation. Class-based formalisms. Description Logics (DL).
  2. Thu 23/2/2017 [1]
    Description Logics. Syntax and semantics of Description Logics. The DL ALC. Semantics of ALC.
  3. Tue 28/2/2017 [1]
    Semantics of ALC. Reasoning tasks.
  4. Thu 2/3/2017 [1]
    Reasoning in ALC: unfoldable TBoxes, negation normal form. The tableau algorithm for ALC KBs with unfoldable TBoxes.
  5. Tue 7/3/2017 [1]
    The tableau algorithm for ALC KBs with unfoldable TBoxes.
  6. Tue 14/3/2017 [1]
    The tableau algorithm for ALC KBs with general concept inclusions.
  7. Thu 16/3/2017 [2,3]
    Esercises on DL. Rule-based formalisms: brief history. Logic programming. Positive Datalog. Syntax and semantics.
  8. Tue 21/3/2017 [3]
    Reasoning in positive Datalog: naive and semi-naive bottom-up evaluation. Constraints in Datalog.
  9. Thu 23/3/2017 [3]
    Negation in datalog. Stratified negation. Bottom-up evaluation for stratified Datalog. Answer Set Programming (ASP).
  10. Tue 28/3/2017 [3]
    Answer Set Programming (ASP). Recursive negation. Disjunction in rule heads. Stable model semantics. Reasoning in ASP. ASP tools.
  11. Thu 30/3/2017 [3,4,5]
    Complexity of reasoning in Datalog and ASP. Exercises on Datalog and ASP. Comparison among SQL, DL, Datalog, and ASP.
  12. Tue 4/4/2017 [6]
    The Semantic Web.
  13. Thu 6/4/2017 [7]
    RDF and RDFS.
  14. Tue 11/4/2017 [7]
    SPARQL.
  15. Thu 20/4/2017 [8,9]
    Esercises on RDF and SPARQL. Ontologies.
  16. Thu 27/4/2017 [9]
    OWL. Reasoning in OWL. Query answering in OWL. SPARQL 1.1. Protege.
  17. Tue 2/5/2017 [10]
    OWL 2, OWL 2 profiles.
  18. Thu 4/5/2017 [10]
    Reasoning in OWL 2 profiles:
  19. Tue 9/5/2017 [12]
    Exercises on OWL 2 profiles.
  20. Thu 11/5/2017 [13,14]
    The upper layers of the Semantic Web. Exercises on Knowledge Representation.
  21. Tue 16/5/2017 [15]
    The Situation Calculus. Modeling actions in the Situation Calculus. The frame problem.
  22. Thu 18/5/2017 [15]
    The regression theorem. Executability and projection. A brief introduction to planning in the Situation Calculus.
  23. Tue 23/5/2017 [16]
    Exercises on formalizing and reasoning about actions in the Situation Calculus.
  24. Thu 25/5/2017
    Example of a written exam. Presentation of projects (homework).