GIANLUCA CIMA

Dottore di ricerca

ciclo: XXXII


supervisore: Maurizio Lenzerini

Titolo della tesi: Abstraction in Ontology-based Data Management

In many aspects of our society there is growing awareness and consent on the need for data-driven approaches that are resilient, transparent, and fully accountable. But in order to fulfill the promises and benefits of a data-driven society, it is necessary that the data services exposed by the organisations' information systems are well-documented, and their semantics is clearly specified. Effectively documenting data services is indeed a crucial issue for organisations, not only for governing their own data, but also for interoperation purposes. In this thesis, we propose a new approach to automatically associate formal semantic descriptions to data services, thus bringing them into compliance with the FAIR guiding principles, i.e., make data services automatically Findable, Accessible, Interoperable, and Reusable (FAIR). We base our proposal on the Ontology-based Data Management (OBDM) paradigm, where a domain ontology is used to provide a semantic layer mapped to the data sources of an organisation, thus abstracting from the technical details of the data layer implementation. The basic idea is to characterise or explain the semantics of a given data service expressed as query over the source schema in terms of a query over the ontology. Thus, the query over the ontology represents an abstraction of the given data service in terms of the domain ontology through the mapping, and, together with the elements in the vocabulary of the ontology, such abstraction forms a basis for annotating the given data service with suitable metadata expressing its semantics. We illustrate a formal framework for the task of automatically produce a semantic characterisation of a given data service expressed as a query over the source schema. The framework is based on three semantically well-founded notions, namely perfect, sound, and complete source-to-ontology rewriting, and on two associated basic computational problems, namely verification and computation. The former verifies whether a given query over the ontology is a perfect (respectively, sound, complete) source-to-ontology rewriting of a given data service expressed as a query over the source schema, whereas the latter computes one such rewriting, provided it exists. We provide an in-depth complexity analysis of these two computational problems in a very general scenario which uses languages amongst the most popular considered in the literature of managing data through an ontology. Furthermore, since we study also cases where the target query language for expressing source-to-ontology rewritings allows inequality atoms, we also investigate the problem of answering queries with inequalities over lightweight ontologies, a problem that has been rarely addressed. In another direction, we study and advocate the use of a non-monotonic target query language for expressing source-to-ontology rewritings. Last but not least, we outline a detailed related work, which illustrates how the results achieved in this thesis notably contributes to new results in the Semantic Web context, in the relational database theory, and in view-based query processing.

Produzione scientifica

11573/1694112 - 2023 - On Combining Collective Entity Resolution and Repairing (Extended Abstract)
Bienvenu, M.; Cima, G.; Gutierrez-Basulto, V. - 04d Abstract in atti di convegno
congresso: 1st Workshop on AI-Driven Heterogeneous Data Management: Completing, Merging, Handling Inconsistencies and Query-Answering, ENIGMA 2023 (Rhodes, Greece)
libro: CEUR Workshop Proceedings - ()

11573/1694113 - 2023 - REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing
Bienvenu, M.; Cima, G.; Gutierrez-Basulto, V. - 04b Atto di convegno in volume
congresso: Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023 (Macao, SAR, China)
libro: Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023 - ()

11573/1694109 - 2023 - Combining Global and Local Merges in Logic-based Entity Resolution
Bienvenu, M.; Cima, G.; Gutierrez-Basulto, V.; Ibanez-Garcia, Y. - 04b Atto di convegno in volume
congresso: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 (Rhodes, Greece)
libro: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 - ()

11573/1687515 - 2023 - Dynamic Controlled Query Evaluation over DL-Lite Ontologies
Bonatti, Piero; Cima, Gianluca; Lembo, Domenico; Marconi, Lorenzo; Rosati, Riccardo; Sauro, Luigi; Fabio Savo, Domenico - 04b Atto di convegno in volume
congresso: 36th International Workshop on Description Logics (DL 2023) (Rhodes, Greece)
libro: Proceedings of the 36th International Workshop on Description Logics (DL 2023) - ()

11573/1691314 - 2023 - A review of data abstraction
Cima, G.; Console, M.; Lenzerini, M.; Poggi, A. - 01a Articolo in rivista
rivista: FRONTIERS IN ARTIFICIAL INTELLIGENCE ([Lausanne]: Frontiers Media S.A., [2018]-) pp. - - issn: 2624-8212 - wos: WOS:001023680500001 (0) - scopus: 2-s2.0-85164534161 (0)

11573/1694117 - 2023 - Epistemic Disjunctive Datalog for Querying Knowledge Bases
Cima, G.; Console, M.; Lenzerini, M.; Poggi, A. - 04b Atto di convegno in volume
congresso: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023 (Washington, DC, USA)
libro: Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023 - ()

