Abstract
Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of an ontology, which is usually expressed in a description logic (DL) of DL-Lite family. The conventional semantics of OBDA and DLs is set-based—that is, duplicates are disregarded. This disagrees with the standard database bag (multiset) semantics, which is especially important for the correct evaluation of aggregate queries. In this article, we study two variants of bag semantics for query answering over \(\textit{DL-Lite} _{\mathcal{F}}\), extending basic \(\textit{DL-Lite} _{\textit{core}}\) with functional roles. For our first semantics, which follows the semantics of primary keys in SQL, conjunctive query (CQ) answering is coNP-hard in data complexity in general, but it is in TC\(^0\) for the restricted class of rooted CQs; such CQs are also rewritable to the bag relational algebra. For our second semantics, the results are the same except that TC\(^0\) membership and rewritability hold only for the restricted class of ontologies identified by a new notion of functional weak acyclicity.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)
Afrati, F.N., Kolaitis, P.G.: Answering aggregate queries in data exchange. In: Proceedings of PODS, pp. 129–138 (2008)
Arenas, M., Bertossi, L.E., Chomicki, J., He, X., Raghavan, V., Spinrad, J.P.: Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 296(3), 405–434 (2003)
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)
Bertossi, L.E., Gottlob, G., Pichler, R.: Datalog: bag semantics via set semantics. In: Proceedings of ICDT, pp. 16:1–16:19 (2019)
Bienvenu, M., Lutz, C., Wolter, F.: Query containment in description logics reconsidered. In: Proceedings of KR, pp. 221–231 (2012)
Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. Semant. Web 8(3), 471–487 (2017)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reason. 39(3), 385–429 (2007)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-based identification constraints in description logics. In: Proceedings of KR, pp. 231–241 (2008)
Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of IJCAI, pp. 155–160 (2001)
Calvanese, D., Kharlamov, E., Nutt, W., Thorne, C.: Aggregate queries over ontologies. In: Proceedings of ONISW, pp. 97–104 (2008)
Chaudhuri, S., Vardi, M.Y.: Optimization of real conjunctive queries. In: Proceedings of PODS, pp. 59–70 (1993)
Console, M., Guagliardo, P., Libkin, L.: On querying incomplete information in databases under bag semantics. In: Proceedings of IJCAI, pp. 993–999 (2017)
Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)
Grumbach, S., Milo, T.: Towards tractable algebras for bags. J. Comput. Syst. Sci. 52(3), 570–588 (1996)
Hernich, A., Kolaitis, P.G.: Foundations of information integration under bag semantics. In: Proceedings of LICS, pp. 1–12 (2017)
Immerman, N.: Languages that capture complexity classes. SIAM J. Comput. 16(4), 760–778 (1987)
Ioannidis, Y.E., Ramakrishnan, R.: Containment of conjunctive queries: beyond relations as sets. ACM Trans. Database Syst. 20(3), 288–324 (1995)
Jiang, Y.: Description logics over multisets. In: Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web, pp. 1–12 (2010)
Jones, N.D.: Space-bounded reducibility among combinatorial problems. J. Comput. Syst. Sci. 11(1), 68–85 (1975)
Kaminski, M., Kostylev, E.V., Cuenca Grau, B.: Query nesting, assignment, and aggregation in SPARQL 1.1. ACM Trans. Database Syst. 42(3), 17:1–17:46 (2017)
Köhler, H., Link, S.: Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics. Inf. Process. Lett. 110(16), 717–724 (2010)
Kostylev, E.V., Reutter, J.L.: Complexity of answering counting aggregate queries over DL-Lite. Web Semant. 33, 94–111 (2015)
Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of PODS, pp. 233–246 (2002)
Libkin, L.: Expressive power of SQL. Theor. Comput. Sci. 296(3), 379–404 (2003)
Libkin, L., Wong, L.: Query languages for bags and aggregate functions. J. Comput. Syst. Sci. 55(2), 241–272 (1997)
Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. Artif. Intell. Res. 23, 667–726 (2005)
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles (Second Edition). W3C recommendation, W3C (2012). http://www.w3.org/TR/owl2-profiles/
Mumick, I.S., Pirahesh, H., Ramakrishnan, R.: The magic of duplicates and aggregates. In: Proceedings of VLDB, pp. 264–277 (1990)
Nikolaou, C., Kostylev, E.V., Konstantinidis, G., Kaminski, M., Cuenca Grau, B., Horrocks, I.: The bag semantics of ontology-based data access. In: Proceedings of IJCAI, pp. 1224–1230 (2017)
Nikolaou, C., Kostylev, E.V., Konstantinidis, G., Kaminski, M., Cuenca Grau, B., Horrocks, I.: Foundations of ontology-based data access under bag semantics. Artif. Intell. 274, 91–132 (2019)
Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133–173 (2008)
Toman, D., Weddell, G.E.: On keys and functional dependencies as first-class citizens in description logics. J. Autom. Reason. 40(2–3), 117–132 (2008)
Acknowledgements
This research was supported by the SIRIUS Centre for Scalable Data Access and the EPSRC projects DBOnto, MaSI\(^3\), and ED\(^3\).
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Cima, G., Nikolaou, C., Kostylev, E.V., Kaminski, M., Cuenca Grau, B., Horrocks, I. (2019). Bag Semantics of DL-Lite with Functionality Axioms. In: Ghidini, C., et al. The Semantic Web – ISWC 2019. ISWC 2019. Lecture Notes in Computer Science(), vol 11778. Springer, Cham. https://doi.org/10.1007/978-3-030-30793-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-30793-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30792-9
Online ISBN: 978-3-030-30793-6
eBook Packages: Computer ScienceComputer Science (R0)