Corso di laurea Magistrale in Ingegneria Informatica
Facoltà di Ingegneria dell'Informazione, Informatica e Statistica,
Sapienza Università di Roma
Knowledge Representation and Semantic Technologies
prof. Riccardo Rosati
Exam results - 18/2/2019 (remark: the maximum grade for the written exam is 20).
The results of the students who have already presented the practical project will be uploaded (to Infostud) on February 22. Those students who do not want their grade to be uploaded have to send an email to prof. Rosati no later than February 21.
The interested students will have the possibility to look at the exam corrections on February 21, from 17:00 to 18:00, in via Ariosto 25, room B216.
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 formalisms: in particular, the RDF language and the OWL language. Finally, the notion of action will be introduced and the main forms of reasoning about actions will be presented.
Introduction to knowledge representation
- Description Logics
- Reasoning in Description Logics
- Description Logics vs. relational databases
- Brief introduction to logic programming
- Reasoning in Datalog
- Datalog vs. Description Logics
- Datalog extensions
- Datalog with negation
- Answer Set Programming (ASP)
- Reasoning in ASP
- Comparison with SQL
- Semantic Web
- RDF, RDFS, SPARQL
- Linked data
- 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
- Formalization of actions and successor state axioms in the Situation Calculus
The lectures for AY 2018/2019 were held in the second semester (from September 24 to December 21, 2018).
- Monday, 16:00-19:00, via Ariosto 25, Room A3
- Tuesday, 14:00-16:00, via Ariosto 25, Room A3
Remark: to pass the exam, every student has to present a practical project (homework) besides passing the written exam (see the next section on homework assignments).
The written exam is a set of exercises and questions about all the course topics.
- January 23, 2019
- February 18, 2019
- June 10, 2019
- July 22, 2019
- September 6, 2019
As usual, before every exam date, students MUST reserve for the exam on Infostud. The reservation deadline is 3 or 4 days before the exam date.
Text of past exams:
Every student MUST present a practical project besides passing the written exam. The project consists of creating and managing datasets/knowledge bases through KR-based tools.
Every project consists of:
downloading, installing and learning how to use a knowledge-based system, e.g.:
(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)
- Mastro (Protege plug-in)
- Ontop (Protege plug-in)
building and querying a dataset for the above chosen system. In alternative, it is possible to use an existing dataset. In both cases, the students must be aware of the structure and content of the dataset and be able to modify and query it in a proper way.
The student(s) must show the usage of such a tool during a brief presentation.
The presentation of the project can be given during the academic year 2018/2019 (please send an email to prof. Rosati to agree on a date).