{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T20:30:39Z","timestamp":1781814639708,"version":"3.54.5"},"reference-count":28,"publisher":"Frontiers Media SA","license":[{"start":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T00:00:00Z","timestamp":1687478400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["frontiersin.org"],"crossmark-restriction":true},"short-container-title":["Front. Artif. Intell."],"abstract":"<jats:p>It is well-known that Artificial Intelligence (AI), and in particular Machine Learning (ML), is not effective without good data preparation, as also pointed out by the recent wave of data-centric AI. Data preparation is the process of gathering, transforming and cleaning raw data prior to processing and analysis. Since nowadays data often reside in distributed and heterogeneous data sources, the first activity of data preparation requires collecting data from suitable data sources and data services, often distributed and heterogeneous. It is thus essential that providers describe their data services in a way to make them compliant with the FAIR guiding principles, i.e., make them automatically Findable, Accessible, Interoperable, and Reusable (FAIR). The notion of data abstraction has been introduced exactly to meet this need. Abstraction is a kind of reverse engineering task that automatically provides a semantic characterization of a data service made available by a provider. The goal of this paper is to review the results obtained so far in data abstraction, by presenting the formal framework for its definition, reporting about the decidability and complexity of the main theoretical problems concerning abstraction, and discuss open issues and interesting directions for future research.<\/jats:p>","DOI":"10.3389\/frai.2023.1085754","type":"journal-article","created":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T17:01:26Z","timestamp":1687626086000},"update-policy":"https:\/\/doi.org\/10.3389\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A review of data abstraction"],"prefix":"10.3389","volume":"6","author":[{"given":"Gianluca","family":"Cima","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Console","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonella","family":"Poggi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1965","published-online":{"date-parts":[[2023,6,23]]},"reference":[{"key":"B1","doi-asserted-by":"publisher","first-page":"1747","DOI":"10.1145\/3035918.3054772","article-title":"\u201cData profiling: a tutorial,\u201d","author":"Abedjan","year":"2017","journal-title":"Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD 2017)"},{"key":"B2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01871-8","author":"Afrati","year":"2019","journal-title":"Answering Queries Using Views. Synthesis Lectures on Data Management"},{"key":"B3","unstructured":"\u201cThe complexity of reverse engineering problems for conjunctive queries,\u201c17\n            Barcel\u00f3P.\n            RomeroM.\n          Proceedings of the Twentieth International Conference on Database Theory (ICDT 2017), Volume 68 of Leibniz International Proceedings in Informatics72017"},{"key":"B4","first-page":"274","article-title":"\u201cEQL-lite: effective first-order query processing in description logics,\u201d","author":"Calvanese","year":""},{"key":"B5","unstructured":"\u201cWhat is view-based query rewriting?\u201d\n            CalvaneseD.\n            De GiacomoG.\n            LenzeriniM.\n            VardiM. Y.\n          Proceedings of the Seventh International Workshop on Knowledge Representation meets Databases (KRDB 2000), Volume 29 of CEUR Electronic Workshop Proceedings2000"},{"key":"B6","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/543613.543646","article-title":"\u201cLossless regular views,\u201d","author":"Calvanese","year":"2002"},{"key":"B7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.tcs.2006.11.006","article-title":"View-based query processing: on the relationship between rewriting, answering and losslessness","volume":"371","author":"Calvanese","year":"","journal-title":"Theor. Comput. Sci"},{"key":"B8","unstructured":"\u201cAnwering recursive queries under keys and foreign keys is undecidable,\u201d\n            CalvaneseD.\n            RosatiR.\n          2003"},{"key":"B9","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/TR.2021.3070863","article-title":"Data evaluation and enhancement for quality improvement of machine learning","volume":"70","author":"Chen","year":"2021","journal-title":"IEEE Trans. Reliab"},{"key":"B10","unstructured":"\u201cPreliminary results on ontology-based open data publishing,\u201d\n            CimaG.\n          2017"},{"key":"B11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/LICS52264.2021.9470716","article-title":"\u201cAbstraction in data integration,\u201d","author":"Cima","year":"2021"},{"key":"B12","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i5.20495","article-title":"\u201cMonotone abstractions in ontology-based data management,\u201d","author":"Cima","year":"2022","journal-title":"Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI 2022)"},{"key":"B13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3102254.3102255","article-title":"\u201cSemantic technology for open data publishing,\u201d","author":"Cima","year":"2017"},{"key":"B14","doi-asserted-by":"publisher","first-page":"1647","DOI":"10.24963\/ijcai.2019\/228","article-title":"\u201cSemantic characterization of data services through ontologies,\u201d","author":"Cima","year":"2019"},{"key":"B15","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2020\/25","article-title":"\u201cNon-monotonic ontology-based abstractions of data services,\u201d","author":"Cima","year":"2020","journal-title":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)"},{"key":"B16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/263661.263674","article-title":"\u201cAnswering recursive queries using views,\u201d","author":"Duschka","year":"1997"},{"key":"B17","article-title":"\u201cQuery planning with disjunctive sources,\u201d","author":"Duschka","year":"1998"},{"key":"B18","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/261124.261126","article-title":"Disjunctive datalog","volume":"22","author":"Eiter","year":"1997","journal-title":"ACM Trans. Database Syst"},{"key":"B19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","article-title":"Data exchange: semantics and query answering","volume":"336","author":"Fagin","year":"2005","journal-title":"Theor. Comput. Sci"},{"key":"B20","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s007780100054","article-title":"Answering queries using views: a survey","volume":"10","author":"Halevy","year":"2001","journal-title":"Very Large Database J"},{"key":"B21","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/543613.543644","article-title":"\u201cData integration: a theoretical perspective,\u201d","author":"Lenzerini","year":"2002"},{"key":"B22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/212433.220198","article-title":"\u201cAnswering queries using views,\u201d","author":"Levy","year":"1995"},{"key":"B23","first-page":"251","article-title":"\u201cQuerying heterogenous information sources using source descriptions,\u201d","author":"Levy","year":"1996"},{"key":"B24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","article-title":"Combining Horn rules and description logics in CARIN","volume":"104","author":"Levy","year":"1998","journal-title":"Artif Intell"},{"key":"B25","first-page":"389","article-title":"\u201cQuery expressibility and verification in ontology-based data access,\u201d","author":"Lutz","year":"2018"},{"key":"B26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1806907.1806913","article-title":"Views and queries: aeterminacy and rewriting","volume":"35","author":"Nash","year":"2010","journal-title":"ACM Trans. Database Syst"},{"key":"B27","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s007780100048","article-title":"MiniCon: a scalable algorithm for answering queries using views","volume":"10","author":"Pottinger","year":"2001","journal-title":"Very Large Database J"},{"key":"B28","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/322217.322221","article-title":"Equivalences among relational expressions with the union and difference operators","volume":"27","author":"Sagiv","year":"1980","journal-title":"J. ACM"}],"container-title":["Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1085754\/full","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,24]],"date-time":"2023-06-24T17:01:30Z","timestamp":1687626090000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.frontiersin.org\/articles\/10.3389\/frai.2023.1085754\/full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,23]]},"references-count":28,"alternative-id":["10.3389\/frai.2023.1085754"],"URL":"https:\/\/doi.org\/10.3389\/frai.2023.1085754","relation":{},"ISSN":["2624-8212"],"issn-type":[{"value":"2624-8212","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,23]]},"article-number":"1085754"}}