11573/1729517 - 2025 -
Indistinguishability in controlled query evaluation over prioritized description logic ontologies Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
paper: JOURNAL OF WEB SEMANTICS (Tokyo ; St. Louis ; San Diego ; Oxford ; New York ; London ; Amsterdam ; Philadelphia ; Shannon ; Paris ; Boston : Elsevier) pp. - - issn: 1570-8268 - wos: WOS:001389385100001 (1) - scopus: 2-s2.0-85211724437 (1)
11573/1733713 - 2025 -
Controlled Query Evaluation in Description Logic Ontologies Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 02a Capitolo o Articolo
book: Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic. 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023. Tutorial Lectures - (978-3-031-80283-6; 978-3-031-80282-9)
11573/1736802 - 2025 -
Consistent Query Answering over Existential Rules with Open and Closed Predicates Marconi, Lorenzo; Rosati, Riccardo - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Philadelphia, Pennsylvania)
book: Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, AAAI 2025 - (978-1-57735-897-8)
11573/1716982 - 2024 -
Controlled query evaluation in description logics through consistent query answering Cima, G.; Lembo, D.; Rosati, R.; Savo, D. F. - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. - - issn: 0004-3702 - wos: WOS:001267858000001 (0) - scopus: 2-s2.0-85197481105 (1)
11573/1707667 - 2024 -
A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
paper: SN COMPUTER SCIENCE (Singapore: Springer Nature) pp. - - issn: 2662-995X - wos: (0) - scopus: 2-s2.0-85189541441 (0)
11573/1717146 - 2024 -
Enhancing Controlled Query Evaluation through Epistemic Policies Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Jeju; South Korea)
book: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24) - (978-1-956792-04-1)
11573/1717169 - 2024 -
Controlled Query Evaluation in DL-Lite through Epistemic Protection Policies (Extended Abstract) Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 04d Abstract in atti di convegno
conference: International Workshop on Description Logics (Bergen; Norway)
book: Proceedings of the 37th International Workshop on Description Logics (DL 2024) - ()
11573/1719621 - 2024 -
Ontology-Based Data Preparation in Healthcare: The Case of the AMD-STITCH Project Croce, Federico; Valentini, Riccardo; Maranghi, Marianna; Grani, Giorgio; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: SN COMPUTER SCIENCE (Singapore: Springer Singapore) pp. - - issn: 2661-8907 - wos: (0) - scopus: 2-s2.0-85190461184 (3)
11573/1687515 - 2023 -
Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract) Bonatti, Piero; Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Sauro, Luigi; Fabio Savo, Domenico - 04b Atto di convegno in volume
conference: International Workshop on Description Logics (Rhodes; Greece)
book: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023) - ()
11573/1651064 - 2022 -
Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach Bonatti, Piero; Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Sauro, Luigi; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: International Semantic Web Conference (Hangzhou; China)
book: The Semantic Web – ISWC 2022 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings - (978-3-031-19432-0)
11573/1571526 - 2021 -
On Information Disclosure in Ontology-based Data Access (Extended Abstract) Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Fabio Savo, Domenico - 04b Atto di convegno in volume
conference: 34th International Workshop on Description Logics (DL 2021) (Bratislava, Slovakia)
book: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021) - ()
11573/1571555 - 2021 -
Controlled query evaluation over prioritized ontologies with expressive data protection policies Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Fabio Savo, Domenico - 04b Atto di convegno in volume
conference: International Semantic Web Conference (Virtual Event)
book: The Semantic Web – ISWC 2021 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings - (9783030883607)
11573/1594479 - 2021 -
Controlled Query Evaluation over Ontologies through Policies with Numerical Restrictions Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio; Sinibaldi, Daniele - 04b Atto di convegno in volume
conference: 4th Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021 (Virtual Event)
book: 2021 IEEE Fourth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE) - (978-1-6654-3736-3)
11573/1628566 - 2021 -
Privacy Preserving Query Answering in Description Logics Through Instance Indistinguishability Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Fabio Savo, Domenico - 04b Atto di convegno in volume
conference: 29th Italian Symposium on Advanced Database Systems (SEBD 2021) (Pizzo Calabro (VV), Italy)
book: Proceedings of the 29th Italian Symposium on Advanced Database Systems (SEBD 2021) - ()
11573/1575262 - 2021 -
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 1335-1371 - issn: 1076-9757 - wos: WOS:000743970700010 (2) - scopus: 2-s2.0-85105017855 (4)
11573/1450653 - 2020 -
Controlled Query Evaluation in Ontology-Based Data Access Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: International Semantic Web Conference (Athens; Greece)
book: The Semantic Web – ISWC 2020 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part I - (9783030624187)
11573/1440529 - 2020 -
Controlled Query Evaluation in Description Logics Through Instance Indistinguishability Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Fabio Savo, Domenico - 04b Atto di convegno in volume
conference: Thirty-Third International Workshop on Description Logics (Rhodes; Greece)
book: Proceedings of the Thirty-Third International Workshop on Description Logics - ()
11573/1469587 - 2020 -
Controlled query evaluation in description logics through instance indistinguishability Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: International Joint Conference on Artificial Intelligence (Yokohama; Japan)
book: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Main track - IJCAI 2020 - (978-0-9992411-6-5)
11573/1367948 - 2019 -
The What-To-Ask Problem for Ontology-Based Peers Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; Rosati, R. - 02a Capitolo o Articolo
book: Description Logic, Theory Combination, and All That - (978-3-030-22101-0; 978-3-030-22102-7)
11573/1366959 - 2019 -
Acquiring Ontology Axioms through Mappings to Data Sources Di Pinto, Floriana; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: FUTURE INTERNET (Basel : MDPI) pp. - - issn: 1999-5903 - wos: WOS:000505727300001 (3) - scopus: 2-s2.0-85079695361 (3)
11573/1385656 - 2019 -
A novel approach to controlled query evaluation in DL-Lite Lembo, D.; Rosati, R.; Savo, D. F. - 04b Atto di convegno in volume
conference: 27th Italian Symposium on Advanced Database Systems, SEBD 2019 (Grosseto; Italy)
book: SEBD 2019 Italian Symposium on Advanced Database Systems - ()
11573/1276668 - 2019 -
Revisiting Controlled Query Evaluation in Description Logics Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1786-1792 - issn: 1045-0823 - wos: WOS:000761735101126 (11) - scopus: 2-s2.0-85069521776 (19)
conference: International Joint Conference on Artificial Intelligence (Macao; China)
Akerkar, R.; Ivanovic, M.; Kim, S. -W.; Manolopoulos, Y.; Rosati, R.; Savic, M.; Badica, C.; Radovanovic, M. - 02c Prefazione/Postfazione
book: WIMS '18: Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics - (978-145035489-9)
11573/1200699 - 2018 -
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, WIMS 2018 Akerkar, Rajendra; Ivanovic, Mirjana; Kim, Sang-Wook; Manolopoulos, Yannis; Rosati, Riccardo; Savic, Milos; Badica, Costin; Radovanovic, Milos - 06a Curatela
11573/1079318 - 2018 -
Ontology-Based Data Access and Integration Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02d Voce di Enciclopedia/Dizionario
book: Encyclopedia of Database Systems - (978-1-4614-8266-6; 978-1-4614-8265-9; 978-1-4614-8264-2)
11573/978649 - 2018 -
Using Ontologies for Semantic Data Integration De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 02a Capitolo o Articolo
book: A Comprehensive GuideThrough the Italian DatabaseResearch Over the Last25 Years - (978-3-319-61892-0; 978-3-319-61893-7)
11573/1184205 - 2018 -
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics Lembo, Domenico; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (Tempe, Arizona; United States)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 - ()
Xiao, Guohui; Calvanese, Diego; Kontchakov, Roman; Lembo, Domenico; Poggi, Antonella; Rosati, Riccardo; Zakharyaschev, Michael - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 5511-5519 - issn: 1045-0823 - wos: WOS:000764175405104 (133) - scopus: 2-s2.0-85052809156 (265)
conference: 27th International Joint Conference on Artificial Intelligence, IJCAI-18 (Stockholm; Sweden)
11573/969994 - 2017 -
Mapping Repair in Ontology-based Data Access Evolving Systems Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Evgenij, Thorstensen - 04c Atto di convegno in rivista
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1160-1166 - issn: 1045-0823 - wos: WOS:000764137501039 (9) - scopus: 2-s2.0-85030784265 (16)
conference: International Joint Conference on Artificial Intelligence (Melbourne; Australia)
11573/1079317 - 2017 -
Mapping Repair in Ontology-based Data Access Evolving Systems (Extended Abstract) Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij - 04b Atto di convegno in volume
conference: 2017 Joint Web Stream Processing Workshop and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution, WSP+WOMoCoE 2017 (Vienna; Austria)
book: Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017) - ()
11573/872150 - 2016 -
Query-based comparison of mappings in ontology-based data access Bienvenu, Meghyn; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016; ; 25 April 2016 through 29 April 2016; Code 125135 (Cape Town; South Africa)
book: AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning - (978-1-57735-755-1)
11573/933186 - 2016 -
Semantic analysis of R2RML mappings for ontology-based data access Civili, Cristina; Mora, Jose; Rosati, Riccardo; Ruzzi, Marco; Santarelli, Valerio - 04b Atto di convegno in volume
conference: 10th International Conference on Web Reasoning and Rule Systems, RR 2016 (Aberdeen; United Kingdom)
book: Web Reasoning and Rule Systems - (9783319452753; 978-3-319-45276-0)
11573/933181 - 2016 -
Bounded Implication for Existential Rules Civili, Cristina; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 29th International Workshop on Description Logics, DL 2016 (Cape Town; South Africa)
book: Proceedings of the 29th International Workshop on Description Logics. DL 2016 - ()
11573/933184 - 2016 -
Updating DL-Lite ontologies through first-order queries De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 15th International Semantic Web Conference, ISWC 2016 (Kobe; Japan)
book: The Semantic Web – ISWC 2016 - (9783319465227; 978-3-319-46523-4)
11573/910761 - 2016 -
Approaching OBDA Evolution through Mapping Repair Lembo, Domenico; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio; Thorstensen, Evgenij - 04b Atto di convegno in volume
conference: 29th International Workshop on Description Logics (Cape Town; South Africa)
book: DL 2016 International Workshop on Description Logics. Proceedings of the 29th International Workshop on Description Logics - ()
11573/951562 - 2015 -
Query-based comparison of OBDA specifications Bienvenu, Meghyn; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 28th International Workshop on Description Logics, DL 2015 (Athens; Greece)
book: Proceedings of the 28th International Workshop on Description Logics. DL 2015 - ()
11573/828232 - 2015 -
Data Complexity of Query Answering in Description Logics Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)
book: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015. - (978-1-57735-738-4)
11573/810643 - 2015 -
On the first-order rewritability of conjunctive queries over binary guarded existential rules Civili, Cristina; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 30th Italian Conference on Computational Logic (Genova; Italy)
book: CILC 2015 Italian Conference on Computational Logic - ()
11573/817200 - 2015 -
Mapping Analysis in Ontology-Based Data Access: Algorithms and Complexity Lembo, Domenico; Mora, Jose; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij - 04b Atto di convegno in volume
conference: 14th International Semantic Web Conference (Bethlehem; United States)
book: The Semantic Web - ISWC 2015 - (978-3-319-25006-9; 978-3-319-25007-6)
11573/828235 - 2015 -
Mapping Analysis in Ontology-based Data Access: Algorithms and Complexity (Extended Abstract) Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij - 04b Atto di convegno in volume
conference: 28th International Workshop on Description Logics (Athens; Greece)
book: Proceedings of the 28th International Workshop on Description Logics. DL 2015 - ()
11573/910802 - 2015 -
Mapping analysis in ontology-based data access: Algorithms and complexity (Discussion paper) Lembo, Domenico; Mora, José; Rosati, Riccardo; Savo, Domenico Fabio; Thorstensen, Evgenij - 04b Atto di convegno in volume
conference: 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 (Gaeta; Italy)
book: 23rd Italian Symposium on Advanced Database Systems, SEBD 2015 - (9781510810877)
11573/784115 - 2015 -
Inconsistency-tolerant Query Answering in Ontology-based Data Access Lenzerini, Maurizio; Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 01a Articolo in rivista
paper: JOURNAL OF WEB SEMANTICS (Tokyo ; St. Louis ; San Diego ; Oxford ; New York ; London ; Amsterdam ; Philadelphia ; Shannon ; Paris ; Boston : Elsevier) pp. 3-29 - issn: 1570-8268 - wos: WOS:000366564100002 (70) - scopus: 2-s2.0-84937967185 (93)
M., Giese; A., Soylu; G., Vega Gorgojo; A., Waaler; P., Haase; E., Jiménez Ruiz; D., Lanti; M., Rezk; G., Xiao; Ö., Özçep; Rosati, Riccardo - 01a Articolo in rivista
paper: COMPUTER (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 60-67 - issn: 0018-9162 - wos: WOS:000351755000019 (76) - scopus: 2-s2.0-84926034335 (105)
11573/645090 - 2014 -
Effective Computation of Maximal Sound Approximations of Description Logic Ontologies Console, Marco; José, Mora; Rosati, Riccardo; Santarelli, Valerio; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: International Semantic Web Conference (Riva del Garda)
book: The Semantic Web - (ISWC) 2014 - 13th International Semantic Web Conference - (978-3-319-11914-4)
11573/671900 - 2014 -
Kyrie2: Query Rewriting under Extensional Constraints in ELHIO J., Mora; Rosati, Riccardo; O., Corcho - 04b Atto di convegno in volume
conference: 13th International Semantic Web Conference (Riva del Garda, Italia)
book: The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference - (9783319119632)
11573/645087 - 2014 -
Towards Mapping Analysis in Ontology-Based Data Access Lembo, Domenico; José, Mora; Rosati, Riccardo; Savo, Domenico Fabio; Evgenij, Thorstensen - 04b Atto di convegno in volume
conference: Web Reasoning and Rule Systems (Athens)
book: Web Reasoning and Rule Systems - 8th International Conference (RR) - (978-3-319-11112-4)
11573/645081 - 2014 -
Visualization and Management of Mappings in Ontology-based Data Access (Progress Report) Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio; Emanuele, Tocci - 04b Atto di convegno in volume
conference: Description Logics (DL) (Vienna)
book: Informal Proceedings of the 27th International Workshop on Description Logics - ()
11573/671899 - 2014 -
Proceedings of the 27th International Workshop on Description Logics M., Bienvenu; M., Ortiz; Rosati, Riccardo; M., Simkus - 06a Curatela
paper: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. - - issn: 1613-0073 - wos: (0) - scopus: (0)
11573/671901 - 2014 -
Tractable Approaches to Consistent Query Answering in Ontology-Based-Data Access Rosati, Riccardo - 04b Atto di convegno in volume
conference: 29th Italian Conference on Computational Logic (Torino, Italia)
book: Proceedings of the 29th Italian Conference on Computational Logic - ()
11573/537274 - 2013 -
MASTRO STUDIO: Managing ontology-based data access applications Civili, Cristina; Console, Marco; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Lepore, Lorenzo; Mancini, Riccardo; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Santarelli, Valerio; Savo, Domenico Fabio - 01a Articolo in rivista
paper: PROCEEDINGS OF THE VLDB ENDOWMENT (New York, NY : Association for Computing Machinery) pp. 1314-1317 - issn: 2150-8097 - wos: (0) - scopus: 2-s2.0-84891108628 (53)
11573/543869 - 2013 -
Synthesizing extensional constraints in Ontology-based Data Access Console, Marco; Lenzerini, Maurizio; Mancini, Riccardo; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: 26th International Workshop on Description Logics, DL 2013 (Ulm)
book: Description Logics - ()
11573/516213 - 2013 -
Optimizing query rewriting in ontology-based data access Di Pinto, Floriana; Lembo, Domenico; Lenzerini, Maurizio; Mancini, Riccardo; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 16th International Conference on Extending Database Technology, EDBT 2013 (Genoa, Italy)
book: Proceedings of the 16th International Conference on Extending Database Technology - (9781450315975)
11573/910854 - 2013 -
Optimization of query rewriting in ontology-based data access Di Pinto, Floriana; Lembo, Domenico; Lenzerini, Maurizio; Mancini, Riccardo; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 21st Italian Symposium on Advanced Database Systems, SEBD 2013 (Roccella Jonica, Reggio Calabria, ita)
book: 21st Italian Symposium on Advanced Database Systems, SEBD 2013 - (9781629939490)
11573/516112 - 2013 -
Data complexity of query answering in description logics Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 335-360 - issn: 0004-3702 - wos: WOS:000315839600013 (78) - scopus: 2-s2.0-84878317837 (124)
Enrico, Franconi; Claudio, Gutierrez; Alessandro, Mosca; Pirro', Giuseppe; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 12th International Semantic Web Conference, ISWC 2013 (Sydney, NSW)
book: The Semantic Web - ISWC 2013 - (9783642413346; 9783642413353)
11573/671897 - 2013 -
Optique: Towards OBDA Systems for Industry Evgeny, Kharlamov; Ernesto Jimenez, Ruiz; Dmitriy, Zheleznyakov; Dimitris, Bilidas; Martin, Giese; Peter, Haase; Ian, Horrocks; Herald, Kllapi; Manolis, Koubarakis; Ozgur, Ozcep; Mariano Rodriguez, Muro; Rosati, Riccardo; Michael, Schmidt; Rudolf, Schlatte; Ahmet, Soylu; Arild, Waaler - 04b Atto di convegno in volume
conference: ESWC 2013 Satellite Events: The Semantic Web (Montpellier)
book: The Semantic Web: ESWC 2013 Satellite Events - (9783642412417; 9783642412424)
11573/951561 - 2013 -
The logic of extensional RDFS (Extended abstract) Franconi, Enrico; Gutierrez, Claudio; Mosca, Alessandro; Pirrò, Giuseppe; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 21st Italian Symposium on Advanced Database Systems, SEBD 2013 (Roccella Jonica, Reggio Calabria; Italy)
book: 21st Italian Symposium on Advanced Database Systems, SEBD 2013 - (9781629939490)
Giese, M.; Calvanese, D.; Haase, P.; Horrocks, I.; Ioannidis, Y.; Kllapi, H.; Koubarakis, M.; Lenzerini, M.; Moller, R.; Muro, M. R.; Ozcep, O.; Rosati, R.; Schlatte, R.; Schmidt, M.; Soylu, A.; Waaler, A. - 02a Capitolo o Articolo
book: Big Data Computing - (9780429101366; 978-146657837-1)
11573/516536 - 2013 -
Tractable approximations of consistent query answering for robust ontology-based data access M., Bienvenu; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 (Beijing)
book: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) - (9781577356332)
11573/671847 - 2013 -
New inconsistency-tolerant semantics for robust ontology-based data access M., Bienvenu; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 26th International Workshop on Description Logics, DL 2013 (Ulm)
book: Proceedings of the 26th International Workshop on Description Logics - ()
11573/542543 - 2013 -
Optique System: towards ontology and mapping management in OBDA solutions P., Haase; I., Horrocks; D., Hovland; T., Hubauer; E., Jiménez Ruiz; E., Kharlamov; J. W., Klüwer; C., Pinkel; Rosati, Riccardo; V., Santarelli; A., Soylu; D., Zheleznyakov - 04b Atto di convegno in volume
book: WoDOOM - ()
11573/463299 - 2012 -
Experiences in mapping the business intelligence model to description logics, and the case for parametric concepts A., Borgida; J., Horkoff; J., Mylopoulos; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 25th International Workshop on Description Logics, DL 2012 (Rome)
book: Proceedings of the 2012 International Workshop on Description Logics, DL-2012 - ()
Civili, Cristina; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 6th International Conference on Web Reasoning and Rule Systems - RR 2012 (Vienna, Austria)
book: Web Reasoning and Rule Systems - 6th International Conference, RR 2012 - (9783642332029; 9783642332036)
11573/501905 - 2012 -
A broad class of first-order rewritable tuple-generating dependencies Civili, Cristina; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0 (Vienna)
book: Datalog in Academia and Industry - Second International Workshop - Datalog 2.0 - (9783642329241; 9783642329258)
11573/484867 - 2012 -
Verification of conjunctive artifact-centric services De Giacomo, Giuseppe; De Masellis, Riccardo; Rosati, Riccardo - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 111-139 - issn: 0218-8430 - wos: WOS:000307022800002 (16) - scopus: 2-s2.0-84864572151 (21)
11573/485095 - 2012 -
Mastro: A reasoner for effective ontology-based data access De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 1st International Workshop on OWL Reasoner Evaluation 2012, ORE 2012 - In Conjunction with the 6th International Joint Conference on Automated Reasoning, IJCAR 2012 (Manchester)
book: Proceedings of the OWL Reasoner Evaluation Workshop (ORE 2012) - ()
11573/485096 - 2012 -
Mastro: Ontology-based data access at work (extended abstract) De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: Confederated International Workshops on On the Move to Meaningful Internet Systems, OTM 2012: OTM Academy, Industry Case Studies Program, EI2N 2012, INBAST 2012, META4eS 2012, OnToContent 2012, ORM 2012, SeDeS 2012, SINCOM 2012, and SOMOCO 2012 (Rome)
book: Proc. of 11th Int. Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE'12) - (9783642336171; 9783642336188)
11573/484799 - 2012 -
Ontology-based data access with dynamic TBoxes in DL-lite Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12 (Toronto, ON)
book: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada - (9781577355687)
11573/42113 - 2012 -
View-based query answering in Description Logics: Semantics and complexity Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 26-46 - issn: 0022-0000 - wos: WOS:000297833200004 (23) - scopus: 2-s2.0-81955168130 (35)
11573/463283 - 2012 -
Inconsistency-tolerant first-order rewritability of DL-lite with identification and denial assertions Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 25th International Workshop on Description Logics, DL 2012 (Rome)
book: Proceedings of the 2012 International Workshop on Description Logics, DL-2012 - ()
11573/463245 - 2012 -
Prexto: Query rewriting under extensional constraints in DL - Lite Rosati, Riccardo - 02a Capitolo o Articolo
conference: 9th Extended Semantic Web Conference, ESWC 2012 (Heraklion, Crete)
book: The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012 - (9783642302831; 9783642302848)
11573/463273 - 2012 -
Query rewriting under extensional constraints in DL-lite Rosati, Riccardo - 04b Atto di convegno in volume
conference: 25th International Workshop on Description Logics, DL 2012 (Rome)
book: Proceedings of the 2012 International Workshop on Description Logics, DL-2012 - ()
11573/463375 - 2012 -
Generalized ontology-based production systems Rosati, Riccardo; E., Franconi - 04b Atto di convegno in volume
conference: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (Rome)
book: Proceedings of the 13th international conference on principles of knowledge representation and reasoning - (9781577355601)
11573/501809 - 2012 -
Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies Rosati, Riccardo; Ruzzi, Marco; Mirko, Graziosi; Giulia, Masotti - 04b Atto di convegno in volume
conference: 11th International Semantic Web Conference, ISWC 2012 (Boston, MA)
book: The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference - (9783642351723; 9783642351730)
11573/416354 - 2011 -
Higher-order description logics for domain metamodeling De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 (San Francisco, CA)
book: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011 - (9781577355083)
11573/416353 - 2011 -
Mapping data to higher-order description logic knowledge bases Di Pinto, Floriana; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 24th International Workshop on Description Logics, DL 2011 (Barcelona)
book: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 - ()
11573/400169 - 2011 -
The MASTRO system for ontology-based data access Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; M., Rodriguez Muro; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 01a Articolo in rivista
paper: SEMANTIC WEB (SAGE Publications
Amsterdam: IOP press) pp. 43-53 - issn: 1570-0844 - wos: WOS:000209436400006 (121) - scopus: 2-s2.0-79957998180 (233)
11573/417961 - 2011 -
Actions and Programs over Description Logic Knowledge Bases: A Functional Approach Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Knowing, Reasoning and Acting: Essays in Honor of Hector J. Levesque - (9781848900448)
11573/417763 - 2011 -
Practical ABox cleaning in DL-Lite (progress report) G., Masotti; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: 24th International Workshop on Description Logics, DL 2011 (Barcelona; Spain)
book: CEUR Workshop Proceedings - ()
11573/377990 - 2011 -
Query rewriting for inconsistent DL-lite ontologies Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 5th International Conference on Web Reasoning and Rule Systems, RR 2011 (Galway)
book: Proceedings of the fifth International Conference on Web Reasoning and Rule Systems (RR 2011) - (9783642235795; 9783642235801)
11573/501357 - 2011 -
Inconsistency-tolerant semantics for description logic ontologies (Extended abstract)? Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 19th Italian Symposium on Advanced Database Systems, SEBD 2011 (Maratea)
book: Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems - ()
11573/124156 - 2011 -
On the finite controllability of conjunctive query answering in databases under open-world assumption Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF COMPUTER AND SYSTEM SCIENCES (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 572-594 - issn: 0022-0000 - wos: WOS:000288474800008 (20) - scopus: 2-s2.0-79952360524 (30)
conference: 11th International Symposium on Database Programming Languages (Vienna, AUSTRIA)
11573/417706 - 2011 -
On the complexity of dealing with inconsistency in description logic ontologies Rosati, Riccardo - 04b Atto di convegno in volume
conference: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 (Barcelona, Catalonia)
book: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) - (9781577355120)
11573/463329 - 2011 -
Proceedings of the 24th international workshop on Description Logics (DL 2011) Rosati, Riccardo; S., Rudolph; M., Zakharyaschev - 06a Curatela
paper: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. - - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84872935487 (0)
11573/125313 - 2010 -
Reconciling Description Logics and Rules Boris, Motik; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 30:1-30:60 - issn: 0004-5411 - wos: WOS:000279362600004 (125) - scopus: 2-s2.0-77953974788 (228)
Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco - 02a Capitolo o Articolo
book: Semantic Web Information Management. A Model-Based Perspective - (9783642043284; 9783642043291)
11573/56481 - 2010 -
Inconsistency-tolerant semantics for description logics Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo; Ruzzi, Marco; Savo, Domenico Fabio - 04b Atto di convegno in volume
conference: 4th International Conference on Web Reasoning and Rule Systems, RR 2010 (Bressanone/Brixen)
book: Web Reasoning and Rule Systems - Fourth International Conference (RR 2010) - (9783642159176; 9783642159183)
Piero, Cangialosi; De Masellis, Riccardo; De Giacomo, Giuseppe; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 8th International Conference on Service Oriented Computing, ICSOC 2010 (San Francisco, CA)
book: Proceedings of the 8th International Conference of Service Oriented Computing (ICSOC'10) - (9783642173578; 9783642173585)
11573/206862 - 2010 -
Improving query answering over DL-Lite ontologies Rosati, Riccardo; A., Almatelli - 04b Atto di convegno in volume
conference: 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010 (Toronto; Canada)
book: Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) - (9781577354512)
11573/360940 - 2009 -
On Instance-level Update and Erasure in Description Logic Ontologies De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 745-770 - issn: 0955-792X - wos: WOS:000270218800003 (27) - scopus: 2-s2.0-70349478759 (49)
De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
paper: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. - - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-84872947540 (2)
conference: 22nd International Workshop on Description Logics, DL 2009 (Oxford; United Kingdom)
book: Proceedings of the 22st International Workshop on Description Logics (DL'09) - ()
11573/400173 - 2009 -
Ontologies and databases: The dl-lite approach Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Mariano Rodriguez, Muro; Rosati, Riccardo - 02a Capitolo o Articolo
conference: 5th International Summer School on Reasoning Web: Semantic Technologies for Information Systems (Brixen-Bressanone)
book: Reasoning Web. Semantic Technologies for Information Systems - (9783642037535; 9783642037542)
11573/224908 - 2009 -
Conceptual Modeling for Data Integration Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos - LNCS - (9783642024627; 9783642024634)
11573/228407 - 2009 -
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty Iocchi, Luca; Thomas, Lukasiewicz; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-41 - issn: 1529-3785 - wos: WOS:000263492300005 (15) - scopus: 2-s2.0-59449099833 (18)
11573/206861 - 2009 -
Effective Ontology-Based Data Integration Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 18-18 - issn: 0302-9743 - wos: (0) - scopus: (0)
conference: The 2009 Workshop on Ambient Data Integration (ADI 2009) (Vilamoura, Portogallo)
book: Proceedings of the 2009 Workshop on Ambient Data Integration (ADI 2009) - (9783642052897; 9783642052903)
11573/224305 - 2008 -
Path-based Identification Constraints in Description Logics Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 11th International Conference on Principles of Knowledge Representation and Reasoning (Sydney, Australia)
book: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference (KR 2008) - (9781577353843)
11573/362824 - 2008 -
Data Integration through DL-LiteA Ontologies D., Calvanese D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: 3rd Int. Workshop on Semantics in Data and Knowledge Bases (Nantes, France)
book: Semantics in Data and Knowledge Bases, Third International Workshop, Revised Selected Papers - (9783540885931)
11573/194262 - 2008 -
Towards Higher-Order DL-Lite (Preliminary Report) De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 21st Int. Workshop on Description Logics (DL'08) (Dresden; Germany)
book: Proceedings of the 21st Int. Workshop on Description Logics (DL'08), 2008. - ()
11573/225608 - 2008 -
Inconsistency tolerance in P2P data integration: An epistemic logic approach Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 360-384 - issn: 0306-4379 - wos: WOS:000256864900003 (16) - scopus: 2-s2.0-43049138060 (35)
conference: 10th International Symposium on Database Programming Languages (Trondheim, NORWAY)
11573/226913 - 2008 -
View-based Query Answering over Description Logic Ontologies Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 11th International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 (Sydney; Australia)
book: Proceedings of the 11th Int. Conference on Principles of Knowledge Representation and Reasoning (KR'08) - (9781577353843)
Poggi, Antonella; Lembo, Domenico; Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL ON DATA SEMANTICS (Heidelberg ; Berlin : Springer) pp. 133-173 - issn: 1861-2032 - wos: (0) - scopus: 2-s2.0-49949109970 (400)
book: Journal on Data Semantics X - ()
Rosati, Riccardo - 04b Atto di convegno in volume
conference: 5th European Semantic Web Conference, ESWC 2008 (Tenerife, Canary Islands)
book: Proceedings of the Fifth European Semantic Web Conference (ESWC 2008) - (9783540682332; 9783540682349)
11573/206676 - 2008 -
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules Rosati, Riccardo - 04b Atto di convegno in volume
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 13-27 - issn: 0302-9743 - wos: WOS:000263140500002 (8) - scopus: 2-s2.0-57049127637 (12)
conference: 2nd International Conference on Web Reasoning and Rule Systems (Karlsruhe; Germany)
book: Web Reasoning and Rule Systems, Second International Conference (RR 2008) - (9783540887362; 9783540887379)
11573/233544 - 2007 -
EQL-Lite: Effective first-order query processing in Description Logics Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (Hyderabad; India)
book: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007) - (0127056610)
11573/358605 - 2007 -
MASTRO-I: Efficient integration of relational data through DL ontologies D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th Int. Workshop on Description Logics (Bressanone)
book: Proceedings of the 20th Int. Workshop on Description Logics - ()
D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 15th Italian Symposium on Advanced Database Systems, SEBD 2007 (Torre Canne di Fasano, BR)
book: Proceedings of the fifteenth Italian Symp. on Advanced Database Systems - (9788890298103)
D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proc. of the Workshop on OWL: Experiences and Directions (OWLED 2007) - ()
11573/235723 - 2007 -
On reconciling data exchange, data integration, and peer data management De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2007 (Beijing)
book: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2007) - (9781595936851)
11573/368153 - 2007 -
On the approximation of instance level update and erasure in description logics De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference (Vancouver, BC)
book: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI 2007) - (9781577353232)
11573/239834 - 2007 -
Tractable reasoning and efficient query answering in description logics: The DL-Lite family Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF AUTOMATED REASONING (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 385-429 - issn: 0168-7433 - wos: WOS:000249120300006 (648) - scopus: 2-s2.0-34548305118 (1250)
11573/233904 - 2007 -
Actions and programs over description logic ontologies Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th International Workshop on Description Logics, DL 2007 (Bressanone, Italy)
book: Proceedings of the 2007 International Workshop on Description Logics (DL2007) - ()
11573/206851 - 2007 -
Checking e-service consistency using Description Logics Dragone, L; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2007 IEEE International Conference on Services Computing (SCC 2007) (Salt Lake City; United States)
book: Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007) - (0769529259)
11573/206019 - 2007 -
A faithful integration of Description Logics with Logic Programming Motik, B; Rosati, Riccardo - 04b Atto di convegno in volume
conference: Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007) (Hyderabad; India)
book: Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007) - ()
11573/125256 - 2007 -
Multi-modal Nonmonotonic Logics of Minimal Knowledge Rosati, Riccardo - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 169-185 - issn: 1012-2443 - wos: WOS:000247462900004 (0) - scopus: 2-s2.0-34250846503 (0)
Rosati, Riccardo - 04b Atto di convegno in volume
conference: Eleventh International Conference on Database Theory (ICDT 2007) (Barcellona, Spagna)
book: Proceedings of the Eleventh International Conference on Database Theory (ICDT 2007) - ()
Rosati, Riccardo - 04b Atto di convegno in volume
conference: The 2007 International Workshop on Description Logic (DL 2007) (Bressanone, Italia)
book: Proceedings of the 2007 International Workshop on Description Logic (DL 2007) - ()
11573/231256 - 2006 -
Data management in peer-to-peer data integration systems Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Global Data Management - (9781586036294)
11573/234227 - 2006 -
Data complexity of query answering in description logics Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006 (Lake District; United Kingdom)
book: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006) - (9781577352716)
11573/235616 - 2006 -
Epistemic First-Order Queries over Description Logic Knowledge Bases D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proc. of the 2006 Description Logic Workshop (DL 2006) - ()
11573/193753 - 2006 -
Dealing with inconsistencies and incompleteness in database update (position paper) De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: IIDB’06 ()
book: Proceedings of the International Workshop on Inconsistency and Incompleteness in Databases (IIDB’06) - ()
11573/368224 - 2006 -
On the update of description logic ontologies at the instance level De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06 (Boston, MA)
book: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference (AAAI'06) - (9781577352815)
11573/367367 - 2006 -
Linking Data to Ontologies: The Description Logic DL-LiteA Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo - 04b Atto di convegno in volume
conference: OWL: Experiences and Directions (Athens, Georgia, USA)
book: Proceedings of the OWL: Experiences and Directions 2006 - ()
11573/238055 - 2006 -
Enterprise modeling and Data Warehousing in TELECOM ITALIA Diego, Calvanese; Luigi, Dragone; Nardi, Daniele; Rosati, Riccardo; Stefano M., Trisolini - 01a Articolo in rivista
paper: INFORMATION SYSTEMS (Elsevier Science Limited:Oxford Fulfillment Center, PO Box 800, Kidlington Oxford OX5 1DX United Kingdom:011 44 1865 843000, 011 44 1865 843699, EMAIL: asianfo@elsevier.com, tcb@elsevier.co.UK, INTERNET: http://www.elsevier.com, http://www.elsevier.com/locate/shpsa/, Fax: 011 44 1865 843010) pp. 1-32 - issn: 0306-4379 - wos: WOS:000232998400001 (13) - scopus: 2-s2.0-26044444463 (22)
11573/206016 - 2006 -
Can OWL and logic programming live together happily ever after? Horrocks, I; Motik, B; Rosati, Riccardo; Sattler, U. - 04b Atto di convegno in volume
conference: Fifth International Semantic Web Conference (ISWC 2006) (Athens, Georgia, U.S.A.)
book: Proceedings of the Fifth International Semantic Web Conference (ISWC 2006) - ()
11573/367071 - 2006 -
On the first-order reducibility of unions of conjunctive queries over inconsistent databases Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: 10th International Conference on Extending Database Technology (Munich; Germany)
book: CURRENT TRENDS IN DATABASE TECHNOLOGY - EDBT 2006 - (9783540467885)
Lutz, Carsten; Baader, Franz; Franconi, Enrico; Lembo, Domenico; Möller, Ralf; Rosati, Riccardo; Sattler, Ulrike; Suntisrivaraporn, Boontawee; Tessaris, Sergio - 04b Atto di convegno in volume
conference: Workshop on OWL: Experiences and Directions, OWLED 2006 (Athens, GA, USA)
11573/206015 - 2006 -
On the decidability and finite controllability of query processing in databases with incomplete information Rosati, Riccardo - 04b Atto di convegno in volume
conference: 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2006 (Chicago, IL)
book: Proceedings of the Twentyfifth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2006) - (9781595933188)
11573/206020 - 2006 -
Integrating ontologies and rules: semantic and computational issues Rosati, Riccardo - 04b Atto di convegno in volume
conference: Reasoning Web 2006 (Lisbona, Portogallo)
book: Reasoning Web 2006 - ()
11573/206199 - 2006 -
The limits and possibilities of combining description logics and datalog Rosati, Riccardo - 04b Atto di convegno in volume
conference: RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (Athens, GA)
book: Proceedings of the Second International Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006) - (9780769526522)
11573/52062 - 2006 -
DL+log: Tight integration of Description Logics and Disjunctive Datalog Rosati, Riccardo - 04b Atto di convegno in volume
conference: Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (Lake District; United Kingdom)
book: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) - (978-157735271-6)
11573/234260 - 2005 -
A comprehensive semantic framework for data integration systems A., Cali'; Lembo, Domenico; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF APPLIED LOGIC (Elsevier) pp. 308-328 - issn: 1570-8683 - wos: (0) - scopus: 2-s2.0-18644373214 (7)
Acciarri, A; Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Palmieri, M; Rosati, Riccardo - 04b Atto di convegno in volume
book: In Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)
11573/193744 - 2005 -
QuOnto: Querying Ontologies (demo report). Andrea, Acciarri; Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Mattia, Palmieri; Rosati, Riccardo - 04b Atto di convegno in volume
conference: The Twentieth National Conference on Artificial Intelligence (Pittsburgh, Pennsylvania, USA)
book: Proceedings, The Twentieth National Conference on Artificial Intelligence - AAAI'05 - ()
11573/235421 - 2005 -
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 10th International Symposium on Database Programming Languages (Trondheim, Norvegia)
book: Database Programming Languages, 10th International Symposium, Revised Selected Papers - (9783540309512)
11573/235886 - 2005 -
DL-Lite: Tractable Description Logics for Ontologies Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 (Pittsburgh; United States)
book: Proceedings of the Twentieth Conference of the American Association for Artificial Intelligence (AAAI 2005) - (9781577352365)
11573/910906 - 2005 -
Efficiently managing data intensive ontologies Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2nd Italian Workshop on Semantic Web Applications and Perspectives, SWAP 2005 (Trento, Italia)
11573/233444 - 2005 -
Data complexity of query answering in description logics D., Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 2005 International Workshop on Description Logics, DL 2005 (Edinburgh, Scotland)
book: Proceedings of the 2005 Description Logic Workshop - ()
11573/234542 - 2005 -
Tailoring OWL for data intensive ontologies Diego, Calvanese; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions - ()
11573/52016 - 2005 -
Experimenting efficient query answering over inconsistent databases Grieco, L; Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: Thirteenth Italian Symposium on Advanced Database Systems (SEBD 2005) (Bressanone; Italy)
book: Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems (SEBD 2005) - (8854801224)
11573/417211 - 2005 -
Generation of Strong Cyclic Plans with Incomplete Information and Sensing Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: INTELLIGENZA ARTIFICIALE (Associazione Italiana per l'Intelligenza Artificiale) pp. 58-65 - issn: 1724-8035 - wos: (0) - scopus: (0)
11573/910913 - 2005 -
Boosting information integration: The INFOMIX system Leone, Nicola; Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Gottlob, Georg; Greco, Gianluigi; Kalka, Edyta; Ianni, Giovambattista; Lembo, Domenico; Lio, Vincenzino; Nowicki, Bartosz; Rosati, Riccardo; Ruzzi, Marco; Smetannikov, Alexei; Soloviev, Eugene N.; Staniszkis, Witold; Terracina, Giorgio - 04b Atto di convegno in volume
conference: 13th Italian Symposium on Advanced Database Systems, SEBD 2005 (Bressanone, Bolzano, ita)
book: SEBD 2005 - Proceedings of the 13th Italian Symposium on Advanced Database Systems - (8854801224)
11573/366728 - 2005 -
Consistent query answering under key and exclusion dependencies: Algorithms and experiments Luca, Grieco; Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: CIKM'05 - Proceedings of the 14th ACM International Conference on Information and Knowledge Management (Bremen; Germany)
book: Proceedings of the 14th ACM International Conference on Knowledge Management (CIKM 2005) - (9781595931405)
11573/367056 - 2005 -
The INFOMIX system for advanced integration of incomplete and inconsistent data Nicola, Leone; G., Greco; G., Ianni; V., Lio; G., Terracina; T., Eiter; W., Faber; M., Fink; G., Gottlob; Rosati, Riccardo; Lembo, Domenico; Lenzerini, Maurizio; Ruzzi, Marco; Edyta, Kalka; Bartosz, Nowicki; Witold, Staniszkis - 04b Atto di convegno in volume
conference: SIGMOD 2005: ACM SIGMOD International Conference on Management of Data (Baltimore, MD)
book: Proc. of the ACM SIGMOD Conf. 2005 - (9781595930606)
11573/357752 - 2005 -
Data integration: a challenging ASP application Nicola, Leone; Thomas, Eiter; Wolfgang, Faber; Michael, Fink; Georg, Gottlob; Luigi, Granata; Gianluigi, Greco; E., Kalka; Giovambattista, Ianni; Lembo, Domenico; Lenzerini, Maurizio; Vincenzino, Lio; Bartosz, Nowicki; Rosati, Riccardo; Ruzzi, Marco; Witold, Staniszkis; Giorgio, Terracina - 04b Atto di convegno in volume
conference: 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005 (Diamante; Italy)
book: Proc. of the 8th int. Conf. on Logic Programming and Non-monotonic Reasoning (LPNMR 2005) - (9783540285380; 9783540318279)
11573/125059 - 2005 -
On the decidability and complexity of integrating ontologies and rules Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF WEB SEMANTICS (Tokyo ; St. Louis ; San Diego ; Oxford ; New York ; London ; Amsterdam ; Philadelphia ; Shannon ; Paris ; Boston : Elsevier) pp. 41-60 - issn: 1570-8268 - wos: WOS:000234859900005 (95) - scopus: 2-s2.0-21244492715 (140)
11573/52011 - 2005 -
Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules Rosati, Riccardo - 04b Atto di convegno in volume
conference: Third International Workshop on Principles and Practice of Semantic Web Reasoning (Dagstuhl, Germania)
book: Proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2005) - ()
11573/52009 - 2005 -
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic Rosati, Riccardo; Gottlob, G. - 04b Atto di convegno in volume
conference: Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005) (Edinburgh; United Kingdom)
book: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005) - ()
11573/363992 - 2004 -
Experimenting Data Integration with DIS@DIS Cali, A; Lembo, Domenico; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
book: Proceedings of the 16th International Conference on Advanced Information Systems Engineering, CAiSE 2004 - (9783540221517)
11573/206847 - 2004 -
Query Reformulation over Ontology-based Peers Calvanese, D.; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, SEBD 2004 - ()
11573/240273 - 2004 -
DL-Lite: Practical Reasoning for Rich DLs Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo; Vetere, G. - 04a Atto di comunicazione a congresso
book: Proceedings of the 2004 Description Logics Workshop (DL’04) - ()
11573/232368 - 2004 -
What to ask to a peer: Ontology-based query reformulation Calvanese, D; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 9th International Conference on the Principles of Knowledge Representation and Reasoning (Whistler, Canada)
book: Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2004) - (9781577351993)
11573/235890 - 2004 -
Tackling inconsistencies in data integration through source preferences De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: International Workshop on Information Quality in Information Systems, IQIS 2004, Held in Conjunction with the 23rd ACM SIGMOD International Conference on Management of Data (Paris)
book: Proceedings of the 2004 International Workshop on Information Quality in Information Systems - (9781581139020)
11573/233440 - 2004 -
Logical Foundations of Peer-To-Peer Data Integration Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: the twenty-third ACM SIGMOD-SIGACT-SIGART symposium (Parigi, Francia)
book: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - (9781581138580)
11573/197633 - 2004 -
Hyper:
A Framework for Peer-To-Peer Data Integration on Grids Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo; Guido, Vetere - 04a Atto di comunicazione a congresso
conference: Int. Conf. on Semantics of a Networked World: Semantics for Grid Databases (ICSNW'04) (Paris, France,)
book: Semantics for Grid Databases, First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers - LNCS - ()
11573/167080 - 2004 -
Semantic data integration in P2P systems Diego, Calvanese; Elio, Damaggio; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Databases, Information Systems, and Peer-to-Peer Computing, First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers - LNCS - (9783540209683)
11573/233438 - 2004 -
Reasoning about actions with sensing under qualitative and probabilistic uncertainty Iocchi, Luca; T., Lukasiewicz; Nardi, Daniele; Rosati, Riccardo - 04c Atto di convegno in rivista
paper: FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS (Amsterdam : IOS : Springfield) pp. 818-822 - issn: 0922-6389 - wos: WOS:000225505100158 (0) - scopus: 2-s2.0-85017332846 (11)
conference: 16th European Conference on Artificial Intelligence (Valencia; SPAIN)
11573/417205 - 2004 -
Qualitative and probabilistic uncertainty in reasoning about actions with sensing Iocchi, Luca; Thomas, Lukasiewicz; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
conference: 10th International Workshop on Non-Monotonic Reasoning (Whistler; Canada)
book: Proc. of 10th International Workshop on Non-Monotonic Reasoning (NMR 2004) - (9789299002100)
11573/248082 - 2003 -
Source Integration for Data Warehousing A., Calì; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: Multidimensional Databases: Problems and Solutions - (1591400538; 9781591400530)
11573/251470 - 2003 -
Query rewriting and answering under constraints in data integration systems A., Cali'; Lembo, Domenico; Rosati, Riccardo - 04b Atto di convegno in volume
conference: Eighteenth International Joint Conference on Artificial Intelligence (Acapulco, Mexico)
book: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003) - (0127056610)
11573/251921 - 2003 -
On the decidability and complexity of query answering over inconsistent and incomplete databases A., Cali'; Lembo, Domenico; Rosati, Riccardo - 04b Atto di convegno in volume
conference: Twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (San Diego, California, USA)
book: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (PODS 2003) - (9781581136708)
11573/58480 - 2003 -
Intensional query processing in data integration systems under integrity constraints A., Calì; Lembo, Domenico; Rosati, Riccardo - 04b Atto di convegno in volume
conference: Eleventh Italian Symposium on Advanced Database Systems (Cetraro (CS), Italy)
book: In Proceedings of the eleventh Italian Symposium on Advanced Database Systems - ()
11573/366826 - 2003 -
Dis@Dis: un sistema per l'integrazione semantica dei dati in presenza di vincoli di integrità A., Calì; S., De Nigris; Lembo, Domenico; G., Messineo; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: Eleventh Italian Symp. on Advanced Database Systems (Cetraro (CS), Italy)
book: Proceedings of the Eleventh Italian Symp. on Advanced Database Systems - (8849806299)
11573/58479 - 2003 -
DIS@DIS: a System for Semantic Data Integration under Integrity Constraints A., Calì; S., De Nigris; Lembo, Domenico; G., Messineo; Rosati, Riccardo; Ruzzi, Marco - 04b Atto di convegno in volume
conference: 4th Int. Conf. on Web Information Systems Engineering (Rome, Italy)
book: Proceedings of the 4th International Conference on Web Information Systems Engineering - (0769519997)
Alexander, Borgida; Lenzerini, Maurizio; Rosati, Riccardo - 02a Capitolo o Articolo
book: The Description Logic Handbook: Theory, Implementation and Applications - (9780521781763)
11573/483619 - 2003 -
Strong Cyclic Planning with Incomplete Information and Sensing Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 02a Capitolo o Articolo
book: 4th International Workshop on Planning and Scheduling for Space - ()
11573/125057 - 2003 -
Minimal belief and negation as failure in multi-agent systems Rosati, Riccardo - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 5-32 - issn: 1012-2443 - wos: WOS:000177979000002 (2) - scopus: 2-s2.0-0037209506 (3)
11573/249412 - 2002 -
Design and Implementation of Cognitive Soccer Robots C., Castelpietra; A., Guidotti; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: LECTURE NOTES IN COMPUTER SCIENCE (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 312-318 - issn: 0302-9743 - wos: (0) - scopus: 2-s2.0-49949090168 (6)
conference: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 (Seattle, WA)
book: RoboCup 2001: Robot Soccer World Cup V - (9783540439127)
11573/125058 - 2002 -
Tecniche di analisi degli utenti di portali web adattativi Dragone, L.; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: AIIA NOTIZIE (Roma: s. n., 1988-2003) pp. 30-41 - issn: - wos: (0) - scopus: (0)
11573/76642 - 2002 -
Tecniche di analisi di portali Web adattativi Dragone, L.; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: AIIA NOTIZIE (Roma: s. n., 1988-2003) pp. 30- - issn: - wos: (0) - scopus: (0)
11573/248879 - 2002 -
Generation and Execution of Partially Correct Plans in Dynamic Environments Farinelli, A.; Grisetti, Giorgio; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Proc. of 3rd International Cognitive Robotics Workshop (COGROB) - ()
11573/251804 - 2002 -
Description Logics of Minimal Knowledge and Negation as Failure Francesco M., Donini; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 177-225 - issn: 1529-3785 - wos: (0) - scopus: 2-s2.0-78650230253 (208)
11573/58482 - 2002 -
Source inconsistency and incompleteness in data integration Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
book: Proceedings of the 9th International Workshop on Knowledge Representation meets Databases - ()
11573/58503 - 2002 -
Integrating inconsistent and incomplete data sources Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo - 04b Atto di convegno in volume
conference: SEBD 2002 (Portoferraio (LI), Italy)
book: Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati - ()
Diego, Calvanese; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 237-271 - issn: 0218-8430 - wos: WOS:000169851800002 (51) - scopus: 2-s2.0-0035588024 (88)
Leone, N.; Rosati, Riccardo; Scarcello, F. - 04a Atto di comunicazione a congresso
book: IJCAI'01 Workshop on Planning under Uncertainty and Incomplete information - ()
11573/125049 - 2001 -
A sound and complete tableau calculus for reasoning about only knowing and knowing at most Rosati, Riccardo - 01a Articolo in rivista
paper: STUDIA LOGICA (London ; Dordrecht ; Boston ; Warszawa : Pa'nstwowe Wydawnictwo Naukowe : Kluwer Academic Publishers) pp. 171-191 - issn: 0039-3215 - wos: (0) - scopus: 2-s2.0-22944477931 (6)
11573/125055 - 2000 -
Modellazione e qualità dei dati in sistemi di Data Warehouse Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: AIIA NOTIZIE (Roma: s. n., 1988-2003) pp. 68-75 - issn: - wos: (0) - scopus: (0)
11573/250989 - 2000 -
Coordination in multi-agent autonomous cognitive robotic systems Castelpietra, C.; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Second International Cognitive Robotics Workshop (Cogrob2000) - ()
11573/202076 - 2000 -
Reasoning about concurrent actions and hexogeneous events Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: KR-2000 - ()
11573/251837 - 2000 -
Planning with Sensing, Concurrency, and Exogenous Events: Logical Framework and Implementation Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Principles of Knowledge Representation and Reasoning (KR2000) - ()
11573/133910 - 2000 -
Generalized Default Logic: Minimal knowledge, autoepistemic and default reasoning reconciled Nardi, Daniele; Rosati, Riccardo - 02a Capitolo o Articolo
paper: LECTURE NOTES IN COMPUTER SCIENCE (Heidelberg ; Berlin : Springer) pp. 1-12 - issn: 1611-3349 - wos: WOS:000170556300001 (0) - scopus: 2-s2.0-77951987287 (0)
conference: 6th Congress of the Italian Association for Artificial Intelligence, AI*IA 99 (Bologna, ita)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (3540673504)
11573/125202 - 2000 -
On the decidability and complexity of reasoning about only knowing Rosati, Riccardo - 01a Articolo in rivista
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. 193-215 - issn: 0004-3702 - wos: WOS:000085125500006 (7) - scopus: 2-s2.0-0033881953 (13)
11573/51988 - 2000 -
Tableau calculus for only knowing and knowing at most Rosati, Riccardo - 04b Atto di convegno in volume
conference: International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) (ST ANDREWS, SCOTLAND)
book: TABLEAUX 2000 - (9783540450085; 9783540676973)
11573/51998 - 2000 -
Minimal Belief and Negation as Failure in Multi-Agent Systems Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: CL-2000 workshop on computational logic in multi-agent systems - ()
Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 02a Capitolo o Articolo
book: Fundamentals of Data Warehouses - ()
11573/244592 - 1999 -
A theory and implementation of cognitive mobile robots De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 759-785 - issn: 0955-792X - wos: WOS:000084324700007 (8) - scopus: 2-s2.0-0033326149 (19)
11573/245906 - 1999 -
Minimal knowledge approach to reasoning about actions and Sensing De Giacomo, Giuseppe; Rosati, Riccardo - 01a Articolo in rivista
paper: ELECTRONIC TRANSACTIONS ON ARTIFICIAL INTELLIGENCE (European Coordinating Committee for Artificial Intelligence
(ECCAI)) pp. 1-18 - issn: - wos: (0) - scopus: (0)
11573/245241 - 1999 -
Data Integration and Reconciliation in Data Warehousing: Conceptual Modeling and Reasoning Support Diego, Calvanese; De Giacomo, Giuseppe; Rosati, Riccardo - 02a Capitolo o Articolo
11573/125203 - 1999 -
Reasoning about Minimal Belief and Negation as Failure Rosati, Riccardo - 01a Articolo in rivista
paper: THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (-AI ACCESS FOUNDATION, USC INFORMATION SCIENCES INST, 4676 ADMIRALITY WAY, MARINA DEL REY, USA, CA, 90292-6695
-Morgan Kaufmann Publishers:340 Pine Street, 6th Floor:San Francisco, CA 94104:(800)745-7323, (415)392-2665, EMAIL: mkp@mkp.com, Fax: (415)982-2665) pp. 277-300 - issn: 1076-9757 - wos: WOS:000083060200001 (6) - scopus: 2-s2.0-0347749399 (12)
11573/125204 - 1999 -
Reasoning about minimal knowledge in nonmonotonic modal logics Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF LOGIC, LANGUAGE, AND INFORMATION (Kluwer Academic Publishers:Journals Department, PO Box 322, 3300 AH Dordrecht Netherlands:011 31 78 6576050, EMAIL: frontoffice@wkap.nl, kluweronline@wkap.nl, INTERNET: http://www.kluwerlaw.com, Fax: 011 31 78 6576254) pp. 187-203 - issn: 0925-8531 - wos: (0) - scopus: 2-s2.0-0342283753 (2)
11573/51989 - 1999 -
Model checking for nonmonotonic logics: algorithms and complexity Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 76-81 - issn: 1045-0823 - wos: WOS:000165996800012 (10) - scopus: 2-s2.0-2442713481 (13)
conference: 16th International Joint Conference on Artificial Intelligence (IJCAI 99) (STOCKHOLM, SWEDEN)
book: IJCAI-99 - (9781558606135)
11573/202069 - 1998 -
Knowledge Representation approach to information integration Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: AAAI Workshop on AI and Information Integration - ()
11573/202070 - 1998 -
Source Integration in data warehousing Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Workshop on Databases and expret Systems Applications - ()
11573/242515 - 1998 -
Information Integration: Conceptual Modeling and Reasoning Support Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: IEEE conference on cooperative information systems (COOPIS-98) - ()
11573/242733 - 1998 -
Description Logic Framework for Information Integration Calvanese, D.; De Giacomo, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Sixth International Conference on Principles of Knowledge Representation and Reasoning , KR-98 - ()
Rosati, Riccardo - 01a Articolo in rivista
paper: AI COMMUNICATIONS (Amsterdam: Department Social Science Informatics) pp. 219-221 - issn: 0921-7126 - wos: WOS:000079436200004 (4) - scopus: 2-s2.0-0032254776 (4)
11573/51990 - 1998 -
Embedding negation as failure into minimal knowledge Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: 13th European Conference on Artificial Intelligence (ECAI 98) (BRIGHTON, ENGLAND)
book: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 98) - (9780471984313)
11573/51991 - 1998 -
Expressiveness vs. complexity in nonmonotonic knowledge bases: propositional case Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: 13TH European Conference on Artificial Intelligence (ECAI 98) (BRIGHTON, ENGLAND)
book: ECAI-98 - (9780471984313)
11573/51992 - 1998 -
Reducing query answering to satisfiability in nonmonotonic logics Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: 15th National Conference on Artificial Intelligence (AAAI 98) / 10th Conference on Innovative Applications of Artificial Intelligence (IAAI 98) (MADISON, WI)
book: AAAI-98 - (9780262510981)
11573/242826 - 1997 -
Planning with Sensing for a Mobile Robot De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
book: ECP-97 - (9783540639121)
11573/247611 - 1997 -
Description Logic-based Framework for Planning with Sensing Actions De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: International Workshop on Description Logics (DL'97) - ()
Donini, F. M.; Nardi, Daniele; Rosati, Riccardo - 01a Articolo in rivista
paper: JOURNAL OF LOGIC AND COMPUTATION (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 523-548 - issn: 0955-792X - wos: WOS:A1997XU86000005 (17) - scopus: 2-s2.0-0042648466 (34)
F. M., Donini; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 136-141 - issn: 1045-0823 - wos: WOS:000072707200021 (12) - scopus: 2-s2.0-84880670268 (37)
conference: 15th International Joint Conference on Artificial Intelligence (NAGOYA, JAPAN)
book: IJCAI-97 - (9781558604803)
11573/51993 - 1997 -
Reasoning with minimal belief and negation as failure: algorithms and complexity Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: Proceedings of the 1997 14th National Conference on Artificial Intelligence, AAAI 97 (Providence, RI, USA)
book: AAAI-97 - ()
De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Proceedings of the FAPR-96 Workshop on Planning in Complex Environments - ()
11573/202057 - 1996 -
Moving a robot starting from a theory of actions De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Proceedings of the AAAI-96 Workshop on Theory of Actions, Planning and Control - ()
11573/202058 - 1996 -
Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
book: Atti del Quinto Convegno AIIA - ()
11573/243176 - 1996 -
Moving a robot: the KR&R approach at work De Giacomo, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo - 04b Atto di convegno in volume
book: KR'96 - ()
11573/202059 - 1996 -
A uniform tableaux method for nonmonotonic modal logics Donini, Francesco Maria; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
conference: European Workshop on Logics in Artificial Intelligence (JELIA 96) (EVORA, PORTUGAL)
book: Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence - (9783540616306)
11573/979376 - 1995 -
Non-first-order features in concept languages Donini, Francesco Maria; Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: LECTURE NOTES IN COMPUTER SCIENCE (Heidelberg ; Berlin : Springer) pp. 91-102 - issn: 1611-3349 - wos: WOS:A1995BF24X00009 (3) - scopus: 2-s2.0-84957691853 (10)
conference: 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995 (ita)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (3540604375)
11573/979374 - 1995 -
A preference semantics for ground nonmonotonic modal logics Nardi, Daniele; Rosati, Riccardo - 04a Atto di comunicazione a congresso
paper: LECTURE NOTES IN COMPUTER SCIENCE (Heidelberg ; Berlin : Springer) pp. 225-235 - issn: 1611-3349 - wos: (0) - scopus: 2-s2.0-84955592487 (3)
conference: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 (prt)
book: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - (9783540604280)