Catalogo dei Corsi di studio

Riccardo Rosati
http://www.diag.uniroma1.it/rosati

1) General information and academic appointments

Riccardo Rosati obtained the PhD in Computer Science (Informatica) at Sapienza Università di Roma in September 1997.

In 1996 he was International Fellow at the Artificial Intelligence Center of the Stanford Research Institute, Menlo Park, California, U.S.A., under the supervision of Prof. Kurt Konolige, working in the fields of autonomous robot planning and reasoning about actions.

In 1998 1999 he won a post-doc grant within the Marie Curie Research Training Grant program of the European Commission. He visited Prof. Georg Gottlob at the Technical University of Vienna from December 1998 to May 1999, studying applications of knowledge representation to cognitive robotics.

In 1999-2000 he won a post-doc grant of the Italian National Research Council (CNR). He visited Prof. Georg Gottlob at the Technical University of Vienna from June 1999 to March 2000, studying applications of
knowledge representation to cognitive robotics.

In 2000-2001 he had a research associate position (Assegnista di Ricerca) at the Dipartimento di Informatica e Sistemistica of the Università di Roma La Sapienza .

From March 2001 to December 2004 he was assistant professor (Ricercatore, SSD K05A) at the at the Dipartimento di Informatica e Sistemistica of the Università di Roma La Sapienza .
From January 2005 to October 2016 he was associate professor (professore associato, SSD ING-INF/05) at the Dipartimento di Informatica e Sistemistica of the Università di Roma La Sapienza .
In 2013-2014 he was President of the Comitato Editoriale Web of Sapienza Università di Roma.
In 2016 he was nominated Fellow of the European Association for Artificial Intelligence (https://www.eurai.org/awards_and_grants/fellows)
Since November 2016 he has been professor (professore ordinario, SSD ING-INF/05) at the Dipartimento di
Ingegneria informatica, automatica e gestionale of Sapienza Università di Roma.
From 2017 to 2020 he was President of the Consiglio di Area Didattica di Ingegneria informatica, Sapienza Università di Roma.

2) Research accomplishments

Riccardo Rosati's research activity is mainly concerned with databases and artificial intelligence. In particular, his research focuses on semantic technologies, knowledge representation, database theory and data integration. During his career, he developed the above topics in the following directions:
knowledge representation systems based on Description Logics;
ontology management and automated reasoning over ontologies;
semantic technologies for data integration and data access;
data dependencies in databases and in data integration;
nonmonotonic reasoning and belief revision in Description Logic knowledge bases;
reasoning about actions in cognitive robotics.

His research has produced both theoretical contributions (e.g., definition of new knowledge representation languages, analysis of semantics and expressiveness of knowledge representation languages, complexity analysis of reasoning, new algorithms for automated reasoning and query answering over knowledge bases), as well as practical ones (e.g., experimental analysis of automated reasoning algorithms, new optimization techniques for reasoning and query answering over knowledge bases).

His PhD thesis was one of the pioneering works in the study of the relationship and the integration between Description Logics and Logic Programming. He is considered one of the world leading experts in this topic. He is co-author (together with B. Motik) of a paper on this subject published on the Journal of the ACM. He will edit a special issue of the Semantic Web Journal on this issue (together with T. Eiter and M. Knorr).

He is one of the authors who defined, in 2004, the DL-Lite family of Description Logics. Such logics had a deep impact in the research community on ontologies: besides the number of citations on this topic, the importance of DL-Lite is witnessed by the amount of current research work on this family of Description Logics. Moreover, one of the standards adopted by the World Wide Web consortium, the OWL 2 QL language, is precisely based on one of the logics of the DL-Lite family.

In the last years, his research interests have also covered more practical and experimental aspects: in particular, one of the most studied aspects by his work concerns the optimization of reasoning and query answering in ontology-based data management systems. Such a topic is getting an increasing importance in the research on semantic technologies, and Riccardo Rosati is an internationally recognized expert in the field. He gave an invited tutorial on this topic at the International Conference on the Principles of Knowledge Representation and Reasoning (KR) in 2014.

He is one of the main experts of reasoning over finite models in Description Logics and in databases with incomplete information. He obtained technical results on this topic [PODS 2006, JCSS 2011]. In particular, he defined a construction of finite relational structures that satisfy a class of cyclic integrity constraints: such a construction has been called "the Rosati cover" in [Vince Bárány, Georg Gottlob, Martin Otto: Querying the Guarded Fragment. LICS 2010; Logical Methods in Computer Science 10(2), 2014] and has been cited in several papers.

