Skip to main content
SpringerLink
Log in

Bag Semantics of DL-Lite with Functionality Axioms

  • Conference paper
  • First Online:
The Semantic Web – ISWC 2019 (ISWC 2019)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 11778))

Included in the following conference series:

  • 2401 Accesses

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 to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)

    Google Scholar 

  2. Afrati, F.N., Kolaitis, P.G.: Answering aggregate queries in data exchange. In: Proceedings of PODS, pp. 129–138 (2008)

    Google Scholar 

  3. 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)

    Article  MathSciNet  Google Scholar 

  4. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)

    Article  MathSciNet  Google Scholar 

  5. Bertossi, L.E., Gottlob, G., Pichler, R.: Datalog: bag semantics via set semantics. In: Proceedings of ICDT, pp. 16:1–16:19 (2019)

    Google Scholar 

  6. Bienvenu, M., Lutz, C., Wolter, F.: Query containment in description logics reconsidered. In: Proceedings of KR, pp. 221–231 (2012)

    Google Scholar 

  7. Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. Semant. Web 8(3), 471–487 (2017)

    Article  Google Scholar 

  8. 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)

    Article  MathSciNet  Google Scholar 

  9. 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)

    Google Scholar 

  10. Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of IJCAI, pp. 155–160 (2001)

    Google Scholar 

  11. Calvanese, D., Kharlamov, E., Nutt, W., Thorne, C.: Aggregate queries over ontologies. In: Proceedings of ONISW, pp. 97–104 (2008)

    Google Scholar 

  12. Chaudhuri, S., Vardi, M.Y.: Optimization of real conjunctive queries. In: Proceedings of PODS, pp. 59–70 (1993)

    Google Scholar 

  13. Console, M., Guagliardo, P., Libkin, L.: On querying incomplete information in databases under bag semantics. In: Proceedings of IJCAI, pp. 993–999 (2017)

    Google Scholar 

  14. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    Article  MathSciNet  Google Scholar 

  15. Grumbach, S., Milo, T.: Towards tractable algebras for bags. J. Comput. Syst. Sci. 52(3), 570–588 (1996)

    Article  MathSciNet  Google Scholar 

  16. Hernich, A., Kolaitis, P.G.: Foundations of information integration under bag semantics. In: Proceedings of LICS, pp. 1–12 (2017)

    Google Scholar 

  17. Immerman, N.: Languages that capture complexity classes. SIAM J. Comput. 16(4), 760–778 (1987)

    Article  MathSciNet  Google Scholar 

  18. Ioannidis, Y.E., Ramakrishnan, R.: Containment of conjunctive queries: beyond relations as sets. ACM Trans. Database Syst. 20(3), 288–324 (1995)

    Article  Google Scholar 

  19. Jiang, Y.: Description logics over multisets. In: Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web, pp. 1–12 (2010)

    Google Scholar 

  20. Jones, N.D.: Space-bounded reducibility among combinatorial problems. J. Comput. Syst. Sci. 11(1), 68–85 (1975)

    Article  MathSciNet  Google Scholar 

  21. 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)

    Article  MathSciNet  Google Scholar 

  22. Köhler, H., Link, S.: Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics. Inf. Process. Lett. 110(16), 717–724 (2010)

    Article  MathSciNet  Google Scholar 

  23. Kostylev, E.V., Reutter, J.L.: Complexity of answering counting aggregate queries over DL-Lite. Web Semant. 33, 94–111 (2015)

    Article  Google Scholar 

  24. Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of PODS, pp. 233–246 (2002)

    Google Scholar 

  25. Libkin, L.: Expressive power of SQL. Theor. Comput. Sci. 296(3), 379–404 (2003)

    Article  MathSciNet  Google Scholar 

  26. Libkin, L., Wong, L.: Query languages for bags and aggregate functions. J. Comput. Syst. Sci. 55(2), 241–272 (1997)

    Article  MathSciNet  Google Scholar 

  27. Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. J. Artif. Intell. Res. 23, 667–726 (2005)

    Article  MathSciNet  Google Scholar 

  28. 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/

  29. Mumick, I.S., Pirahesh, H., Ramakrishnan, R.: The magic of duplicates and aggregates. In: Proceedings of VLDB, pp. 264–277 (1990)

    Google Scholar 

  30. 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)

    Google Scholar 

  31. 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)

    Article  MathSciNet  Google Scholar 

  32. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 10, 133–173 (2008)

    MATH  Google Scholar 

  33. 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)

    Article  MathSciNet  Google Scholar 

Download references

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

  1. Sapienza Università di Roma, Rome, Italy

    Gianluca Cima

  2. Department of Computer Science, University of Oxford, Oxford, UK

    Charalampos Nikolaou, Egor V. Kostylev, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks

  3. Infor, Farnborough, UK

    Charalampos Nikolaou

Authors
  1. Gianluca Cima
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Charalampos Nikolaou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Egor V. Kostylev
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mark Kaminski
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bernardo Cuenca Grau
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Ian Horrocks
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Gianluca Cima , Charalampos Nikolaou , Egor V. Kostylev , Mark Kaminski , Bernardo Cuenca Grau or Ian Horrocks .

Editor information

Editors and Affiliations

  1. Fondazione Bruno Kessler, Trento, Italy

    Chiara Ghidini

  2. Linköping University, Linköping, Sweden

    Olaf Hartig

  3. University of Bonn, Bonn, Germany

    Maria Maleshkova

  4. University of Economics Prague, Prague, Czech Republic

    Vojtěch Svátek

  5. University of Illinois at Chicago, Chicago, IL, USA

    Isabel Cruz

  6. University of Chile, Santiago, Chile

    Aidan Hogan

  7. Memect Technology, Beijing, China

    Jie Song

  8. Mines Saint-Etienne, Saint-Etienne, France

    Maxime Lefrançois

  9. Inria Sophia Antipolis - Méditerranée, Sophia Antipolis, France

    Fabien Gandon

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation