You are here

Logics for knowledge representation PhDTrento

This is the page that describes a course in Logic for Knowledge Representation and Semantic Web by Chiara Ghidini and Luciano Serafini

The course is running from 8-19 July 2013 in room Ofek, 10-12noon, as part of the PhD programme of the International Doctoral School.

To subscribe to the mailing list:

  • Create an account at
  • Send email to with subject: SUBSCRIBE : <name> <surname>


Week 1

  • CLASS: Introduction to logic (slides)
  • EXERCISE: quick reading of new logics. In this exercise, students are asked to quickly read a paper that introduce a new logic and to produce a set of slides that describes the following points (a) what aspect of the world is formalized by the logic, (b) syntax, (c) semantics, (d) axiomatization. This might take about 2 hours. Here are examples of slides produced by the students:
  • CLASS: A brief recap of Propositional Logic and an Introduction to first order logic (slides-PL and slides-FOL)
  • EXERCISES: Look at the exercises in chapters 2.1-2.3 and 3.1 and 3.2 of the following book
  • CLASS: Reasoning in propositional and first order logic (slides-PL and slides-FOL)
  • EXERCISES: Look at the exercises in chapters 2.5 and 3.3 of the following book
  • CLASS: Modal Logics (slides]) and Logics and Agents - a brief overview (slides])
  • EXERCISES: Look at the exercises in chapters 4 of the following book

Week 2

  • CLASS: Introduction to ALC (slides)
  • READINGS readings on ALC, Modal Logics, and Correspondence between ALC/Modal Logics with FOL
    • basic reading on ALC "Chapter 2 of the Handbook of Description Logics. Basic Description logics by F. Baader and V. Nutt
    • additional reading on bisimulartion: Modal logic: a semantic perspective by Patrick Blackburn and Johan van Benthem
  • CLASS: Introduction to DL's stronger than ALC (slides)
  • CLASS Propositional fuzzy logic slides
    • Basic results from sections 2.1, 2.2, 3.1, 4.1, 4.2 and 4.3 of Hajek, P. (1998), Metamathematics of fuzzy logic, Dordrecht: Kluwer.
    • Alternatively you can read the following tutorial
    • The original paper of Lofti A. Sadeh on fuzzy sets Information and Control, vol. 8, no. 3, pp. 338-353, June 1965.
    • For the last theorem in the slides you can read the paper Finitness in infinite-value Lukasiewicz logic By Stefano Aguzzoli and Agata Ciabattoni
  • CLASS Using fuzzy logics slides