Deductive Synthesis of Programs for Query Answering. - Daniele Nardi; Riccardo Rosati 001 (LOPSTR, 1992)

Non-first-order features in concept languages. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (AI*IA, 1995)

A Preference Semantics for Ground Nonmonotonic Modal Logics. - Daniele Nardi; Riccardo Rosati 001 (EPIA, 1995)

Ground Nonmonotonic Modal Logics for Knowledge Representation. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (WOCFAI, 1995)

Minimal Knowledge States in Nonmonotonic Modal Logics. - Riccardo Rosati 001 (Advances in Modal Logic, 1996)

On the Complexity of Reasoning with Negation as Failure. - Riccardo Rosati 001 (DDLP, 1996)

On the Semantics of Epistemic Description Logics. - Riccardo Rosati 001 (Description Logics, 1996)

A Uniform Tableaux Method for Nonmonotonic Modal Logics. - Francesco M. Donini; Fabio Massacci; Daniele Nardi; Riccardo Rosati 001 (JELIA, 1996)

Moving a Robot: The KR&R Approach at Work. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (KR, 1996)

Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. - Riccardo Rosati 001 (AAAI/IAAI, 1997)

Embedding Minimal Knowledge into Autoepistemic Logic. - Riccardo Rosati 001 (AI*IA, 1997)

Description Logic-baqsed Framrwork for Planning with Sensing Actions. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (Description Logics, 1997)

Planning with Sensing for a Mobile Robot. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (ECP, 1997)

Autoepistemic Description Logics. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (IJCAI (1), 1997)

Complexity of Only Knowing: The Propositional Case. - Riccardo Rosati 001 (LPNMR, 1997)

Ground Nonmonotonic Modal Logics. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (J. Log. Comput., 1997)

Reducing Query Answering to Satisfiability in Nonmonotonic Logics. - Riccardo Rosati 001 (AAAI/IAAI, 1998)

Information Integration: Conceptual Modeling and Reasoning Support. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (CoopIS, 1998)

Source Integration in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (DEXA Workshop, 1998)

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. - Diego Calvanese; Giuseppe De Giacomo; Riccardo Rosati 001 (Description Logics, 1998)

Embedding Minimal Knowledge into Negation as Failure. - Riccardo Rosati 001 (ECAI, 1998)

Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. - Riccardo Rosati 001 (ECAI, 1998)

Description Logic Framework for Information Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (KR, 1998)

Autoepistemic Description Logics. - Riccardo Rosati 001 (AI Commun., 1998)

Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. - Daniele Nardi; Riccardo Rosati 001 (AI*IA, 1999)

Towards expressive KR systems integrating datalog and description logics: preliminary report. - Riccardo Rosati 001 (Description Logics, 1999)

A Principled Approach to Data Integration and Reconciliation in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (DMDW, 1999)

Model Checking for Nonmonotonic Logics: Algorithms and Complexity. - Riccardo Rosati 001 (IJCAI, 1999)

Towards First-Order Nonmonotonic Reasoning. - Riccardo Rosati 001 (LPNMR, 1999)

Minimal Knowledge Approach to Reasoning about Actions and Sensing. - Giuseppe De Giacomo; Riccardo Rosati 001 (Electron. Trans. Artif. Intell., 1999)

Reasoning about Minimal Belief and Negation as Failure. - Riccardo Rosati 001 (J. Artif. Intell. Res., 1999)

Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. - Riccardo Rosati 001 (J. Log. Lang. Inf., 1999)

A Theory and Implementation of Cognitive Mobile Robots. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (J. Log. Comput., 1999)

Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. - Diego Calvanese; Giuseppe De Giacomo; Riccardo Rosati 001 (Netw. Inf. Syst. J., 1999)

