Rosati, Riccardo

26 publications

IJCAI 2025 Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo

AAAI 2025 Consistent Query Answering over Existential Rules with Open and Closed Predicates Lorenzo Marconi, Riccardo Rosati

IJCAI 2024 Enhancing Controlled Query Evaluation Through Epistemic Policies Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo

JAIR 2021 Instance-Level Update in DL-Lite Ontologies Through First-Order Rewriting Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo

IJCAI 2020 Controlled Query Evaluation in Description Logics Through Instance Indistinguishability Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo

IJCAI 2019 Revisiting Controlled Query Evaluation in Description Logics Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo

IJCAI 2018 Ontology-Based Data Access: A Survey Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev

IJCAI 2017 Mapping Repair in Ontology-Based Data Access Evolving Systems Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen

IJCAI 2015 Data Complexity of Query Answering in Description Logics (Extended Abstract) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

IJCAI 2013 Tractable Approximations of Consistent Query Answering for Robust Ontology-Based Data Access Meghyn Bienvenu, Riccardo Rosati

AAAI 2012 Ontology-Based Data Access with Dynamic TBoxes in DL-Lite Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2011 Higher-Order Description Logics for Domain Metamodeling Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

IJCAI 2011 On the Complexity of Dealing with Inconsistency in Description Logic Ontologies Riccardo Rosati

IJCAI 2007 A Faithful Integration of Description Logics with Logic Programming Boris Motik, Riccardo Rosati

IJCAI 2007 EQL-Lite: Effective First-Order Query Processing in Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2007 On the Approximation of Instance Level Update and Erasure in Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

AAAI 2006 On the Update of Description Logic Ontologies at the Instance Level Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati

IJCAI 2005 Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic Riccardo Rosati, Georg Gottlob

AAAI 2005 DL-Lite: Tractable Description Logics for Ontologies Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati

AAAI 2005 QuOnto: Querying Ontologies Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati

IJCAI 2003 Query Rewriting and Answering Under Constraints in Data Integration Systems Andrea Calì, Domenico Lembo, Riccardo Rosati

IJCAI 1999 Model Checking for Nonmonotonic Logics: Algorithms and Complexity Riccardo Rosati

JAIR 1999 Reasoning About Minimal Belief and Negation as Failure Riccardo Rosati

AAAI 1998 Reducing Query Answering to Satisfiability in Nonmonotonic Logics Riccardo Rosati

IJCAI 1997 Autoepistemic Description Logics Francesco M. Donini, Daniele Nardi, Riccardo Rosati

AAAI 1997 Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity Riccardo Rosati