Advertisement

Computing FO-Rewritings in \(\mathcal{EL}\) in Practice: From Atomic to Conjunctive Queries

  • Peter Hansen
  • Carsten Lutz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10587)

Abstract

A prominent approach to implementing ontology-mediated queries (OMQs) is to rewrite into a first-order query, which is then executed using a conventional SQL database system. We consider the case where the ontology is formulated in the description logic \(\mathcal{EL}\) and the actual query is a conjunctive query and show that rewritings of such OMQs can be efficiently computed in practice, in a sound and complete way. Our approach combines a reduction with a decomposed backwards chaining algorithm for OMQs that are based on the simpler atomic queries, also illuminating the relationship between first-order rewritings of OMQs based on conjunctive and on atomic queries. Experiments with real-world ontologies show promising results.

Notes

Acknowledgements

We acknowledge support by ERC grant 647289 ‘CODA’.

References

  1. 1.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logics. Cambridge University Press, Cambridge (2017)CrossRefzbMATHGoogle Scholar
  3. 3.
    Barceló, P., Berger, G., Pieris, A.: Containment for rule-based ontology-mediated queries, 19 April 2017. https://arxiv.org/abs/1703.07994 [cs.DB]
  4. 4.
    Bienvenu, M., ten Cate, B., Lutz, C., Wolter, F.: Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP. J. ACM Trans. Database Syst. 39(4), 33:1–33:44 (2014)MathSciNetGoogle Scholar
  5. 5.
    Bienvenu, M., Hansen, P., Lutz, C., Wolter, F.: First order-rewritability and containment of conjunctive queries in Horn description logics. In: Proceedings of IJCAI, pp. 965–971 (2016)Google Scholar
  6. 6.
    Bienvenu, M., Lutz, C., Wolter, F.: First order-rewritability of atomic queries in Horn description logics. In: Proceedings of IJCAI, pp. 754–760 (2013)Google Scholar
  7. 7.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Deutsch, A., Popa, L., Tannen, V.: Physical data independence, constraints, and optimization with universal plans. In: Proceedings of VLDB, pp. 459–470 (1999)Google Scholar
  9. 9.
    Eiter, T., Ortiz, M., Simkus, M., Tran, T., Xiao, G.: Query rewriting for Horn-SHIQ plus rules. In: Proceedings of AAAI (2012)Google Scholar
  10. 10.
    Feier, C., Lutz, C., Kuusisto, A.: Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics. In: Proceedings of ICDT (2017)Google Scholar
  11. 11.
    Gottlob, G., Kikot, S., Kontchakov, R., Podolskii, V.V., Schwentick, T., Zakharyaschev, M.: The price of query rewriting in ontology-based data access. J. Artif. Intell. 213, 42–59 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Hansen, P., Lutz, C., Seylan, I., Wolter, F.: Efficient query rewriting in the description logic EL and beyond. In: Proceedings of IJCAI, pp. 3034–3040 (2015)Google Scholar
  13. 13.
    Kikot, S., Kontchakov, R., Zakharyaschev, M.: Conjunctive query answering with OWL 2 QL. In: Proceedings of KR (2012)Google Scholar
  14. 14.
    König, M., Leclère, M., Mugnier, M.: Query rewriting for existential rules with compiled preorder. In: Proceedings of IJCAI, pp. 3106–3112 (2015)Google Scholar
  15. 15.
    König, M., Leclère, M., Mugnier, M., Thomazo, M.: Sound, complete and minimal UCQ-rewriting for existential rules. Semant. Web 6(5), 451–475 (2015)CrossRefGoogle Scholar
  16. 16.
    Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179–193. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-71070-7_16 CrossRefGoogle Scholar
  17. 17.
    Lutz, C.: Two upper bounds for conjunctive query answering in SHIQ. In: Proceedings of DL (2008)Google Scholar
  18. 18.
    Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic EL using a relational database system. In: Proceedings of IJCAI, pp. 2070–2075 (2009)Google Scholar
  19. 19.
    Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language: profiles. W3C recommendation, 11 December 2012. http://www.w3.org/TR/owl2-profiles/
  20. 20.
    Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. J. Appl. Logic 8(2), 186–209 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Rodriguez-Muro, M., Calvanese, D.: High performance query answering over DL-Lite ontologies. In: Proceedings of KR (2012)Google Scholar
  22. 22.
    Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proceedings of KR (2010)Google Scholar
  23. 23.
    Stefanoni, G., Motik, B.: Answering conjunctive queries over EL knowledge bases with transitive and reflexive roles. In: Proceedings of AAAI, pp. 1611–1617 (2015)Google Scholar
  24. 24.
    Stefanoni, G., Motik, B., Horrocks, I.: Small datalog query rewritings for EL. In: Proceedings of DL (2012)Google Scholar
  25. 25.
    Trivela, D., Stoilos, G., Chortaras, A., Stamou, G.B.: Optimising resolution-based rewriting algorithms for OWL ontologies. J. Web Semant. 33, 30–49 (2015)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.University of BremenBremenGermany

Personalised recommendations