Minimal Belief and Negation as Failure in Multi-Agent System. - Riccardo Rosati 001 (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Planning with sensing, concurrency, and exogenous events: logical framework and implementation. - Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (KR, 2000)

Tableau Calculus for Only Knowing and Knowing at Most. - Riccardo Rosati 001 (TABLEAUX, 2000)

On the decidability and complexity of reasoning about only knowing. - Riccardo Rosati 001 (Artif. Intell., 2000)

Design and Implementation of Cognitive Soccer Robots. - Claudio Castelpietra; A. Guidotti; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (RoboCup, 2001)

Data Integration in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (Int. J. Cooperative Inf. Syst., 2001)

A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. - Riccardo Rosati 001 (Stud Logica, 2001)

Source inconsistency and incompleteness in data integration. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (KRDB, 2002)

Integrating Inconsistent and Incomplete Data Sources. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (SEBD, 2002)

Description logics of minimal knowledge and negation as failure. - Francesco M. Donini; Daniele Nardi; Riccardo Rosati 001 (ACM Trans. Comput. Log., 2002)

Source Integration for Data Warehousing. - Andrea Calì; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Multidimensional Databases, 2003)

Semantic Data Integration in P2P Systems. - Diego Calvanese; Elio Damaggio; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (DBISP2P, 2003)

Description Logics for Databases. - Alexander Borgida; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logic Handbook, 2003)

Query rewriting and answering under constraints in data integration systems. - Andrea Calì; Domenico Lembo; Riccardo Rosati 001 (IJCAI, 2003)

Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. - Diego Calvanese; Riccardo Rosati 001 (KRDB, 2003)

On the decidability and complexity of query answering over inconsistent and incomplete databases. - Andrea Calì; Domenico Lembo; Riccardo Rosati 001 (PODS, 2003)

Intensional query processing in data integration systems under integrity constraints. - Andrea Calì; Domenico Lembo; Riccardo Rosati 001 (SEBD, 2003)

DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità. - Andrea Calì; Saverio De Nigris; Domenico Lembo; Gabriele Messineo; Riccardo Rosati 001; Marco Ruzzi (SEBD, 2003)

DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. - Andrea Calì; Saverio De Nigris; Domenico Lembo; Gabriele Messineo; Riccardo Rosati 001; Marco Ruzzi (WISE, 2003)

Minimal Belief and Negation as Failure in Multi-Agent Systems. - Riccardo Rosati 001 (Ann. Math. Artif. Intell., 2003)

Experimenting Data Integration with DIS@DIS. - Andrea Calì; Domenico Lembo; Riccardo Rosati 001; Marco Ruzzi (CAiSE, 2004)

DL-Lite: Practical Reasoning for Rich Dls. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001; Guido Vetere (Description Logics, 2004)

Hyper: A Framework for Peer-to-Peer Data Integration on Grids. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001; Guido Vetere (ICSNW, 2004)

Tackling Inconsistencies in Data Integration through Source Preferences. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (IQIS, 2004)

What to Ask to a Peer: Ontolgoy-based Query Reformulation. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2004)

Qualitative and probabilistic uncertainty in reasoning about actions with sensing. - Luca Iocchi; Thomas Lukasiewicz; Daniele Nardi; Riccardo Rosati 001 (NMR, 2004)

Logical Foundations of Peer-To-Peer Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (PODS, 2004)

Query Reformulation over Ontology-based Peers. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (SEBD, 2004)

QuOnto: Querying Ontologies. - Andrea Acciarri; Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Mattia Palmieri; Riccardo Rosati 001 (AAAI, 2005)

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

Consistent query answering under key and exclusion dependencies: algorithms and experiments. - Luca Grieco; Domenico Lembo; Riccardo Rosati 001; Marco Ruzzi (CIKM, 2005)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. - Riccardo Rosati 001; Georg Gottlob (IJCAI, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

Tailoring OWL for Data Intensive Ontologies. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (OWLED, 2005)

Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. - Riccardo Rosati 001 (PPSWR, 2005)

Experimenting efficient query answering over inconsistent databases (extended abstract). - Luca Grieco; Domenico Lembo; Riccardo Rosati 001; Marco Ruzzi (SEBD, 2005)

The INFOMIX system for advanced integration of incomplete and inconsistent data. - Nicola Leone; Gianluigi Greco; Giovambattista Ianni; Vincenzino Lio; Giorgio Terracina; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Efficiently Managing Data Intensive Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (SWAP, 2005)

Generation of Strong Cyclic Plans with Incomplete Information and Sensing. - Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (Intelligenza Artificiale, 2005)

A comprehensive semantic framework for data integration systems. - Andrea Calì; Domenico Lembo; Riccardo Rosati 001 (J. Appl. Log., 2005)

On the decidability and complexity of integrating ontologies and rules. - Riccardo Rosati 001 (J. Web Semant., 2005)

On the Update of Description Logic Ontologies at the Instance Level. - Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (AAAI, 2006)

Epistemic First-order Queries over Description Logic Knowledge Bases. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2006)

