News

• The lectures for a.y. 2020/2021 are held in the first semester (October 5-December 18, 2020).
  The lecture schedule for AY 2020/2021 is the following:
  
  • Tuesday, 14:00-17:00
  • Thursday, 14:00-16:00
  The lectures can be attended online (see below).

Attending the course

The students who want to attend this course are asked to log in their Google account at studenti.uniroma1.it and access Google Classroom (https://classroom.google.com or you can download the app Classroom for smartphones); then, students can enroll in the Knowledge Representation and Semantic Technologies course using the code "ubenp43". The link to online lectures and the teaching material will be posted on the above Google Classroom course.

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 formalisms: in particular, the RDF language and the OWL language.

Program

1. Introduction to knowledge representation
2. Class-based formalisms
   • Description Logics
   • Reasoning in Description Logics
   • Description Logics vs. relational databases
3. 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
4. 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

Lectures

The lectures for AY 2020/2021 are held in the first semester (from October 5 to December 18, 2020).

Lecture schedule:

• Tuesday, 14:00-17:00
• Thursday, 14:00-16:00

Exam

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.

Exam dates (the exact dates will be published as soon as possible):

• January 2021
• February 2021
• June 2021
• July 2021
• September 2021

As usual, before every exam date, students MUST reserve for the exam on Infostud. The reservation deadline is 4 days before the exam date.

Text of past exams:

• June 14, 2017
• July 21, 2017
• June 13, 2018
• July 23, 2018
• January 23, 2019
• February 18, 2019

Homework assignments

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:

1. downloading, installing and learning how to use a knowledge-based system, e.g.:
   • Protege
   • DLV
   • Jena
   • Virtuoso
   • Stardog
   • Mastro (Protege plug-in)
   • Ontop (Protege plug-in)
   (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)
2. 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 2020/2021 (please send an email to prof. Rosati to agree on a date).

Schedule and contents of past lectures

Link to the website of the 2019/2020 edition of this course