Optimized Query Rewriting for OWL 2 QL

  • Alexandros Chortaras
  • Despoina Trivela
  • Giorgos Stamou
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6803)

Abstract

The OWL 2 QL profile has been designed to facilitate query answering via query rewriting. This paper presents an optimized query rewriting algorithm which takes advantage of the special characteristics of the query rewriting problem via first-order resolution in OWL 2 QL and computes efficiently the rewriting set of a user query, by avoiding blind and unnecessary inferences, as well as by reducing the need for extended subsumption checks. The evaluation shows that in several cases the algorithm achieves a significant improvement and better practical scalability if compared to other similar approaches.

Keywords

query answering query rewriting OWL 2 QL DL-Lite 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)MATHMathSciNetGoogle Scholar
  2. 2.
    Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning (in 2 volumes), vol. 1, pp. 19–99. Elsevier, MIT Press (2001)Google Scholar
  3. 3.
    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. of Automated Reasoning 39, 385–429 (2007)CrossRefMATHMathSciNetGoogle Scholar
  4. 4.
    Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research 31, 157–204 (2008)MATHMathSciNetGoogle Scholar
  5. 5.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Procs. of KR 2010, pp. 247–357 (2010)Google Scholar
  6. 6.
    Pérez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for OWL 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 489–504. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 7.
    Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. on Data Semantics 10, 133–173 (2008)MATHGoogle Scholar
  8. 8.
    Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Procs. of KR 2010, pp. 290–300 (2010)Google Scholar
  9. 9.
    Stocker, M., Smith, M.: Owlgres: A scalable OWL reasoner. In: Procs. of OWLED 2008. CEUR-WS.org, vol. 432 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Alexandros Chortaras
    • 1
  • Despoina Trivela
    • 1
  • Giorgos Stamou
    • 1
  1. 1.School of Electrical and Computer EngineeringNational Technical University of AthensZografouGreece

Personalised recommendations