On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. - Domenico Lembo; Riccardo Rosati 001; Marco Ruzzi (EDBT Workshops, 2006)

Multimodal Nonmonotonic Logics of Minimal Knowledge. - Riccardo Rosati 001 (AI&M, 2006)

DL+log: Tight Integration of Description Logics and Disjunctive Datalog. - Riccardo Rosati 001 (KR, 2006)

Linking Data to Ontologies: The Description Logic DL-Lite_A. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (OWLED, 2006)

Reasoning Support for Ontology Design. - Carsten Lutz; Franz Baader; Enrico Franconi; Domenico Lembo; Ralf Möller 001; Riccardo Rosati 001; Ulrike Sattler; Boontawee Suntisrivaraporn; Sergio Tessaris (OWLED, 2006)

On the decidability and finite controllability of query processing in databases with incomplete information. - Riccardo Rosati 001 (PODS, 2006)

The limits and possibilities of combining Description Logics and Datalog. - Riccardo Rosati 001 (RuleML, 2006)

Integrating Ontologies and Rules: Semantic and Computational Issues. - Riccardo Rosati 001 (Reasoning Web, 2006)

Can OWL and Logic Programming Live Together Happily Ever After? - Boris Motik; Ian Horrocks 001; Riccardo Rosati 001; Ulrike Sattler (ISWC, 2006)

Multi-modal nonmonotonic logics of minimal knowledge. - Riccardo Rosati 001 (Ann. Math. Artif. Intell., 2006)

Enterprise modeling and Data Warehousing in Telecom Italia. - Diego Calvanese; Luigi Dragone; Daniele Nardi; Riccardo Rosati 001; Stefano Trisolini (Inf. Syst., 2006)

Checking e-service consistency using Description Logics. - Luigi Dragone; Riccardo Rosati 001 (IEEE SCC, 2007)

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

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Domenico Lembo; Antonella Poggi; Riccardo Rosati 001 (Description Logics, 2007)

Actions and Programs over Description Logic Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2007)

On Conjunctive Query Answering in EL. - Riccardo Rosati 001 (Description Logics, 2007)

The Limits of Querying Ontologies. - Riccardo Rosati 001 (ICDT, 2007)

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

A Faithful Integration of Description Logics with Logic Programming. - Boris Motik; Riccardo Rosati 001 (IJCAI, 2007)

Can OWL Model Football Leagues? - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (OWLED, 2007)

On reconciling data exchange, data integration, and peer data management. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (PODS, 2007)

Ontology-based Database Access. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (SEBD, 2007)

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Autom. Reason., 2007)

Towards Higher-Order DL-Lite. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2008)

Finite Model Reasoning in DL-Lite. - Riccardo Rosati 001 (ESWC, 2008)

Path-Based Identification Constraints in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2008)

View-Based Query Answering over Description Logic Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2008)

On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. - Riccardo Rosati 001 (RR, 2008)

Data Integration throughDL-LiteA Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi (SDKB, 2008)

Inconsistency tolerance in P2P data integration: An epistemic logic approach. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Inf. Syst., 2008)

Linking Data to Ontologies. - Antonella Poggi; Domenico Lembo; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Data Semant., 2008)

Using OWL in Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi (Semantic Web Information Management, 2009)

Conceptual Modeling for Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Conceptual Modeling: Foundations and Applications, 2009)

On Higher-Order Description Logics. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2009)

Effective Ontology-Based Data Integration. - Riccardo Rosati 001 (OTM Workshops, 2009)

Ontologies and Databases: The DL-Lite Approach. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Mariano Rodriguez-Muro; Riccardo Rosati 001 (Reasoning Web, 2009)

On Instance-level Update and Erasure in Description Logic Ontologies. - Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (J. Log. Comput., 2009)

Reasoning about actions with sensing under qualitative and probabilistic uncertainty. - Luca Iocchi; Thomas Lukasiewicz; Daniele Nardi; Riccardo Rosati 001 (ACM Trans. Comput. Log., 2009)