11573/1691772 - 2023 - The notion of Abstraction in Ontology-based Data Management
Cima, G; Poggi, A; Lenzerini, M - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. 103976- - issn: 0004-3702 - wos: WOS:001055009400001 (0) - scopus: 2-s2.0-85166245724 (0)

11573/1678182 - 2022 - LACE: A Logical Approach to Collective Entity Resolution
Bienvenu, M.; Cima, Gianluca; Gutierrez-Basulto, V. - 04b Atto di convegno in volume
congresso: 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2022 (usa)
libro: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - (9781450392600)

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
congresso: 21st International Semantic Web Conference, ISWC 2022 (Hangzhou; China)
libro: The Semantic Web – ISWC 2022 - (978-3-031-19432-0)

11573/1678452 - 2022 - Abstraction in Ontology-based Data Management
Cima, Gianluca - 03a Saggio, Trattato Scientifico

11573/1652612 - 2022 - Monotone Abstractions in Ontology-Based Data Management
Cima, Gianluca; Console, Marco; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI-2022 (In remote)
libro: The Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI-2022 - (978-1-57735-876-3; 1-57735-876-7)

11573/1652644 - 2022 - Investigating Monotone Abstractions
Cima, Gianluca; Console, Marco; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 30th Italian Symposium on Advanced Database Systems (Tirrenia ; Italia)
libro: SEBD 2022 Italian Symposium on Advanced Database Systems - ()

11573/1678446 - 2022 - Analysis of Relationship between Training Load and Recovery Status in Adult Soccer Players: a Machine Learning Approach
Mandorino, Mauro; Figueiredo António, José; Cima, Gianluca; Tessitore, Antonio - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF COMPUTER SCIENCE IN SPORT (Vienna : International Association of Computer Science in Sport) pp. 1-16 - issn: 1684-4769 - wos: (0) - scopus: 2-s2.0-85146542030 (3)

11573/1678180 - 2022 - The Impact of External and Internal Load on Recovery Status of Adult Soccer Players: A Machine Learning Approach
Mandorino, Mauro; Figueiredo, Antonio J.; Cima, Gianluca; Tessitore, Antonio - 04b Atto di convegno in volume
congresso: PACSS2021 (Vienna)
libro: Proceedings of the 9th International Performance Analysis Workshop and Conference & 5th IACSS Conference - (978-3-030-99332-0; 978-3-030-99333-7)

11573/1678163 - 2022 - Predictive Analytic Techniques to Identify Hidden Relationships between Training Load, Fatigue and Muscle Strains in Young Soccer Players
Mandorino, Mauro; Figueiredo, António; Cima, Gianluca; Tessitore, Antonio - 01a Articolo in rivista
rivista: SPORTS () pp. - - issn: 2075-4663 - wos: WOS:000747067700001 (8) - scopus: 2-s2.0-85121789188 (10)

11573/1572050 - 2021 - Abstraction in Data Integration
Cima, G.; Console, M.; Lenzerini, M.; Poggi, A. - 04b Atto di convegno in volume
congresso: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 (Roma; Italia)
libro: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - (978-1-6654-4895-6)

