Skip to Main Content (Press Enter)

Logo UNIPV
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture

UNIFIND
Logo UNIPV

|

UNIFIND

unipv.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  1. Insegnamenti

509480 - KNOWLEDGE REPRESENTATION AND REASONING - MOD. 2

insegnamento
ID:
509480
Durata (ore):
56
CFU:
6
SSD:
INFORMATICA
Anno:
2025
  • Dati Generali
  • Syllabus
  • Corsi
  • Persone

Dati Generali

Periodo di attività

Annualità Singola (29/09/2025 - 12/06/2026)

Syllabus

Obiettivi Formativi

Learning Objectives (according to the Dublin Descriptors) Knowledge and understanding (DdD 1) By the end of the course, students will have acquired theoretical knowledge of: • the principles and challenges of knowledge representation and reasoning (KRR) in artificial intelligence; • discrete mathematical structures relevant to KRR, such as order relations and lattices; • foundational concepts of relational databases, including relational algebra and SQL; • logic programming (e.g., Datalog, Answer Set Programming), with a focus on non-monotonic and disjunctive reasoning; • the semantics, syntax, and applications of knowledge graphs, including key technologies such as RDF, SPARQL, RDFS, and OWL2; • the distinction and integration between logic-based and graph-based approaches to knowledge modeling; • the theoretical underpinnings of constructing and reasoning over ontologies using Description Logics. Applying knowledge and understanding (DdD 2) Students will be able to: • design, develop, and query knowledge bases using appropriate logic programming tools (e.g., DLV for ASP and Datalog); • model domain knowledge with RDF and OWL, and query data using SPARQL; • implement non-monotonic reasoning tasks using logic programming paradigms; • apply principles of database design to knowledge-intensive systems; • use reasoning systems to infer new knowledge from explicit facts; • develop and debug knowledge-based systems by integrating foundational theory with practical tools and technologies; • solve real-world KRR problems through lab exercises and small applied projects. Other Dublin Descriptors (DdD 3, 4, 5) • Making judgments (DdD 3): Through exercises and QA sessions, students will cultivate critical thinking in selecting and evaluating appropriate representation and reasoning approaches for various problem domains. • Communication skills (DdD 4): Students will improve their ability to clearly communicate knowledge models and reasoning strategies during QA sessions. • Learning skills (DdD 5): The course fosters independent learning by providing conceptual foundations and practical experience that support further study and specialization in advanced KRR topics or related AI fields.

Prerequisiti

In this module we assume that the student is familiar with the topics discussed in the first module. No other prerequisite is required.

Metodi didattici

Lectures (4/6) + hands-on lessons with exercises and tools (2/6)

Verifica Apprendimento

Written test at the end of the course covering all the course topics (theory).
Depending on the teaching support availability (practice): 1) assignments based on the tools introduced in the course; 2) extra exercises in the final test.

Testi

Essential references:

The Web of Data. Aidan Hogan. 2020. Springer. Pages 1-680. [Selected chapters]

The DLV system for knowledge representation and reasoning. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). ACM Transactions on Computational Logic (TOCL), 7(3), 499-562.


Additional material:

Artificial Intelligence: Foundations of Computational Agents, second edition. Pool, D, and Mackworth, A. Cambridge University Press 2017. Chapter 12
Knowledge Graphs. Aidan Hogan, Eva Blomqvist, Michael Cochez, Claudia d'Amato, Gerard de Melo, Claudio Gutierrez, Sabrina Kirrane, José Emilio Labra Gayo, Roberto Navigli, Sebastian Neumaier, Axel- Cyrille Ngonga Ngomo, Axel Polleres, Sabbir M. Rashid, Anisa Rula, Lukas Schmelzeisen, Juan Sequeda, Steffen Staab, and Antoine Zimmermann. Synthesis Lectures on Data, Semantics, and Knowledge, November 2021, Vol. 12, No. 2 , Pages 1-257

The knowledge graph cookbook. Blumauer, Andreas, Helmut Nagy.

Knowledge Graphs: Fundamentals, Techniques, and Applications.Kejriwal, Mayank, Craig A. Knoblock, and Pedro Szekely. MIT Press, 2021

Contenuti

Introduction - AI and KRR: the many facets of intelligence, reasoning and inference, AI challenges and KRR.
Preliminaries: relations, properties of relations, order relations, extremals and lattices.
Introduction to relational databases: representing data with tables, data definition and data manipulation languages, basic notions of relational algebra and SQL.
Logic Programming & Nonmonotonic Reasoning: Answer Set Programming (ASP), Datalog with ASP; Non-monotonic Reasoning with ASP; Disjunctive Reasoning with ASP. Exercises: Datalog with DLV; ASP, disjunction and Negation As Failure with DLV.

Knowledge Graphs & Data Management: The KG abstraction, RDF, SPARQL. Exercises: modeling knowledge in RDF, querying data in RDF.

Knowledge Graphs & Reasoning: from vocabularies to ontologies; from Description Logics to RDFS and OWL 2. Exercises: modeling knowledge in RDFS, modeling knowledge in OWL2.


More on KRR for AI: how to build a knowledge base, KRR and AI challenges (reprise).

Lingua Insegnamento

INGLESE

Altre informazioni


Some topics of MOD 2 expand topics developed in MOD 1, especially by providing a practical counterpart (e.g., using tools and software). The programs of the two modules are coordinated.

Corsi

Corsi

ARTIFICIAL INTELLIGENCE 
Laurea
3 anni
No Results Found

Persone

Persone (2)

MILANESE GIAN CARLO
Docente
PALMONARI MATTEO LUIGI
Docente
No Results Found
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.11.5.0