Conjunctive Artifact-Centric Services. - Piero Cangialosi; Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (ICSOC, 2010)

Improving Query Answering over DL-Lite Ontologies. - Riccardo Rosati 001; Alessandro Almatelli (KR, 2010)

Inconsistency-Tolerant Semantics for Description Logics. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (RR, 2010)

Reconciling description logics and rules. - Boris Motik; Riccardo Rosati 001 (J. ACM, 2010)

Higher-Order Description Logics for Domain Metamodeling. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (AAAI, 2011)

Practical ABox Cleaning in DL-Lite (progress report). - Giulia Masotti; Riccardo Rosati 001; Marco Ruzzi (Description Logics, 2011)

Mapping Data to Higher-Order Description Logic Knowledge Bases. - Floriana Di Pinto; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2011)

On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. - Riccardo Rosati 001 (IJCAI, 2011)

Query Rewriting for Inconsistent DL-Lite Ontologies. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (RR, 2011)

Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (SEBD, 2011)

On the finite controllability of conjunctive query answering in databases under open-world assumption. - Riccardo Rosati 001 (J. Comput. Syst. Sci., 2011)

The MASTRO system for ontology-based data access. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Mariano Rodriguez-Muro; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (Semantic Web, 2011)

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

A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. - Cristina Civili; Riccardo Rosati 001 (Datalog, 2012)

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. - Alexander Borgida; Jennifer Horkoff; John Mylopoulos; Riccardo Rosati 001 (Description Logics, 2012)

Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (Description Logics, 2012)

Query Rewriting under Extensional Constraints in DL-Lite. - Riccardo Rosati 001 (Description Logics, 2012)

Prexto: Query Rewriting under Extensional Constraints in DL - Lite. - Riccardo Rosati 001 (ESWC, 2012)

Generalized Ontology-Based Production Systems. - Riccardo Rosati 001; Enrico Franconi (KR, 2012)

MASTRO: A Reasoner for Effective Ontology-Based Data Access. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (ORE, 2012)

Mastro: Ontology-Based Data Access at Work (Extended Abstract). - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (OTM Workshops, 2012)

Query Patterns for Existential Rules. - Cristina Civili; Riccardo Rosati 001 (RR, 2012)

Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies. - Riccardo Rosati 001; Marco Ruzzi; Mirko Graziosi; Giulia Masotti (ISWC (2), 2012)

Verification of Conjunctive Artifact-Centric Services. - Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (Int. J. Cooperative Inf. Syst., 2012)

View-based query answering in Description Logics: Semantics and complexity. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Comput. Syst. Sci., 2012)

New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. - Meghyn Bienvenu; Riccardo Rosati 001 (Description Logics, 2013)

Synthesizing Extensional Constraints in Ontology-Based Data Access. - Marco Console; Maurizio Lenzerini; Riccardo Mancini; Riccardo Rosati 001; Marco Ruzzi (Description Logics, 2013)

Optimizing query rewriting in ontology-based data access. - Floriana Di Pinto; Domenico Lembo; Maurizio Lenzerini; Riccardo Mancini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (EDBT, 2013)

Optique System: towards ontology and mapping management in OBDA solutions. - Peter Haase 001; Ian Horrocks 001; Dag Hovland; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Johan W. Klüwer; Christoph Pinkel; Riccardo Rosati 001; Valerio Santarelli; Ahmet Soylu; Dmitriy Zheleznyakov (WoDOOM, 2013)

Optique: Towards OBDA Systems for Industry. - Evgeny Kharlamov; Ernesto Jiménez-Ruiz; Dmitriy Zheleznyakov; Dimitris Bilidas; Martin Giese; Peter Haase 001; Ian Horrocks 001; Herald Kllapi; Manolis Koubarakis; Özgür L. Özçep; Mariano Rodriguez-Muro; Riccardo Rosati 001; et al. (ESWC (Satellite Events), 2013)

Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. - Meghyn Bienvenu; Riccardo Rosati 001 (IJCAI, 2013)

The Logic of Extensional RDFS (Extended Abstract). - Enrico Franconi; Claudio Gutierrez 001; Alessandro Mosca 001; Riccardo Rosati 001; Giuseppe Pirrò (SEBD, 2013)