11573/1616540 - 2021 - Query Definability and Its Approximations in Ontology-based Data Management
Cima, G.; Croce, F.; Lenzerini, M. - 04b Atto di convegno in volume
congresso: 30th ACM International Conference on Information and Knowledge Management, CIKM 2021 (Australia)
libro: International Conference on Information and Knowledge Management, Proceedings - (9781450384469)

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
congresso: 34th International Workshop on Description Logics (DL 2021) (Bratislava, Slovakia)
libro: 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
congresso: 20th International Semantic Web Conference, ISWC 2021 (Virtual Event)
libro: The Semantic Web – ISWC 2021 - (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
congresso: 4th Conference on Artificial Intelligence and Knowledge Engineering, AIKE 2021 (Virtual Event)
libro: 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
congresso: 29th Italian Symposium on Advanced Database Systems (SEBD 2021) (Pizzo Calabro (VV), Italy)
libro: Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021 - ()

11573/1678168 - 2021 - A Data Mining Approach to Predict Non-Contact Injuries in Young Soccer Players
Mandorino, M.; Figueiredo, A. J.; Cima, G.; Tessitore, A. - 01a Articolo in rivista
rivista: INTERNATIONAL JOURNAL OF COMPUTER SCIENCE IN SPORT (Vienna : International Association of Computer Science in Sport) pp. 147-163 - issn: 1684-4769 - wos: (0) - scopus: 2-s2.0-85121043176 (12)

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
congresso: The 19th International Semantic Web Conference (Virtual Conference)
libro: The Semantic Web – ISWC 2020 - (9783030624187)

11573/1440529 - 2020 - Controlled Query Evaluation in Description Logics Through Instance Indistinguishability
Cima, Gianluca; Lembo, Domenico; Rosati, Riccardo; Fabio Savo, Domenico - 04d Abstract in atti di convegno
congresso: Thirty-Third International Workshop on Description Logics (Rhodes; Greece)
libro: 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; Fabio Savo, Domenico - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1791-1797 - issn: 1045-0823 - wos: WOS:000764196701127 (9) - scopus: 2-s2.0-85091410553 (15)
congresso: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 (Yokohama; Japan)

11573/1422634 - 2020 - Answering Conjunctive Queries with Inequalities in DL-Lite(R)
Cima, Gianluca; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 34th AAAI Conference on Artificial Intelligence, AAAI 2020 (New York; USA)
libro: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI-2020 - (9781577358350)

11573/1457971 - 2020 - Non-Monotonic Ontology-based Abstractions of Data Services
Cima, Gianluca; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: KR 2020 - the 17th International Conference on Principles of Knowledge Representation and Reasoning (Virtual Conference; Worldwide)
libro: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning - (978-0-9992411-7-2)

11573/1389347 - 2020 - Ontology-based explanation of classifiers
Croce, F.; Cima, G.; Lenzerini, M.; Catarci, T. - 04b Atto di convegno in volume
congresso: Workshops of the 23rd International Conference on Extending Database Technology/23rd International Conference on Database Theory, EDBT-ICDT-WS 2020 (Copenhagen; Denmark)
libro: Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference - ()

11573/1359118 - 2019 - On queries with inequalities in DL-LiteR≠
Cima, G.; Croce, Federico; Lenzerini, M.; Poggi, A.; Toccacieli, E. - 04b Atto di convegno in volume
congresso: 32nd International Workshop on Description Logics, DL 2019 (Oslo; Norway)
libro: Proceedings of the 32nd International Workshop on Description Logics - ()

11573/1333658 - 2019 - Exploiting ontologies for explaining data sources semantics
Cima, G.; Lenzerini, M.; Poggi, A. - 04d Abstract in atti di convegno
congresso: 18th International Conference of the Italian Association for Artificial Intelligence, AI*IA-DDC 2019 (Rende (CS); Italy)
libro: CEUR Workshop Proceedings - ()

11573/1359200 - 2019 - Reverse engineering of data services
Cima, G.; Lenzerini, M.; Poggi, A. - 04b Atto di convegno in volume
congresso: 27th Italian Symposium on Advanced Database Systems, SEBD 2019 (Grosseto; Italy)
libro: Proceedings of the 27th Italian Symposium on Advanced Database Systems - ()

11573/1278574 - 2019 - Semantic characterization of data services through ontologies
Cima, Gianluca; Lenzerini, Maurizio; Poggi, Antonella - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1647-1653 - issn: 1045-0823 - wos: WOS:000761735101107 (9) - scopus: 2-s2.0-85069524671 (15)
congresso: 28th international joint conference on artificial intelligence (Macao; China)

11573/1394998 - 2019 - Bagging the DL-Lite Family Further
Cima, Gianluca; Nikolaou, Charalampos; Kostylev, Egor V.; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian - 04b Atto di convegno in volume
congresso: 32nd International Workshop on Description Logics (Oslo; Norvegia)
libro: DL 2019 International Workshop on Description Logics - ()

11573/1395017 - 2019 - Bag Semantics of DL-Lite with Functionality Axioms
Cima, Gianluca; Nikolaou, Charalampos; Kostylev, Egor V.; Kaminski, Mark; Cuenca Grau, Bernardo; Horrocks, Ian - 04b Atto di convegno in volume
congresso: 18th International Semantic Web Conference (Auckland; Nuova Zelanda)
libro: The Semantic Web – ISWC 2019 - (978-303030792-9; 978-3-030-30793-6)

11573/989994 - 2017 - Preliminary results on Ontology-based Open Data Publishing
Cima, Gianluca - 04b Atto di convegno in volume
congresso: 30th International Workshop on Description Logics (Montpellier; France)
libro: Proceedings of the 30th International Workshop on Description Logics - ()

11573/978641 - 2017 - On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies
Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 7th International Conference on Web Intelligence, Mining and Semantics (Amantea; Italy)
libro: WIMS '17 Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics - (978-1-4503-5225-3)

11573/978797 - 2017 - Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime
Cima, Gianluca; De Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 25th Italian Symposium on Advanced Database Systems (Squillace Lido; Italy)
libro: Proceedings of the 25th Italian Symposium on Advanced Database Systems - ()

11573/978658 - 2017 - Semantic technology for open data publishing
Cima, Gianluca; Lenzerini, Maurizio; Poggi, Antonella - 04b Atto di convegno in volume
congresso: 7th ACM International Conference on Web Intelligence, Mining and Semantics (Amantea; Italy)
libro: Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics - (978-1-4503-5225-3)

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma