{"type":"ScholarlyArticle","title":"Semantic Characterization of Data Services through Ontologies","authors":[{"name":"Gianluca Cima","slug":"gianluca-cima","given":"Gianluca","family":"Cima","affiliation":"Dipartimento di Ingegneria Informatica , Automatica e Gestionale , Sapienza Università di Roma"},{"name":"Maurizio Lenzerini","slug":"maurizio-lenzerini","given":"Maurizio","family":"Lenzerini","affiliation":"Dipartimento di Ingegneria Informatica , Automatica e Gestionale , Sapienza Università di Roma"},{"name":"Antonella Poggi","slug":"antonella-poggi","given":"Antonella","family":"Poggi","affiliation":"Dipartimento di Ingegneria Informatica , Automatica e Gestionale , Sapienza Università di Roma; Dipartimento di Lettere e Culture Moderne , Sapienza Università di Roma"}],"abstract":"We study the problem of associating formal semantic descriptions to data services. We base our proposal on the Ontology-based Data Access paradigm, where a domain ontology is used to provide a semantic layer mapped to the data sources of an organization. The basic idea is to explain the semantics of a data service in terms of a query over the ontology. We illustrate a formal framework for this problem, based on the notion of source-to-ontology (s-to-o) rewriting, which comes in three variants, called sound, complete and perfect, respectively. We present a thorough complexity analysis of two computational problems, namely verification (checking whether a query is an s-to-o rewriting of a given data service), and computation (computing an s-to-o rewriting of a data service).","doi":"10.24963/ijcai.2019/228","url":"https://ijcai.org/proceedings/2019/228","pdf":"https://ijcai.org/proceedings/2019/0228.pdf","markdown":"https://ijcai.org/proceedings/2019/228.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/228","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":228,"pages":{"first":1647,"last":1653},"keywords":["Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Knowledge Representation Languages","Multidisciplinary Topics and Applications: Databases","Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Description Logics and Ontologies"],"videos":[],"references":[{"position":1,"raw":"[Abedjan et al., 2017] Ziawasch Abedjan, Lukasz Golab, and Felix Naumann. Data profiling: A tutorial. In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 1747-1751, 2017.","title":"Data profiling: A tutorial","authors":"Abedjan","year":"2017","venue":"Proc. of the ACM SIGMOD Int. Conf. on Management of Data","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Abiteboul et al., 1995] Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.","title":"Foundations of Databases","authors":"Serge Abiteboul, Richard Hull, Victor Vianu","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader et al., 2003] Franz Baader, Diego Calvanese, Deb- orah McGuinness, Daniele Nardi, and Peter F. Patel- Schneider, editors. The Description Logic Handbook: The- ory, Implementation and Applications. Cambridge Univer- sity Press, 2003.","title":"The Description Logic Handbook: Theory, Implementation and Applications","authors":null,"year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bienvenu, 2016] Meghyn Bienvenu. Ontology-mediated query answering: Harnessing knowledge to get more from data. In Proc. of the 25th Int. Joint Conf. on Artificial In- telligence (IJCAI), pages 4058-4061, 2016.","title":"Ontology-mediated query answering: Harnessing knowledge to get more from data","authors":"Meghyn Bienvenu, Bienvenu","year":"2016","venue":"Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2016/600"},{"position":5,"raw":"[Calvanese et al., 2007] Diego Calvanese, Giuseppe De Gi- acomo, Domenico Lembo, Maurizio Lenzerini, and Ric- cardo Rosati. Tractable reasoning and efficient query an- swering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3):385-429, 2007.","title":"Tractable reasoning and efficient query answering in description logics: The DL-Lite family","authors":"Calvanese","year":"2007","venue":"J. of Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Calvanese et al., 2009] Diego Calvanese, Giuseppe De Gia- como, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodríguez-Muro, and Riccardo Rosati. Ontologies and databases: The DL-Lite approach. In Ser- gio Tessaris and Enrico Franconi, editors, Reasoning Web. Semantic Technologies for Informations Systems -5th Int. Summer School Tutorial Lectures (RW), volume 5689 of Lecture Notes in Computer Science, pages 255-356. Springer, 2009.","title":"Ontologies and databases: The DL-Lite approach","authors":"Calvanese","year":"2009","venue":"Reasoning Web. Semantic Technologies for Informations Systems -5th Int. Summer School Tutorial Lectures","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Calvanese et al., 2012] Diego Calvanese, Giuseppe De Gi- acomo, Maurizio Lenzerini, and Riccardo Rosati. View- based query answering in description logics: Semantics and complexity. J. of Computer and System Sciences, 78:26-46, 2012.","title":"Viewbased query answering in description logics: Semantics and complexity","authors":"Calvanese","year":"2012","venue":"J. of Computer and System Sciences","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Carey et al., 2012] Michael J. Carey, Nicola Onose, and Michalis Petropoulos. Data services. Communications of the ACM, 55(6):86-97, 2012.","title":"Data services","authors":"J Michael, Nicola Carey, Michalis Onose, Petropoulos","year":"2012","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Chandra and Merlin, 1977] Ashok K. Chandra and Philip M. Merlin. Optimal implementation of con- junctive queries in relational data bases. In Proc. of the 9th ACM Symp. on Theory of Computing (STOC), pages 77-90, 1977.","title":"Optimal implementation of conjunctive queries in relational data bases","authors":"K Ashok, Philip M Chandra, Merlin","year":"1977","venue":"Proc. of the 9th ACM Symp. on Theory of Computing (STOC)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Cima, 2017] Gianluca Cima. Preliminary results on ontology-based open data publishing. In Proc. of the 30th Int. Workshop on Description Logic (DL), volume 1879 of CEUR Electronic Workshop Proceedings, http: //ceur-ws.org/, 2017.","title":"Preliminary results on ontology-based open data publishing","authors":"Gianluca Cima","year":null,"venue":"Proc. of the 30th Int. Workshop on Description Logic (DL)","doi":null,"url":"http://ceur-ws.org/,2017","internal_url":null},{"position":11,"raw":"[Codd, 1970] E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, 1970.","title":"A relational model of data for large shared data banks","authors":"E F Codd","year":"1970","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Doan et al., 2012] AnHai Doan, Alon Y. Halevy, and Zachary G. Ives. Principles of Data Integration. Morgan Kaufmann, 2012. [Garey et al., 1976]","title":"Principles of Data Integration","authors":"Doan","year":"1976","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"Michael R. Garey, David S. Johnson, and Larry J. Stockmeyer. Some simplified NP-complete graph problems. Theoretical Computer Science, 1(3):237- 267, 1976.","title":"Some simplified NP-complete graph problems","authors":"R Michael, David S Garey, Larry J Johnson, Stockmeyer","year":"1976","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Lenzerini, 2018] Maurizio Lenzerini. Managing data through the lens of an ontology. AI Magazine, 39(2):65- 74, 2018.","title":"Managing data through the lens of an ontology","authors":"Maurizio Lenzerini","year":"2018","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Levy et al., 1995] Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, and Divesh Srivastava. Answering queries using views. In Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Sys- tems (PODS), pages 95-104, 1995.","title":"Answering queries using views","authors":"Y Alon, Alberto O Levy, Yehoshua Mendelzon, Divesh Sagiv, Srivastava","year":"1995","venue":"Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Lutz et al., 2018] Carsten Lutz, Johannes Marti, and Leif Sabellek. Query expressibility and verification in ontology-based data access. In Proc. of the 16th Int. Conf. on the Principles of Knowledge Representation and Rea- soning (KR), pages 389-398, 2018.","title":"Query expressibility and verification in ontology-based data access","authors":"Carsten Lutz, Johannes Marti, Leif Sabellek","year":"2018","venue":"Proc. of the 16th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Maier et al., 1979] David Maier, Alberto O. Mendelzon, and Yehoshua Sagiv. Testing implications of data depen- dencies. ACM Trans. on Database Systems, 4(4):455-469, 1979.","title":"Testing implications of data dependencies","authors":"David Maier, Alberto O Mendelzon, Yehoshua Sagiv","year":"1979","venue":"ACM Trans. on Database Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Miles and Bechhofer, 2009] Alistair Miles and Sean Bech- hofer. SKOS Simple Knowledge Organization System. W3C Recommendation, World Wide Web Consortium, 2009. Available at http://www.w3.org/TR/skos-reference.","title":"SKOS Simple Knowledge Organization System. W3C Recommendation, World Wide Web Consortium","authors":"Bechhofer Miles","year":"2009","venue":null,"doi":null,"url":"http://www.w3.org/TR/skos-reference","internal_url":null},{"position":19,"raw":"[Motik et al., 2012] Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. OWL 2 Web Ontology Language profiles (second edition). W3C Recommendation, World Wide Web Consortium, 2012. Available at http://www.w3.org/TR/owl2-profiles/.","title":"OWL 2 Web Ontology Language profiles (second edition). W3C Recommendation, World Wide Web Consortium","authors":"Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, Carsten Lutz","year":"2012","venue":null,"doi":null,"url":"http://www.w3.org/TR/owl2-profiles/","internal_url":null},{"position":20,"raw":"[Ortiz, 2018] Magdalena Ortiz. Improving data management using domain knowledge. In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 5709-5713, 2018.","title":"Improving data management using domain knowledge","authors":"Magdalena Ortiz","year":"2018","venue":"Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2018/814"},{"position":21,"raw":"[Poggi et al., 2008] Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenz- erini, and Riccardo Rosati. Linking data to ontologies. J. on Data Semantics, X:133-173, 2008.","title":"Linking data to ontologies","authors":"Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati","year":"2008","venue":"J. on Data Semantics","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Sagiv and Yannakakis, 1980] Yehoshua Sagiv and Mihalis Yannakakis. Equivalences among relational expressions with the union and difference operators. J. of the ACM, 27(4):633-655, 1980.","title":"Equivalences among relational expressions with the union and difference operators","authors":"Yannakakis Sagiv, Yehoshua Sagiv, Mihalis Yannakakis","year":"1980","venue":"J. of the ACM","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Weibel et al., 1998] Stuart Weibel, John A. Kunze, Carl Lagoze, and Misha Wolf. Dublin core metadata for re- source discovery. Request for Comments, 2413:1-8, 1998.","title":"Dublin core metadata for resource discovery","authors":"Stuart Weibel, John A Kunze, Carl Lagoze, Misha Wolf","year":"1998","venue":"Request for Comments","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Xiao et al., 2018] Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Ric- cardo Rosati, and Michael Zakharyaschev. Ontology- based data access: A survey. In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI), pages 5511-5519, 2018.","title":"Ontologybased data access: A survey","authors":"Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev","year":"2018","venue":"Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Zheng et al., 2013] Zibin Zheng, Jieming Zhu, and Michael R. Lyu. Service-generated big data and big data-as-a-service: An overview. In Proc. of the 2013 IEEE Int. Conf. on Big Data, pages 403-410, 2013.","title":"Service-generated big data and big data-as-a-service: An overview","authors":"Zheng","year":"2013","venue":"Proc. of the 2013 IEEE Int. Conf. on Big Data","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}