Optimization of Query Rewriting in Ontology-Based Data Access. - Floriana Di Pinto; Domenico Lembo; Maurizio Lenzerini; Riccardo Mancini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (SEBD, 2013)

The Logic of Extensional RDFS. - Enrico Franconi; Claudio Gutierrez 001; Alessandro Mosca 001; Giuseppe Pirrò; Riccardo Rosati 001 (ISWC (1), 2013)

Data complexity of query answering in description logics. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Artif. Intell., 2013)

MASTRO STUDIO: Managing Ontology-Based Data Access applications. - Cristina Civili; Marco Console; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Lorenzo Lepore; Riccardo Mancini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Valerio Santarelli; Domenico Fabio Savo (Proc. VLDB Endow., 2013)

Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. - Riccardo Rosati 001 (CILC, 2014)

Visualization and Management of Mappings in Ontology-based Data Access (Progress Report). - Domenico Lembo; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo; Emanuele Tocci (Description Logics, 2014)

Tutorials. - Alessio Lomuscio; Lawrence S. Moss; Ekaterina Ovchinnikova; Riccardo Rosati 001 (KR, 2014)

Towards Mapping Analysis in Ontology-Based Data Access. - Domenico Lembo; Jose Mora; Riccardo Rosati 001; Domenico Fabio Savo; Evgenij Thorstensen (RR, 2014)

Effective Computation of Maximal Sound Approximations of Description Logic Ontologies. - Marco Console; Jose Mora; Riccardo Rosati 001; Valerio Santarelli; Domenico Fabio Savo (ISWC (2), 2014)

kyrie2: Query Rewriting under Extensional Constraints in ELHIO. - Jose Mora; Riccardo Rosati 001; Óscar Corcho (ISWC (1), 2014)

On the first-order rewritability of conjunctive queries over binary guarded existential rules. - Cristina Civili; Riccardo Rosati 001 (CILC, 2015)

Query-based comparison of OBDA specifications. - Meghyn Bienvenu; Riccardo Rosati 001 (Description Logics, 2015)

Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract). - Domenico Lembo; Jose Mora; Riccardo Rosati 001; Domenico Fabio Savo; Evgenij Thorstensen (Description Logics, 2015)

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

Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Discussion paper). - Domenico Lembo; Jose Mora; Riccardo Rosati 001; Domenico Fabio Savo; Evgenij Thorstensen (SEBD, 2015)

Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity. - Domenico Lembo; Jose Mora; Riccardo Rosati 001; Domenico Fabio Savo; Evgenij Thorstensen (ISWC (1), 2015)

Optique: Zooming in on Big Data. - Martin Giese; Ahmet Soylu; Guillermo Vega-Gorgojo; Arild Waaler; Peter Haase 001; Ernesto Jiménez-Ruiz; Davide Lanti; Martín Rezk; Guohui Xiao 001; Özgür L. Özçep; Riccardo Rosati 001 (Computer, 2015)

Inconsistency-tolerant query answering in ontology-based data access. - Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (J. Web Semant., 2015)

Bounded Implication for Existential Rules (Extended Abstract). - Cristina Civili; Riccardo Rosati 001 (Description Logics, 2016)

Approaching OBDA Evolution through Mapping Repair. - Domenico Lembo; Riccardo Rosati 001; Valerio Santarelli; Domenico Fabio Savo; Evgenij Thorstensen (Description Logics, 2016)

Query-Based Comparison of Mappings in Ontology-Based Data Access. - Meghyn Bienvenu; Riccardo Rosati 001 (KR, 2016)

Semantic Analysis of R2RML Mappings for Ontology-Based Data Access. - Cristina Civili; Jose Mora; Riccardo Rosati 001; Marco Ruzzi; Valerio Santarelli (RR, 2016)

Updating DL-Lite Ontologies Through First-Order Queries. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (ISWC (1), 2016)

Mapping Repair in Ontology-based Data Access Evolving Systems. - Domenico Lembo; Riccardo Rosati 001; Valerio Santarelli; Domenico Fabio Savo; Evgenij Thorstensen (IJCAI, 2017)

