Riccardo Rosati

219 papers A* 38A 7B 11C 3Misc 4Journal 47Unranked 101

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies. IJCAI Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2025	J	`jnl`	CQE under Epistemic Dependencies: Algorithms and Experiments (extended version). CoRR Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
2025	A*	`conf`	Consistent Query Answering over Existential Rules with Open and Closed Predicates. AAAI Lorenzo Marconi, Riccardo Rosati
2025	—	`conf`	Controlled Query Evaluation Under Epistemic Dependencies: Algorithms and Experiments. ISWC (1) Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
2025	—	`conf`	Controlled Query Evaluation with Epistemic Dependencies: Algorithms and Experiments (Extended Abstract). DL Lorenzo Marconi, Flavia Ricci, Riccardo Rosati
2025	J	`jnl`	Enhancing cooperativity in controlled query evaluation over ontologies. Artif. Intell. Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Francesco Magliocca, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2025	J	`jnl`	Indistinguishability in controlled query evaluation over prioritized description logic ontologies. J. Web Semant. Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024	J	`jnl`	A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies. SN Comput. Sci. Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024	J	`jnl`	Consistent Query Answering for Existential Rules under Tuple-Deletion Semantics. CoRR Lorenzo Marconi, Riccardo Rosati
2024	—	`conf`	Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract). Description Logics Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024	J	`jnl`	Controlled Query Evaluation through Epistemic Dependencies. CoRR Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024	J	`jnl`	Controlled query evaluation in description logics through consistent query answering. Artif. Intell. Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2024	A*	`conf`	Enhancing Controlled Query Evaluation through Epistemic Policies. IJCAI Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2024	J	`jnl`	Ontology-Based Data Preparation in Healthcare: The Case of the AMD-STITCH Project. SN Comput. Sci. Federico Croce, Riccardo Valentini, Marianna Maranghi, Giorgio Grani, Maurizio Lenzerini, Riccardo Rosati
2023	—	`conf`	Controlled Query Evaluation in Description Logic Ontologies. RW Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2023	—	`conf`	Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Description Logics Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2022	J	`jnl`	AI-based Data Preparation and Data Analytics in Healthcare: The Case of Diabetes. CoRR Marianna Maranghi, Aris Anagnostopoulos, Irene Cannistraci, Ioannis Chatzigiannakis, Federico Croce, Giulia Di Teodoro, Michele Gentili, Giorgio Grani, Maurizio Lenzerini, Stefano Leonardi, Andrea Mastropietro, Laura Palagi, Massimiliano Pappa, Riccardo Rosati, Riccardo Valentini, Paola Velardi
2022	J	`jnl`	CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version). CoRR Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2022	J	`jnl`	Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics. CoRR Lorenzo Marconi, Riccardo Rosati
2022	Misc	`conf`	Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. ISWC Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2022	C	`conf`	Knowledge-based Confidentiality-preserving Query Answering. WEBIST Riccardo Rosati
2021	—	`conf`	Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions. AIKE Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo, Daniele Sinibaldi
2021	Misc	`conf`	Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies. ISWC Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2021	J	`jnl`	Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2021	—	`conf`	On Information Disclosure in Ontology-based Data Access (Extended Abstract). Description Logics Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2021	—	`conf`	Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Discussion Paper). SEBD Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2020	J	`jnl`	CQE in Description Logics Through Instance Indistinguishability (extended version). CoRR Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2020	—	`conf`	Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). Description Logics Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2020	A*	`conf`	Controlled Query Evaluation in Description Logics Through Instance Indistinguishability. IJCAI Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2020	—	`conf`	Controlled Query Evaluation in Ontology-Based Data Access. ISWC (1) Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo
2020	J	`jnl`	Preface. Fundam. Informaticae Costin Badica, Mirjana Ivanovic, Yannis Manolopoulos, Riccardo Rosati, Paolo Torroni
2019	—	`conf`	A novel approach to Controlled Query Evaluation in DL-Lite (DISCUSSION PAPER). SEBD Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2019	J	`jnl`	Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2019	A*	`conf`	Revisiting Controlled Query Evaluation in Description Logics. IJCAI Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2019	—	`conf`	The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2018	A*	`conf`	A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. KR Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
2018	—	`ch.`	Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2018	A*	`conf`	Ontology-Based Data Access: A Survey. IJCAI Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2018	—	`ed.`	Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, WIMS 2018, Novi Sad, Serbia, June 25-27, 2018 WIMS Rajendra Akerkar, Mirjana Ivanovic, Sang-Wook Kim, Yannis Manolopoulos, Riccardo Rosati, Milos Savic, Costin Badica, Milos Radovanovic
2018	—	`ch.`	Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2017	—	`conf`	Mapping Repair in Ontology-based Data Access Evolving Systems (Extended Abstract). WSP/WOMoCoE@ISWC Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen
2017	A*	`conf`	Mapping Repair in Ontology-based Data Access Evolving Systems. IJCAI Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen
2016	—	`conf`	Approaching OBDA Evolution through Mapping Repair. Description Logics Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen
2016	—	`conf`	Bounded Implication for Existential Rules (Extended Abstract). Description Logics Cristina Civili, Riccardo Rosati
2016	A*	`conf`	Query-Based Comparison of Mappings in Ontology-Based Data Access. KR Meghyn Bienvenu, Riccardo Rosati
2016	—	`conf`	Semantic Analysis of R2RML Mappings for Ontology-Based Data Access. RR Cristina Civili, Jose Mora, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli
2016	—	`conf`	Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2015	A*	`conf`	Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2015	J	`jnl`	Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2015	—	`conf`	Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity. ISWC (1) Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen
2015	—	`conf`	Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Discussion paper). SEBD Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen
2015	—	`conf`	Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract). Description Logics Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen
2015	—	`conf`	On the first-order rewritability of conjunctive queries over binary guarded existential rules. CILC Cristina Civili, Riccardo Rosati
2015	J	`jnl`	Optique: Zooming in on Big Data. Computer Martin Giese, Ahmet Soylu, Guillermo Vega-Gorgojo, Arild Waaler, Peter Haase, Ernesto Jiménez-Ruiz, Davide Lanti, Martín Rezk, Guohui Xiao, Özgür L. Özçep, Riccardo Rosati
2015	—	`conf`	Query-based comparison of OBDA specifications. Description Logics Meghyn Bienvenu, Riccardo Rosati
2014	—	`conf`	Effective Computation of Maximal Sound Approximations of Description Logic Ontologies. ISWC (2) Marco Console, Jose Mora, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo
2014	—	`ed.`	Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. Description Logics Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
2014	—	`conf`	Towards Mapping Analysis in Ontology-Based Data Access. RR Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen
2014	—	`conf`	Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. CILC Riccardo Rosati
2014	A*	`conf`	Tutorials. KR Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati
2014	—	`conf`	Visualization and Management of Mappings in Ontology-based Data Access (Progress Report). Description Logics Domenico Lembo, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Emanuele Tocci
2014	—	`conf`	kyrie2: Query Rewriting under Extensional Constraints in ISWC (1) Jose Mora, Riccardo Rosati, Óscar Corcho
2013	J	`jnl`	Data complexity of query answering in description logics. Artif. Intell. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2013	J	`jnl`	MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo
2013	—	`conf`	New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. Description Logics Meghyn Bienvenu, Riccardo Rosati
2013	—	`conf`	Optimization of Query Rewriting in Ontology-Based Data Access. SEBD Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2013	B	`conf`	Optimizing query rewriting in ontology-based data access. EDBT Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2013	—	`conf`	Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM Peter Haase, Ian Horrocks, Dag Hovland, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Johan W. Klüwer, Christoph Pinkel, Riccardo Rosati, Valerio Santarelli, Ahmet Soylu, Dmitriy Zheleznyakov
2013	—	`conf`	Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) Evgeny Kharlamov, Ernesto Jiménez-Ruiz, Dmitriy Zheleznyakov, Dimitris Bilidas, Martin Giese, Peter Haase, Ian Horrocks, Herald Kllapi, Manolis Koubarakis, Özgür L. Özçep, Mariano Rodriguez-Muro, Riccardo Rosati, Michael Schmidt, Rudolf Schlatte, Ahmet Soylu, Arild Waaler
2013	—	`conf`	Synthesizing Extensional Constraints in Ontology-Based Data Access. Description Logics Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi
2013	—	`conf`	The Logic of Extensional RDFS (Extended Abstract). SEBD Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Riccardo Rosati, Giuseppe Pirrò
2013	—	`conf`	The Logic of Extensional RDFS. ISWC (1) Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Giuseppe Pirrò, Riccardo Rosati
2013	A*	`conf`	Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. IJCAI Meghyn Bienvenu, Riccardo Rosati
2012	—	`conf`	A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Datalog Cristina Civili, Riccardo Rosati
2012	—	`conf`	Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies. ISWC (2) Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti
2012	—	`conf`	Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati
2012	A*	`conf`	Generalized Ontology-Based Production Systems. KR Riccardo Rosati, Enrico Franconi
2012	—	`conf`	Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. Description Logics Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012	—	`conf`	MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012	—	`conf`	Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2012	A*	`conf`	Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2012	B	`conf`	Prexto: Query Rewriting under Extensional Constraints in DL - Lite. ESWC Riccardo Rosati
2012	—	`conf`	Query Patterns for Existential Rules. RR Cristina Civili, Riccardo Rosati
2012	—	`conf`	Query Rewriting under Extensional Constraints in DL-Lite. Description Logics Riccardo Rosati
2012	J	`jnl`	Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
2012	J	`jnl`	View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	A*	`conf`	Higher-Order Description Logics for Domain Metamodeling. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	—	`conf`	Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). SEBD Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2011	—	`conf`	Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	A*	`conf`	On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. IJCAI Riccardo Rosati
2011	J	`jnl`	On the finite controllability of conjunctive query answering in databases under open-world assumption. J. Comput. Syst. Sci. Riccardo Rosati
2011	—	`conf`	Practical ABox Cleaning in DL-Lite (progress report). Description Logics Giulia Masotti, Riccardo Rosati, Marco Ruzzi
2011	—	`ed.`	Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Description Logics Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
2011	—	`conf`	Query Rewriting for Inconsistent DL-Lite Ontologies. RR Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2011	J	`jnl`	Reasoning about Minimal Belief and Negation as Failure CoRR Riccardo Rosati
2011	J	`jnl`	The MASTRO system for ontology-based data access. Semantic Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2010	A	`conf`	Conjunctive Artifact-Centric Services. ICSOC Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati
2010	A*	`conf`	Improving Query Answering over DL-Lite Ontologies. KR Riccardo Rosati, Alessandro Almatelli
2010	—	`conf`	Inconsistency-Tolerant Semantics for Description Logics. RR Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2010	J	`jnl`	Reconciling description logics and rules. J. ACM Boris Motik, Riccardo Rosati
2009	—	`conf`	Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2009	—	`conf`	Effective Ontology-Based Data Integration. OTM Workshops Riccardo Rosati
2009	—	`conf`	On Higher-Order Description Logics. Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2009	J	`jnl`	On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2009	—	`conf`	Ontologies and Databases: The DL-Lite Approach. Reasoning Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati
2009	J	`jnl`	Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
2009	—	`ch.`	Using OWL in Data Integration. Semantic Web Information Management Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi
2008	—	`conf`	Data Integration throughDL-Lite SDKB Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi
2008	B	`conf`	Finite Model Reasoning in DL-Lite. ESWC Riccardo Rosati
2008	J	`jnl`	Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	J	`jnl`	Linking Data to Ontologies. J. Data Semant. Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	—	`conf`	On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. RR Riccardo Rosati
2008	A*	`conf`	Path-Based Identification Constraints in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	—	`conf`	Towards Higher-Order DL-Lite. Description Logics Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	A*	`conf`	View-Based Query Answering over Description Logic Ontologies. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007	A*	`conf`	A Faithful Integration of Description Logics with Logic Programming. IJCAI Boris Motik, Riccardo Rosati
2007	—	`conf`	Actions and Programs over Description Logic Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	Can OWL Model Football Leagues? OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	Checking e-service consistency using Description Logics. IEEE SCC Luigi Dragone, Riccardo Rosati
2007	A*	`conf`	EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati
2007	—	`conf`	On Conjunctive Query Answering in EL. Description Logics Riccardo Rosati
2007	A*	`conf`	On reconciling data exchange, data integration, and peer data management. PODS Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	A*	`conf`	On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007	—	`conf`	Ontology-based Database Access. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007	A	`conf`	The Limits of Querying Ontologies. ICDT Riccardo Rosati
2007	J	`jnl`	Tractable Reasoning and Efficient Query Answering in Description Logics: The J. Autom. Reason. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	Misc	`conf`	Can OWL and Logic Programming Live Together Happily Ever After? ISWC Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
2006	A*	`conf`	DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR Riccardo Rosati
2006	A*	`conf`	Data Complexity of Query Answering in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	J	`jnl`	Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini
2006	—	`conf`	Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	—	`conf`	Integrating Ontologies and Rules: Semantic and Computational Issues. Reasoning Web Riccardo Rosati
2006	—	`conf`	Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2006	J	`jnl`	Multi-modal nonmonotonic logics of minimal knowledge. Ann. Math. Artif. Intell. Riccardo Rosati
2006	—	`conf`	Multimodal Nonmonotonic Logics of Minimal Knowledge. AI&M Riccardo Rosati
2006	—	`conf`	On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. EDBT Workshops Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2006	A*	`conf`	On the Update of Description Logic Ontologies at the Instance Level. AAAI Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2006	A*	`conf`	On the decidability and finite controllability of query processing in databases with incomplete information. PODS Riccardo Rosati
2006	—	`conf`	Reasoning Support for Ontology Design. OWLED Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
2006	—	`conf`	The limits and possibilities of combining Description Logics and Datalog. RuleML Riccardo Rosati
2005	J	`jnl`	A comprehensive semantic framework for data integration systems. J. Appl. Log. Andrea Calì, Domenico Lembo, Riccardo Rosati
2005	A*	`conf`	Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI Riccardo Rosati, Georg Gottlob
2005	A	`conf`	Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2005	A*	`conf`	DL-Lite: Tractable Description Logics for Ontologies. AAAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Data Complexity of Query Answering in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	B	`conf`	Data Integration: a Challenging ASP Application. LPNMR Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
2005	—	`conf`	Efficiently Managing Data Intensive Ontologies. SWAP Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2005	J	`jnl`	Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale Luca Iocchi, Daniele Nardi, Riccardo Rosati
2005	—	`conf`	Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	J	`jnl`	On the decidability and complexity of integrating ontologies and rules. J. Web Semant. Riccardo Rosati
2005	A*	`conf`	QuOnto: Querying Ontologies. AAAI Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
2005	—	`conf`	Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR Riccardo Rosati
2005	—	`conf`	Tailoring OWL for Data Intensive Ontologies. OWLED Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis
2004	—	`conf`	DL-Lite: Practical Reasoning for Rich Dls. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	A	`conf`	Experimenting Data Integration with DIS@DIS. CAiSE Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi
2004	—	`conf`	Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	A*	`conf`	Logical Foundations of Peer-To-Peer Data Integration. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2004	—	`conf`	Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
2004	—	`conf`	Query Reformulation over Ontology-based Peers. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004	A	`conf`	Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati
2004	—	`conf`	Tackling Inconsistencies in Data Integration through Source Preferences. IQIS Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004	A*	`conf`	What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2003	—	`conf`	Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB Diego Calvanese, Riccardo Rosati
2003	B	`conf`	DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. WISE Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi
2003	—	`conf`	DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità. SEBD Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi
2003	—	`ch.`	Description Logics for Databases. Description Logic Handbook Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati
2003	—	`conf`	Intensional query processing in data integration systems under integrity constraints. SEBD Andrea Calì, Domenico Lembo, Riccardo Rosati
2003	J	`jnl`	Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. Riccardo Rosati
2003	A*	`conf`	On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS Andrea Calì, Domenico Lembo, Riccardo Rosati
2003	A*	`conf`	Query rewriting and answering under constraints in data integration systems. IJCAI Andrea Calì, Domenico Lembo, Riccardo Rosati
2003	—	`conf`	Semantic Data Integration in P2P Systems. DBISP2P Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2003	—	`ch.`	Source Integration for Data Warehousing. Multidimensional Databases Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2002	J	`jnl`	Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
2002	—	`conf`	Integrating Inconsistent and Incomplete Data Sources. SEBD Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2002	—	`conf`	Source inconsistency and incompleteness in data integration. KRDB Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2001	J	`jnl`	A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Stud Logica Riccardo Rosati
2001	J	`jnl`	Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
2001	C	`conf`	Design and Implementation of Cognitive Soccer Robots. RoboCup Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati
2000	—	`conf`	Minimal Belief and Negation as Failure in Multi-Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems Riccardo Rosati
2000	J	`jnl`	On the decidability and complexity of reasoning about only knowing. Artif. Intell. Riccardo Rosati
2000	A*	`conf`	Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR Luca Iocchi, Daniele Nardi, Riccardo Rosati
2000	B	`conf`	Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX Riccardo Rosati
1999	—	`conf`	A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1999	J	`jnl`	A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1999	J	`jnl`	Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1999	—	`conf`	Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA Daniele Nardi, Riccardo Rosati
1999	J	`jnl`	Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. Giuseppe De Giacomo, Riccardo Rosati
1999	A*	`conf`	Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI Riccardo Rosati
1999	J	`jnl`	Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. Riccardo Rosati
1999	J	`jnl`	Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. J. Log. Lang. Inf. Riccardo Rosati
1999	B	`conf`	Towards First-Order Nonmonotonic Reasoning. LPNMR Riccardo Rosati
1999	—	`conf`	Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics Riccardo Rosati
1998	—	`conf`	A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1998	J	`jnl`	Autoepistemic Description Logics. AI Commun. Riccardo Rosati
1998	A*	`conf`	Description Logic Framework for Information Integration. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	A	`conf`	Embedding Minimal Knowledge into Negation as Failure. ECAI Riccardo Rosati
1998	A	`conf`	Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI Riccardo Rosati
1998	B	`conf`	Information Integration: Conceptual Modeling and Reasoning Support. CoopIS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	—	`conf`	Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI Riccardo Rosati
1998	—	`conf`	Source Integration in Data Warehousing. DEXA Workshop Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Autoepistemic Description Logics. IJCAI (1) Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997	B	`conf`	Complexity of Only Knowing: The Propositional Case. LPNMR Riccardo Rosati
1997	—	`conf`	Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA Riccardo Rosati
1997	J	`jnl`	Ground Nonmonotonic Modal Logics. J. Log. Comput. Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Planning with Sensing for a Mobile Robot. ECP Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1997	—	`conf`	Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI Riccardo Rosati
1996	B	`conf`	A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati
1996	B	`conf`	Minimal Knowledge States in Nonmonotonic Modal Logics. Advances in Modal Logic Riccardo Rosati
1996	A*	`conf`	Moving a Robot: The KR&R Approach at Work. KR Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
1996	—	`conf`	On the Complexity of Reasoning with Negation as Failure. DDLP Riccardo Rosati
1996	—	`conf`	On the Semantics of Epistemic Description Logics. Description Logics Riccardo Rosati
1995	Misc	`conf`	A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA Daniele Nardi, Riccardo Rosati
1995	—	`conf`	Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1995	—	`conf`	Non-first-order features in concept languages. AI*IA Francesco M. Donini, Daniele Nardi, Riccardo Rosati
1992	C	`conf`	Deductive Synthesis of Programs for Query Answering. LOPSTR Daniele Nardi, Riccardo Rosati