-
Exam results - 10/1/2017.
The results of the students who registered for the exam on Infostud will be uploaded (to Infostud) starting from January 19. Those students who do not want their grade to be uploaded have to send an email to prof. Rosati no later than January 18.
The interested students will have the possibility of looking at the exam corrections during the office hours of January 17 (17-18:30, room B216).
Objectives
The goal of the course is to provide an introduction to knowledge representation and reasoning, and to focus on the current semantic technologies that are strongly based on knowledge representation and reasoning. In particular, the families of class-based and rule-based knowledge representaton formalisms will be presented, and reasoning techniques for such formalisms will be analyzed. Then, the course will introduce the standard semantic technologies based on the above knowledge representation formalism, in particular the RDF language, the OWL language, and the RIF language. Finally, the notion of action will be introduced and the main forms of reasoning about actions will be presented.
Preliminary program
-
Introduction to knowledge representation
-
Class-based formalisms
- Description Logics
- Reasoning in Description Logics
- Description Logics vs. relational databases
-
Rule-based formalisms
- Brief introduction to logic programming
- Datalog
- Reasoning in Datalog
- Datalog vs. Description Logics
- Datalog extensions
- Datalog with negation
- Answer Set Programming (ASP)
- Reasoning in ASP
- Comparison with SQL
-
Semantic technologies
- Semantic Web
- RDF, RDFS, SPARQL
- Linked data
- Ontologies
- OWL
- OWL profiles
- Reasoning in OWL profiles
- Query answering in OWL profiles
- Building an OWL ontology
- Rule Interchange Format
-
Knowledge representation and reasoning about actions
- Logics for actions
- The Situation Calculus and the frame problem
- Executability and projection
- ConGolog programs over action theories and semantic services
- Advanced forms of reasoning about actions and verification
- Planning and synthesis
Lectures
The lectures for AY 2014/2015 are held in the second semester (from February 22, 2016 to May 29, 2016).
Lecture schedule:
- Tuesday, 17:30-19, via Ariosto 25, Room A5
- Thursday, 15:45-19, via Ariosto 25, Room A5
Course material
Exam
The written exam is a set of exercises and questions about all the course topics.
Text of past exams:
Homework
Students (on a voluntary basis) may present a practical project.
It can be conducted by groups of 1 or 2 students. It consists of:
-
downloading, installing and learning how to use one of the following KR/SW systems:
- Protege
- DLV
- Jena
- Virtuoso
- Stardog
- Mastro
- Ontop
(other tools/systems dealing with RDF, OWL, or Datalog/ASP can be used as well, the interested students have to contact prof. Rosati for more information)
-
building and querying a small experimental dataset for the above chosen KR/SW system. In alternative, it is possible to use an existing dataset (but the students must know the structure and content of the dataset and be able to modify and query it in the proper way).
The student(s) must show the usage of such a tool during a brief presentation (10 minutes for a single student, 15 minutes for 2 students).
The practical homework (PH) is evaluated from 0 to 3 points. The students then have to pass the written exam (WE), which is evaluated as usual up to 30 points. The final grade is obtained by summing PH with WE.
Every student (or group of students) who is interested in the practical homework has to send an email to prof. Rosati no later than May 2, 2016. The email must have subject: "KRST - practical homework request" and must contain name and last name of the student(s), system chosen, and brief information on the dataset that is going to be built (e.g., the domain of interest of the dataset).
The presentation of the work done will take place on May 26, 2016, 15:45, room A5.. There will be no further dates for such presentations.