3) Impact measures

He is the author of more than 170 publications in international journals and conference proceedings. Many of these papers are widely cited in the scientific literature. According to Google Scholar (https://scholar.google.it/citations?user=4HPbOwwAAAAJ), April 2023:
number of total citations: 14198
h-index: 57
i-10 index: 135

4) Research projects

OPTIQUE - Scalable End-User Access to Big Data (progetto EU, Integrated Project, FP7, n. 318338, 2012-2016) (4 years, 800.000) as the leader of the Uniroma1 unit
ACSI - Artifact-Centric Service Interoperation (progetto EU, FET, FP7, contract n. 257593, 2010-2013) (3 years) as a participant, Uniroma1 unit
ONTORULE - Ontologies Meet Business Rules (progetto EU, Integrated Project, FP7, n. 231875, 2009-2011) (3 years) as a participant, University of Bolzano unit (through a research contract)
TONES - Thinking Ontologies (progetto EU, FET, n. FP6-7603, 2005-2008) (3 years) as a participant, Uniroma1 unit
INFOMIX - Boosting Information Integration (progetto EU, FP5, FET, n. IST-2001-33570, 2002-2005) (3 years) as a participant, Uniroma1 unit
SeWASIE - Semantic Webs and AgentS in Integrated Economies (progetto EU, n. IST-2001-34825, 2002-2005) (3 years) as a participant, Uniroma1 unit
DWQ - Foundations of Data Warehouse Quality (progetto EU, Esprit long term research project n. 22469, 1996-1999) (3 years) as a participant, Uniroma1 unit

5) Start-up

He was the co-founder of OBDA Systems S.r.l. (see http://www.obdasystems.com/), a start-up proposing state-of-the-art solutions based on the most recent innovations in the field of semantic technologies to provide its clients with a direct and effective means for extracting key data from large and complex datasets. The foundation of these solutions is representation and reasoning through ontology modelling.

6) Editorial boards

Artificial Intelligence Journal, from 01/2015 to 12/2022
Journal of Artificial Intelligence Research, from 01/2009 to 12/2011
AI Communications, from 01/2002 to 12/2004

7) Results obtained in technology transfer

He participated in several industrial projects, with the goal of transferring the methods and techniques developed within his academic research.

8) Participation in Steering Committees

2007-2012: president of the Steering Committee of the International Conference on Web Reasoning and Rule Systems (RR) (www.rr-conference.org)

Since 2012: Steering Committee member of the International Conference on Web Reasoning and Rule Systems (RR) (www.rr-conference.org)

2011-2014: Steering Committee member of the International Workshop on Description Logics (DL) (dl.kr.org)

Since 2012: Steering Committee member of the International Workshop on Nonmonotonic Reasoning (NMR) (http://www.kr.org/NMR/)

9) Conference organization

Program co-Chair, "27th International Workshop on Description Logics" (DL 2014, http://dl.kr.org/dl2014)

Program co-Chair, "14th International Workshop on Nonmonotonic Reasoning" (NMR 2012, http://www.dbai.tuwien.ac.at/NMR12/)

General Chair, "24th International Workshop on Description Logics" (DL 2011, http://dl.kr.org/dl2011)

Co-Chair of the "First International Conference on Web Reasoning and Rule Systems" (RR 2007, http://www.rr-conference.org/)

10) Participation in Program Committees

He has been the member of over 80 Program Committees of international conferences and workshops (see http://www.diag.uniroma1.it/rosati).

11) Teaching

He has a wide teaching and academic experience. In the last two decades he taught a large number of courses at the Università di Roma La Sapienza, both at the under-graduate and the graduate level, on Programming languages, Databases and Data Management, Web technologies and languages, Knowledge representation, semantic technologies.
He taught PhD courses and summer school courses worldwide, and gave many invited seminars and tutorials at international conferences.

12) Other activities

He is a member of the Collegio dei Docenti of the Dottorato in Ingegneria Informatica of Università di Roma "La Sapienza". Within such a Dottorato, he was the advisor of four PhD students.

From 2001 to 2003 he was a member of the Collegio dei Docenti of the Dottorato in Psicologia Cognitiva of the Università di Roma "La Sapienza". Within this Dottorato, he supervised or co-supervised five PhD students.

From 2010 to 2017 he was the Coordinator of the "Percorso di Eccellenza" (excellence track) of the Laurea Magistrale (master) di Ingegneria Informatica e of the Laurea Magistrale in Artificial Intelligence and Robotics.

He has supervised more than 50 Master theses in Ingegneria Informatica.