Mapping Repair in Ontology-based Data Access Evolving Systems (Extended Abstract). - Domenico Lembo; Riccardo Rosati 001; Valerio Santarelli; Domenico Fabio Savo; Evgenij Thorstensen (WSP/WOMoCoE@ISWC, 2017)

Using Ontologies for Semantic Data Integration. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (A Comprehensive Guide Through the Italian Database Research, 2018)

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

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. - Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (KR, 2018)

Ontology-Based Data Access and Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

The What-To-Ask Problem for Ontology-Based Peers. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logic, Theory Combination, and All That, 2019)

Revisiting Controlled Query Evaluation in Description Logics. - Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (IJCAI, 2019)

A novel approach to Controlled Query Evaluation in DL-Lite (DISCUSSION PAPER). - Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (SEBD, 2019)

Acquiring Ontology Axioms through Mappings to Data Sources. - Floriana Di Pinto; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Future Internet, 2019)

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). - Gianluca Cima; Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (Description Logics, 2020)

Controlled Query Evaluation in Description Logics Through Instance Indistinguishability. - Gianluca Cima; Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (IJCAI, 2020)

Controlled Query Evaluation in Ontology-Based Data Access. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (ISWC (1), 2020)

CQE in Description Logics Through Instance Indistinguishability (extended version). - Gianluca Cima; Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (CoRR, 2020)

Preface. - Costin Badica; Mirjana Ivanovic; Yannis Manolopoulos; Riccardo Rosati 001; Paolo Torroni (Fundam. Informaticae, 2020)

Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo; Daniele Sinibaldi (AIKE, 2021)

On Information Disclosure in Ontology-based Data Access (Extended Abstract). - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (Description Logics, 2021)

Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Discussion Paper). - Gianluca Cima; Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (SEBD, 2021)

Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (ISWC, 2021)

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (J. Artif. Intell. Res., 2021)

Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (ISWC, 2022)

Knowledge-based Confidentiality-preserving Query Answering. - Riccardo Rosati 001 (WEBIST, 2022)

AI-based Data Preparation and Data Analytics in Healthcare: The Case of Diabetes. - Marianna Maranghi; Aris Anagnostopoulos; Irene Cannistraci; Ioannis Chatzigiannakis; Federico Croce; Giulia Di Teodoro; Michele Gentili; Giorgio Grani; Maurizio Lenzerini; Stefano Leonardi 001; Andrea Mastropietro; Laura Palagi; et al. (CoRR, 2022)

Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics. - Lorenzo Marconi 002; Riccardo Rosati 001 (CoRR, 2022)

CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version). - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (CoRR, 2022)

Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (Description Logics, 2023)

Controlled Query Evaluation in Description Logic Ontologies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (RW, 2023)

Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract). - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (Description Logics, 2024)

Enhancing Controlled Query Evaluation through Epistemic Policies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (IJCAI, 2024)

Controlled query evaluation in description logics through consistent query answering. - Gianluca Cima; Domenico Lembo; Riccardo Rosati 001; Domenico Fabio Savo (Artif. Intell., 2024)

Consistent Query Answering for Existential Rules under Tuple-Deletion Semantics. - Lorenzo Marconi 002; Riccardo Rosati 001 (CoRR, 2024)

Controlled Query Evaluation through Epistemic Dependencies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (CoRR, 2024)

A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (SN Comput. Sci., 2024)

Ontology-Based Data Preparation in Healthcare: The Case of the AMD-STITCH Project. - Federico Croce; Riccardo Valentini 002; Marianna Maranghi; Giorgio Grani; Maurizio Lenzerini; Riccardo Rosati 001 (SN Comput. Sci., 2024)

Consistent Query Answering over Existential Rules with Open and Closed Predicates. - Lorenzo Marconi 002; Riccardo Rosati 001 (AAAI, 2025)

Enhancing cooperativity in controlled query evaluation over ontologies. - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Francesco Magliocca; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (Artif. Intell., 2025)

Indistinguishability in controlled query evaluation over prioritized description logic ontologies. - Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Domenico Fabio Savo (J. Web Semant., 2025)

CQE under Epistemic Dependencies: Algorithms and Experiments (extended version). - Lorenzo Marconi 002; Flavia Ricci; Riccardo Rosati 001 (CoRR, 2025)