welcome: please sign in


Departmental Links

External Links

Knowledge Management - Academic year 2013/2014

Course information

Lecturer: Mario Alviano

Notice board

Course material

Programme (in short)

  1. Classical Logic
    • Propositional logic
    • First-order logic
    • Calculi
  2. Semantic Web
    • Description Logics, RDF, RDF-S and OWL
    • XML, DTD and XML Schema
    • XPath and XSLT


  1. Introduction: presentation, handout

  2. Propositional Logic - Syntax and Semantics: presentation, handout

  3. Propositional Logic - Properties: presentation, handout

  4. Propositional Logic - Sequent Calculus: presentation, handout

  5. Propositional Logic - Computation and normal forms: presentation, handout

  6. Propositional Logic - Resolution, DPLL and tableau: presentation, handout

  7. Propositional Logic - Exercises: presentation, handout

  8. Propositional Logic - Computer exercises: presentation, handout

  9. First-Order Logic - Syntax and semantics: presentation, handout

  10. First-Order Logic - Semantic notions and sequent calculus: presentation, handout

  11. First-order logic - Normal forms and Herbrand theory: presentation, handout

  12. First-Order Logic - Resolution: presentation, handout

  13. First-Order Logic - Computer exercises: presentation, handout, examples

  14. First-Order Logic - Tableau: presentation, handout

  15. Description Logics: presentation, handout

  16. XML and DTD: presentation, handout, exercises

  17. XML Schema: presentation, handout, exercises

  18. XPath: presentation, handout, exercises

  19. XSLT (part I): presentation, handout

  20. XSLT (part II): presentation, handout, exercises

Exercises to Solve at Home

  1. Have a look at the end of the slides
  2. Exercises to be solved in the classroom (23, 24, 25, 26, 33, 34, 35) and at home by Javier Larrosa: download

  3. Nice collection of exercises (with solutions) by Chiara Ghidini and Luciano Serafini: download

  4. Exercises on Description Logics (page 1) download



Web Pages


Lecture Hall: MT 14, cube 31/b, near the lab