Calendar: 8-10-12 and 15-17-19 April 2024, 10-12am

Lecturers: Umberto Straccia and Giovanni Casini, CNR-ISTI, Pisa, Italy.

Attendance Mode: Online, Zoom link

Email: umberto.straccia@isti.cnr.it; giovanni.casini@isti.cnr.it

Academic Year: 2023/2024

Semester: 2

Hours: 12

Abstract: The course is a rigorous introduction to non-classical methods and tools for Representing and Reasoning, such as Fuzzy and Probabilistic reasoning, Defeasible and Counterfactual reasoning, Belief Change and Paraconsistent reasoning. Particular attention is devoted to those methods and tools that apply to the three main streams of Semantic Web languages: namely, triple languages RDF & RDFS, Conceptual languages OWL, OWL 2 and their Profiles (OWL EL, OWL QL and OWL RL), and rule-based languages such as SWRL and RIF.

Plan: 

Lecture 1: Classical Logics and Knowledge Representation and Reasoning (KRR)

• Slides lecture 1

Lecture 2: Introduction to Semantic Web Languages (SWLs)

• Slides lecture 2

Lecture 3: Uncertainty and Fuzzyness in SWLs 

• Slides lecture 3

Lecture 4: Non-monotonic and Conditional Reasoning

• Slides lecture 4

Lecture 5: Belief Change 

• Slides lecture 5

Lecture 6: Paraconsistent Reasoning

• Slides lecture 6

Final exam: The exam will consist of the presentation of a research paper chosen by the lectures about one of the presented topics.

Further details about the organisation of the course and the teaching materials will be published on this webpage.