Advertisement

Prexto: Query Rewriting under Extensional Constraints in DL − Lite

  • Riccardo Rosati
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7295)

Abstract

In this paper we present Prexto, an algorithm for computing a perfect rewriting of unions of conjunctive queries over ontologies expressed in the description logic DL − Lite. The main novelty of Prexto lies in the fact that it constitutes the first technique for query rewriting over ontologies which fully exploits extensional constraints to optimize query rewriting. In addition, Prexto makes use of functional role axioms and of concept and role disjointness axioms to optimize the size of the rewritten query. We show that these optimizations allow Prexto to outperform the existing query rewriting techniques for DL − Lite in practical cases.

Keywords

Description Logic Integrity Constraint Disjunctive Normal Form Conjunctive Query Query Answering 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    OWL 2 web ontology language profiles (2009), http://www.w3.org/TR/owl-profiles/
  2. 2.
    Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. of Artificial Intelligence Research 36, 1–69 (2009)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodriguez-Muro, M., Rosati, R., Ruzzi, M., Savo, D.F.: The Mastro system for ontology-based data access. Semantic Web J. 2(1), 43–53 (2011)Google Scholar
  4. 4.
    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(3), 385–429 (2007)zbMATHCrossRefGoogle Scholar
  5. 5.
    Gottlob, G., Schwentick, T.: Rewriting ontological queries into small nonrecursive datalog programs. In: Proc. of the 24th Int. Workshop on Description Logic, DL 2011 (2011)Google Scholar
  6. 6.
    Kikot, S., Kontchakov, R., Zakharyaschev, M.: On (in)tractability of OBDA with OWL2QL. In: Proc. of the 24th Int. Workshop on Description Logic, DL 2011 (2011)Google Scholar
  7. 7.
    Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 247–257 (2010)Google Scholar
  8. 8.
    Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. J. of Web Semantics 7(2), 74–89 (2009)CrossRefGoogle Scholar
  9. 9.
    Pérez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. J. of Applied Logic 8(2), 186–209 (2010)zbMATHCrossRefGoogle Scholar
  10. 10.
    Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking Data to Ontologies. In: Spaccapietra, S. (ed.) Journal on Data Semantics X. LNCS, vol. 4900, pp. 133–173. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Rodriguez-Muro, M., Calvanese, D.: Dependencies: Making ontology based data access work in practice. In: Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management, AMW 2011 (2011)Google Scholar
  12. 12.
    Rosati, R.: On conjunctive query answering in \(\mathcal{EL}\). In: Proc. of the 20th Int. Workshop on Description Logic (DL 2007). CEUR Electronic Workshop Proceedings, vol. 250, pp. 451–458 (2007), http://ceur-ws.org/
  13. 13.
    Rosati, R., Almatelli, A.: Improving query answering over DL-Lite ontologies. In: Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2010), pp. 290–300 (2010)Google Scholar
  14. 14.
    Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: Proc. of the 24th AAAI Conf. on Artificial Intelligence, AAAI 2010 (2010)Google Scholar
  15. 15.
    Thomas, E., Pan, J.Z., Ren, Y.: TrOWL: Tractable OWL 2 Reasoning Infrastructure. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010, Part II. LNCS, vol. 6089, pp. 431–435. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Riccardo Rosati
    • 1
  1. 1.Dipartimento di Ingegneria Informatica, Automatica e Gestionale Antonio RubertiSapienza Università di RomaItaly

Personalised recommendations