![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Riccardo Rosati 0001
Person information
- affiliation: Sapienza University of Rome, Italy
Other persons with the same name
- Riccardo Rosati 0002
— Università Politecnica delle Marche, Ancona, Italy
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j37]Gianluca Cima, Domenico Lembo, Riccardo Rosati
, Domenico Fabio Savo
:
Controlled query evaluation in description logics through consistent query answering. Artif. Intell. 334: 104176 (2024) - [j36]Gianluca Cima, Domenico Lembo, Lorenzo Marconi
, Riccardo Rosati
, Domenico Fabio Savo
:
A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies. SN Comput. Sci. 5(4): 335 (2024) - [j35]Federico Croce
, Riccardo Valentini, Marianna Maranghi, Giorgio Grani
, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Preparation in Healthcare: The Case of the AMD-STITCH Project. SN Comput. Sci. 5(4): 437 (2024) - [c158]Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo:
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract). Description Logics 2024 - [i7]Lorenzo Marconi, Riccardo Rosati:
Consistent Query Answering for Existential Rules under Tuple-Deletion Semantics. CoRR abs/2401.05743 (2024) - [i6]Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo:
Controlled Query Evaluation through Epistemic Dependencies. CoRR abs/2405.02458 (2024) - 2023
- [c157]Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo:
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Description Logics 2023 - 2022
- [c156]Piero A. Bonatti
, Gianluca Cima
, Domenico Lembo
, Lorenzo Marconi
, Riccardo Rosati
, Luigi Sauro
, Domenico Fabio Savo
:
Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. ISWC 2022: 428-444 - [c155]Riccardo Rosati:
Knowledge-based Confidentiality-preserving Query Answering. WEBIST 2022: 13 - [i5]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:
AI-based Data Preparation and Data Analytics in Healthcare: The Case of Diabetes. CoRR abs/2206.06182 (2022) - [i4]Lorenzo Marconi, Riccardo Rosati:
Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics. CoRR abs/2207.09198 (2022) - [i3]Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo:
CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version). CoRR abs/2207.11155 (2022) - 2021
- [j34]Giuseppe De Giacomo
, Xavier Oriol
, Riccardo Rosati
, Domenico Fabio Savo
:
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. 70: 1335-1371 (2021) - [c154]Gianluca Cima, Domenico Lembo, Lorenzo Marconi
, Riccardo Rosati, Domenico Fabio Savo
, Daniele Sinibaldi:
Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions. AIKE 2021: 33-36 - [c153]Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo:
On Information Disclosure in Ontology-based Data Access (Extended Abstract). Description Logics 2021 - [c152]Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability (Discussion Paper). SEBD 2021: 490-497 - [c151]Gianluca Cima
, Domenico Lembo
, Lorenzo Marconi
, Riccardo Rosati
, Domenico Fabio Savo
:
Controlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies. ISWC 2021: 374-391 - 2020
- [j33]Costin Badica, Mirjana Ivanovic, Yannis Manolopoulos, Riccardo Rosati, Paolo Torroni
:
Preface. Fundam. Informaticae 172(3) (2020) - [c150]Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). Description Logics 2020 - [c149]Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo
:
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability. IJCAI 2020: 1791-1797 - [c148]Gianluca Cima
, Domenico Lembo
, Lorenzo Marconi
, Riccardo Rosati
, Domenico Fabio Savo
:
Controlled Query Evaluation in Ontology-Based Data Access. ISWC (1) 2020: 128-146 - [i2]Gianluca Cima, Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
CQE in Description Logics Through Instance Indistinguishability (extended version). CoRR abs/2004.11870 (2020)
2010 – 2019
- 2019
- [j32]Floriana Di Pinto, Giuseppe De Giacomo
, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet 11(12): 260 (2019) - [c147]Diego Calvanese
, Giuseppe De Giacomo
, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211 - [c146]Domenico Lembo, Riccardo Rosati
, Domenico Fabio Savo
:
Revisiting Controlled Query Evaluation in Description Logics. IJCAI 2019: 1786-1792 - [c145]Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
A novel approach to Controlled Query Evaluation in DL-Lite (DISCUSSION PAPER). SEBD 2019 - 2018
- [c144]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c143]Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo:
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics. KR 2018: 653-654 - [p4]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
:
Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research 2018: 187-202 - [e3]Rajendra Akerkar, Mirjana Ivanovic, Sang-Wook Kim, Yannis Manolopoulos, Riccardo Rosati, Milos Savic, Costin Badica, Milos Radovanovic:
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, WIMS 2018, Novi Sad, Serbia, June 25-27, 2018. ACM 2018 [contents] - [r1]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c142]Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo
, Evgenij Thorstensen:
Mapping Repair in Ontology-based Data Access Evolving Systems. IJCAI 2017: 1160-1166 - [c141]Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen:
Mapping Repair in Ontology-based Data Access Evolving Systems (Extended Abstract). WSP/WOMoCoE@ISWC 2017: 110-113 - 2016
- [c140]Cristina Civili, Riccardo Rosati:
Bounded Implication for Existential Rules (Extended Abstract). Description Logics 2016 - [c139]Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen:
Approaching OBDA Evolution through Mapping Repair. Description Logics 2016 - [c138]Meghyn Bienvenu, Riccardo Rosati:
Query-Based Comparison of Mappings in Ontology-Based Data Access. KR 2016: 197-206 - [c137]Cristina Civili, Jose Mora
, Riccardo Rosati
, Marco Ruzzi, Valerio Santarelli:
Semantic Analysis of R2RML Mappings for Ontology-Based Data Access. RR 2016: 25-38 - [c136]Giuseppe De Giacomo, Xavier Oriol
, Riccardo Rosati
, Domenico Fabio Savo
:
Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) 2016: 167-183 - 2015
- [j31]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
:
Optique: Zooming in on Big Data. Computer 48(3): 60-67 (2015) - [j30]Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
Inconsistency-tolerant query answering in ontology-based data access. J. Web Semant. 33: 3-29 (2015) - [c135]Cristina Civili, Riccardo Rosati:
On the first-order rewritability of conjunctive queries over binary guarded existential rules. CILC 2015: 25-30 - [c134]Meghyn Bienvenu, Riccardo Rosati:
Query-based comparison of OBDA specifications. Description Logics 2015 - [c133]Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen:
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract). Description Logics 2015 - [c132]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI 2015: 4163-4167 - [c131]Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo, Evgenij Thorstensen:
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Discussion paper). SEBD 2015: 335-342 - [c130]Domenico Lembo
, Jose Mora
, Riccardo Rosati
, Domenico Fabio Savo
, Evgenij Thorstensen:
Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity. ISWC (1) 2015: 217-234 - 2014
- [c129]Riccardo Rosati:
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access. CILC 2014: 12 - [c128]Domenico Lembo, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Emanuele Tocci:
Visualization and Management of Mappings in Ontology-based Data Access (Progress Report). Description Logics 2014: 595-607 - [c127]Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati:
Tutorials. KR 2014 - [c126]Domenico Lembo, Jose Mora
, Riccardo Rosati, Domenico Fabio Savo
, Evgenij Thorstensen:
Towards Mapping Analysis in Ontology-Based Data Access. RR 2014: 108-123 - [c125]Marco Console, Jose Mora
, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo
:
Effective Computation of Maximal Sound Approximations of Description Logic Ontologies. ISWC (2) 2014: 164-179 - [c124]Jose Mora
, Riccardo Rosati, Óscar Corcho:
kyrie2: Query Rewriting under Extensional Constraints in ELHIO. ISWC (1) 2014: 568-583 - [e2]Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
:
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. CEUR Workshop Proceedings 1193, CEUR-WS.org 2014 [contents] - 2013
- [j29]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013) - [j28]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
:
MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. 6(12): 1314-1317 (2013) - [c123]Meghyn Bienvenu, Riccardo Rosati:
New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access. Description Logics 2013: 53-64 - [c122]Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi:
Synthesizing Extensional Constraints in Ontology-Based Data Access. Description Logics 2013: 628-639 - [c121]Floriana Di Pinto, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Mancini, Antonella Poggi
, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
Optimizing query rewriting in ontology-based data access. EDBT 2013: 561-572 - [c120]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:
Optique System: towards ontology and mapping management in OBDA solutions. WoDOOM 2013: 21-32 - [c119]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:
Optique: Towards OBDA Systems for Industry. ESWC (Satellite Events) 2013: 125-140 - [c118]Meghyn Bienvenu, Riccardo Rosati:
Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access. IJCAI 2013: 775-781 - [c117]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca, Riccardo Rosati, Giuseppe Pirrò:
The Logic of Extensional RDFS (Extended Abstract). SEBD 2013: 75-86 - [c116]Floriana Di Pinto, Domenico Lembo, Maurizio Lenzerini, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Optimization of Query Rewriting in Ontology-Based Data Access. SEBD 2013: 263-270 - [c115]Enrico Franconi, Claudio Gutierrez, Alessandro Mosca
, Giuseppe Pirrò
, Riccardo Rosati
:
The Logic of Extensional RDFS. ISWC (1) 2013: 101-116 - 2012
- [j27]Giuseppe De Giacomo, Riccardo De Masellis
, Riccardo Rosati
:
Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012) - [j26]Diego Calvanese
, Giuseppe De Giacomo, Maurizio Lenzerini
, Riccardo Rosati
:
View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012) - [c114]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012: 719-725 - [c113]Cristina Civili, Riccardo Rosati
:
A Broad Class of First-Order Rewritable Tuple-Generating Dependencies. Datalog 2012: 68-80 - [c112]Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati:
Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics 2012 - [c111]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions. Description Logics 2012 - [c110]Riccardo Rosati:
Query Rewriting under Extensional Constraints in DL-Lite. Description Logics 2012 - [c109]Riccardo Rosati
:
Prexto: Query Rewriting under Extensional Constraints in DL - Lite. ESWC 2012: 360-374 - [c108]Riccardo Rosati, Enrico Franconi:
Generalized Ontology-Based Production Systems. KR 2012 - [c107]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012 - [c106]Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Antonella Poggi
, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668 - [c105]Cristina Civili, Riccardo Rosati:
Query Patterns for Existential Rules. RR 2012: 42-57 - [c104]Riccardo Rosati, Marco Ruzzi, Mirko Graziosi, Giulia Masotti:
Evaluation of Techniques for Inconsistency Handling in OWL 2 QL Ontologies. ISWC (2) 2012: 337-349 - 2011
- [j25]Riccardo Rosati
:
On the finite controllability of conjunctive query answering in databases under open-world assumption. J. Comput. Syst. Sci. 77(3): 572-594 (2011) - [j24]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Antonella Poggi
, Mariano Rodriguez-Muro, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011) - [c103]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Higher-Order Description Logics for Domain Metamodeling. AAAI 2011: 183-188 - [c102]Giulia Masotti, Riccardo Rosati, Marco Ruzzi:
Practical ABox Cleaning in DL-Lite (progress report). Description Logics 2011 - [c101]Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011 - [c100]Riccardo Rosati
:
On the Complexity of Dealing with Inconsistency in Description Logic Ontologies. IJCAI 2011: 1057-1062 - [c99]Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
Query Rewriting for Inconsistent DL-Lite Ontologies. RR 2011: 155-169 - [c98]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract). SEBD 2011: 287-294 - [e1]Riccardo Rosati, Sebastian Rudolph
, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents] - [i1]Riccardo Rosati:
Reasoning about Minimal Belief and Negation as Failure. CoRR abs/1106.0224 (2011) - 2010
- [j23]Boris Motik, Riccardo Rosati
:
Reconciling description logics and rules. J. ACM 57(5): 30:1-30:62 (2010) - [c97]Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis
, Riccardo Rosati
:
Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333 - [c96]Riccardo Rosati, Alessandro Almatelli:
Improving Query Answering over DL-Lite Ontologies. KR 2010 - [c95]Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
, Marco Ruzzi, Domenico Fabio Savo
:
Inconsistency-Tolerant Semantics for Description Logics. RR 2010: 103-117
2000 – 2009
- 2009
- [j22]Giuseppe De Giacomo, Maurizio Lenzerini
, Antonella Poggi
, Riccardo Rosati
:
On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009) - [j21]Luca Iocchi
, Thomas Lukasiewicz, Daniele Nardi
, Riccardo Rosati
:
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. ACM Trans. Comput. Log. 10(1): 5:1-5:41 (2009) - [c94]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 - [c93]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
On Higher-Order Description Logics. Description Logics 2009 - [c92]Riccardo Rosati:
Effective Ontology-Based Data Integration. OTM Workshops 2009: 18 - [c91]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Antonella Poggi
, Mariano Rodriguez-Muro, Riccardo Rosati
:
Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356 - [p3]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
, Marco Ruzzi:
Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424 - 2008
- [j20]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008) - [j19]Antonella Poggi
, Domenico Lembo
, Diego Calvanese
, Giuseppe De Giacomo, Maurizio Lenzerini
, Riccardo Rosati
:
Linking Data to Ontologies. J. Data Semant. 10: 133-173 (2008) - [c90]Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Towards Higher-Order DL-Lite. Description Logics 2008 - [c89]Riccardo Rosati
:
Finite Model Reasoning in DL-Lite. ESWC 2008: 215-229 - [c88]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics. KR 2008: 231-241 - [c87]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251 - [c86]Riccardo Rosati:
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. RR 2008: 13-27 - [c85]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
, Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies. SDKB 2008: 26-47 - 2007
- [j18]Diego Calvanese
, Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reason. 39(3): 385-429 (2007) - [c84]Luigi Dragone, Riccardo Rosati
:
Checking e-service consistency using Description Logics. IEEE SCC 2007: 162-169 - [c83]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408 - [c82]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007 - [c81]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. Description Logics 2007 - [c80]Riccardo Rosati:
On Conjunctive Query Answering in EL. Description Logics 2007 - [c79]Riccardo Rosati
:
The Limits of Querying Ontologies. ICDT 2007: 164-178 - [c78]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279 - [c77]Boris Motik, Riccardo Rosati:
A Faithful Integration of Description Logics with Logic Programming. IJCAI 2007: 477-482 - [c76]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Can OWL Model Football Leagues? OWLED 2007 - [c75]Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142 - [c74]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Ontology-based Database Access. SEBD 2007: 324-331 - 2006
- [j17]Riccardo Rosati
:
Multi-modal nonmonotonic logics of minimal knowledge. Ann. Math. Artif. Intell. 48(3-4): 169-185 (2006) - [j16]Diego Calvanese
, Luigi Dragone, Daniele Nardi
, Riccardo Rosati
, Stefano Trisolini:
Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. 31(1): 1-32 (2006) - [c73]Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276 - [c72]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 - [c71]Domenico Lembo, Riccardo Rosati, Marco Ruzzi:
On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases. EDBT Workshops 2006: 358-374 - [c70]Riccardo Rosati:
Multimodal Nonmonotonic Logics of Minimal Knowledge. AI&M 2006 - [c69]Riccardo Rosati:
DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006: 68-78 - [c68]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. KR 2006: 260-270 - [c67]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006 - [c66]Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris:
Reasoning Support for Ontology Design. OWLED 2006 - [c65]Riccardo Rosati
:
On the decidability and finite controllability of query processing in databases with incomplete information. PODS 2006: 356-365 - [c64]Riccardo Rosati
:
The limits and possibilities of combining Description Logics and Datalog. RuleML 2006: 3-4 - [c63]Riccardo Rosati:
Integrating Ontologies and Rules: Semantic and Computational Issues. Reasoning Web 2006: 128-151 - [c62]Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler:
Can OWL and Logic Programming Live Together Happily Ever After? ISWC 2006: 501-514 - 2005
- [j15]Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Generation of Strong Cyclic Plans with Incomplete Information and Sensing. Intelligenza Artificiale 2(4): 58-65 (2005) - [j14]Andrea Calì, Domenico Lembo
, Riccardo Rosati
:
A comprehensive semantic framework for data integration systems. J. Appl. Log. 3(1): 308-328 (2005) - [j13]Riccardo Rosati
:
On the decidability and complexity of integrating ontologies and rules. J. Web Semant. 3(1): 61-73 (2005) - [c61]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607 - [c60]Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies. AAAI 2005: 1670-1671 - [c59]Luca Grieco, Domenico Lembo
, Riccardo Rosati
, Marco Ruzzi:
Consistent query answering under key and exclusion dependencies: algorithms and experiments. CIKM 2005: 792-799 - [c58]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105 - [c57]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. Description Logics 2005 - [c56]Riccardo Rosati, Georg Gottlob:
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383 - [c55]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
:
Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383 - [c54]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies. OWLED 2005 - [c53]Riccardo Rosati
:
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. PPSWR 2005: 50-64 - [c52]Luca Grieco, Domenico Lembo, Riccardo Rosati, Marco Ruzzi:
Experimenting efficient query answering over inconsistent databases (extended abstract). SEBD 2005: 300-307 - [c51]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:
The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917 - [c50]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies. SWAP 2005 - 2004
- [c49]Andrea Calì, Domenico Lembo, Riccardo Rosati, Marco Ruzzi:
Experimenting Data Integration with DIS@DIS. CAiSE 2004: 51-66 - [c48]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 - [c47]Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty. ECAI 2004: 818-822 - [c46]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157 - [c45]Giuseppe De Giacomo, Domenico Lembo
, Maurizio Lenzerini
, Riccardo Rosati
:
Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34 - [c44]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478 - [c43]Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
Qualitative and probabilistic uncertainty in reasoning about actions with sensing. NMR 2004: 240-248 - [c42]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251 - [c41]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425 - 2003
- [j12]Riccardo Rosati
:
Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003) - [c40]Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90 - [c39]Andrea Calì, Domenico Lembo, Riccardo Rosati:
Query rewriting and answering under constraints in data integration systems. IJCAI 2003: 16-21 - [c38]Diego Calvanese, Riccardo Rosati:
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003 - [c37]Andrea Calì, Domenico Lembo, Riccardo Rosati:
On the decidability and complexity of query answering over inconsistent and incomplete databases. PODS 2003: 260-271 - [c36]Andrea Calì, Domenico Lembo, Riccardo Rosati:
Intensional query processing in data integration systems under integrity constraints. SEBD 2003: 475-482 - [c35]Andrea Calì, Saverio De Nigris, Domenico Lembo, Gabriele Messineo, Riccardo Rosati, Marco Ruzzi:
DIS@DIS: un Sistema per l'Integrazione Semantica dei Dati in Presenza di Vincoli di Integrità. SEBD 2003: 537-544 - [c34]Andrea Calì, Saverio De Nigris, Domenico Lembo
, Gabriele Messineo, Riccardo Rosati
, Marco Ruzzi:
DIS@DIS: A System for Semantic Data Integration under Integrity Constraints. WISE 2003: 335-338 - [p2]Andrea Calì, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Source Integration for Data Warehousing. Multidimensional Databases 2003: 361-392 - [p1]Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati:
Description Logics for Databases. Description Logic Handbook 2003: 462-484 - 2002
- [j11]Francesco M. Donini
, Daniele Nardi
, Riccardo Rosati
:
Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Log. 3(2): 177-225 (2002) - [c33]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Source inconsistency and incompleteness in data integration. KRDB 2002 - [c32]Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Integrating Inconsistent and Incomplete Data Sources. SEBD 2002: 299-306 - 2001
- [j10]Diego Calvanese
, Giuseppe De Giacomo, Maurizio Lenzerini
, Daniele Nardi
, Riccardo Rosati
:
Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001) - [j9]Riccardo Rosati
:
A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most. Stud Logica 69(1): 171-191 (2001) - [c31]Claudio Castelpietra, A. Guidotti, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Design and Implementation of Cognitive Soccer Robots. RoboCup 2001: 312-318 - 2000
- [j8]Riccardo Rosati
:
On the decidability and complexity of reasoning about only knowing. Artif. Intell. 116(1-2): 193-215 (2000) - [c30]Riccardo Rosati:
Minimal Belief and Negation as Failure in Multi-Agent System. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 7-16 - [c29]Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Planning with sensing, concurrency, and exogenous events: logical framework and implementation. KR 2000: 678-689 - [c28]Riccardo Rosati
:
Tableau Calculus for Only Knowing and Knowing at Most. TABLEAUX 2000: 383-397
1990 – 1999
- 1999
- [j7]Giuseppe De Giacomo, Riccardo Rosati:
Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999) - [j6]Riccardo Rosati:
Reasoning about Minimal Belief and Negation as Failure. J. Artif. Intell. Res. 11: 277-300 (1999) - [j5]Riccardo Rosati
:
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics. J. Log. Lang. Inf. 8(2): 187-203 (1999) - [j4]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati
:
A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999) - [j3]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. 2(4): 413-432 (1999) - [c27]Daniele Nardi, Riccardo Rosati
:
Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled. AI*IA 1999: 1-12 - [c26]Riccardo Rosati:
Towards expressive KR systems integrating datalog and description logics: preliminary report. Description Logics 1999 - [c25]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16 - [c24]Riccardo Rosati:
Model Checking for Nonmonotonic Logics: Algorithms and Complexity. IJCAI 1999: 76-83 - [c23]Riccardo Rosati
:
Towards First-Order Nonmonotonic Reasoning. LPNMR 1999: 332-346 - 1998
- [j2]Riccardo Rosati:
Autoepistemic Description Logics. AI Commun. 11(3-4): 219-221 (1998) - [c22]Riccardo Rosati:
Reducing Query Answering to Satisfiability in Nonmonotonic Logics. AAAI/IAAI 1998: 853-858 - [c21]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
, Daniele Nardi, Riccardo Rosati
:
Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291 - [c20]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197 - [c19]Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 - [c18]Riccardo Rosati:
Embedding Minimal Knowledge into Negation as Failure. ECAI 1998: 28-32 - [c17]Riccardo Rosati:
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case. ECAI 1998: 47-48 - [c16]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13 - 1997
- [j1]Francesco M. Donini
, Daniele Nardi
, Riccardo Rosati
:
Ground Nonmonotonic Modal Logics. J. Log. Comput. 7(4): 523-548 (1997) - [c15]Riccardo Rosati:
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. AAAI/IAAI 1997: 430-435 - [c14]Riccardo Rosati:
Embedding Minimal Knowledge into Autoepistemic Logic. AI*IA 1997: 231-241 - [c13]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997 - [c12]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Planning with Sensing for a Mobile Robot. ECP 1997: 156-168 - [c11]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Autoepistemic Description Logics. IJCAI (1) 1997: 136-141 - [c10]Riccardo Rosati:
Complexity of Only Knowing: The Propositional Case. LPNMR 1997: 76-91 - 1996
- [c9]Riccardo Rosati:
Minimal Knowledge States in Nonmonotonic Modal Logics. Advances in Modal Logic 1996: 173-187 - [c8]Riccardo Rosati:
On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118 - [c7]Riccardo Rosati:
On the Semantics of Epistemic Description Logics. Description Logics 1996: 185-188 - [c6]Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati:
A Uniform Tableaux Method for Nonmonotonic Modal Logics. JELIA 1996: 87-103 - [c5]Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209 - 1995
- [c4]Francesco M. Donini
, Daniele Nardi
, Riccardo Rosati
:
Non-first-order features in concept languages. AI*IA 1995: 91-102 - [c3]Daniele Nardi, Riccardo Rosati:
A Preference Semantics for Ground Nonmonotonic Modal Logics. EPIA 1995: 223-235 - [c2]Francesco M. Donini, Daniele Nardi, Riccardo Rosati:
Ground Nonmonotonic Modal Logics for Knowledge Representation. WOCFAI 1995: 133-144 - 1992
- [c1]Daniele Nardi, Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering. LOPSTR 1992: 15-29
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint