Skip to main content
SpringerLink
Log in

Certain Answers to a sparql Query over a Knowledge Base

  • Conference paper
  • First Online:
Semantic Technology (JIST 2019)

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

Included in the following conference series:

  • 1002 Accesses

Abstract

Ontology-Mediated Query Answering (OMQA) is a well-established framework to answer queries over an rdfs or owl Knowledge Base (KB). OMQA was originally designed for unions of conjunctive queries (UCQs), and based on certain answers. More recently, OMQA has been extended to sparql queries, but to our knowledge, none of the efforts made in this direction (either in the literature, or the so-called sparql entailment regimes) is able to capture both certain answers for UCQs and the standard interpretation of sparql over a plain graph. We formalize these as requirements to be met by any semantics aiming at conciliating certain answers and sparql answers, and define three additional requirements, which generalize to KBs some basic properties of sparql answers. Then we show that a semantics can be defined that satisfies all requirements for sparql queries with SELECT, UNION, and OPTIONAL, and for DLs with the canonical model property. We also investigate combined complexity for query answering under such a semantics over \(\textit{DL-Lite}_{\mathcal {R}}\) KBs. In particular, we show for different fragments of sparql that known upper-bounds for query answering over a plain graph are matched.

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

Notes

  1. 1.

    This is without loss of expressivity, but normalization may cause an exponential blowup.

References

  1. Ahmetaj, S., Fischl, W., Pichler, R., Šimkus, M., Skritek, S.: Towards reconciling SPARQL and certain answers. In: Proceedings of the 24th International Conference on World Wide Web, pp. 23–33. ACM (2015)

    Google Scholar 

  2. Arenas, M., Pérez, J.: Querying semantic web data with SPARQL. In: Proceedings of the Thirtieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 305–316. ACM (2011)

    Google Scholar 

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

  4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  5. 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 

  6. Glimm, B., Ogbuji, C.: SPARQL 1.1 entailment regimes. Technical report, W3C, March 2013

    Google Scholar 

  7. Gutierrez, C., Hernández, D., Hogan, A., Polleres, A.: Certain answers for SPARQL? In: AMW (2016)

    Google Scholar 

  8. Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 query language. W3C recommendation, W3C (2013)

    Google Scholar 

  9. Hernández, D., Gutierrez, C., Hogan, A.: Certain answers for SPARQL with blank nodes. In: Vrandečić, D., et al. (eds.) ISWC 2018. LNCS, vol. 11136, pp. 337–353. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00671-6_20

    Chapter  Google Scholar 

  10. Kontchakov, R., Rezk, M., Rodríguez-Muro, M., Xiao, G., Zakharyaschev, M.: Answering SPARQL queries over databases under OWL 2 QL entailment regime. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8796, pp. 552–567. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11964-9_35

    Chapter  Google Scholar 

  11. Kostylev, E.V., Cuenca Grau, B.: On the semantics of SPARQL queries with optional matching under entailment regimes. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8797, pp. 374–389. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11915-1_24

    Chapter  Google Scholar 

  12. Letelier, A., Pérez, J., Pichler, R., Skritek, S.: Static analysis and optimization of semantic web queries. ACM Trans. Database Syst. (TODS) 38(4), 25 (2013)

    Article  MathSciNet  Google Scholar 

  13. Mengel, S., Skritek, S.: On tractable query evaluation for SPARQL. arXiv preprint arXiv:1712.08939 (2017)

  14. Pérez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. (TODS) 34(3), 16 (2009)

    Article  Google Scholar 

  15. Schmidt, M., Meier, M., Lausen, G.: Foundations of SPARQL query optimization. In: Proceedings of the 13th International Conference on Database Theory, pp. 4–33. ACM (2010)

    Google Scholar 

  16. Xiao, G., et al.: Ontology-based data access: a survey. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-18, International Joint Conferences on Artificial Intelligence Organization, pp. 5511–5519, July 2018

    Google Scholar 

Download references

Acknowledgments

This research has been partially supported by the EU H2020 project INODE, by the Italian PRIN project HOPE, and by the Free University of Bozen-Bolzano through the projects QUADRO, KGID and GeoVKG.

Author information

Authors and Affiliations

  1. Free University of Bozen-Bolzano, Bolzano, Italy

    Julien Corman & Guohui Xiao

Authors
  1. Julien Corman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guohui Xiao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guohui Xiao .

Editor information

Editors and Affiliations

  1. Tianjin University, Tianjin, China

    Xin Wang

  2. University of Bari, Bari, Italy

    Francesca Alessandra Lisi

  3. Free University of Bozen-Bolzano, Bozen-Bolzano, Italy

    Guohui Xiao

  4. Imperial College London, London, UK

    Elena Botoeva

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Corman, J., Xiao, G. (2020). Certain Answers to a sparql Query over a Knowledge Base. In: Wang, X., Lisi, F., Xiao, G., Botoeva, E. (eds) Semantic Technology. JIST 2019. Lecture Notes in Computer Science(), vol 12032. Springer, Cham. https://doi.org/10.1007/978-3-030-41407-8_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-41407-8_21

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-41406-1

  • Online ISBN: 978-3-030-41407-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation