Rewriting Conjunctive Queries over Description Logic Knowledge Bases

  • Héctor Pérez-Urbina
  • Boris Motik
  • Ian Horrocks
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4925)

Abstract

We consider the problems of conjunctive query answering and rewriting for information integration systems in which a Description Logic ontology is used to provide a global view of the data. We present a resolution-based query rewriting algorithm for DL-Lite +  ontologies, and use it to show that query answering in this setting is NLogSpace-complete with respect to data complexity. We also show that our algorithm produces an optimal rewriting when the input ontology is expressed in the language DL-Lite. Finally, we sketch an extended version of the algorithm that would, we are confident, be optimal for several DL languages with data complexity of query answering ranging from LogSpace to PTime-complete.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baader, F., Brandt, S., Lutz, C.: Pushing the EL Envelope. In: Proc. IJCAI 2005, Edinburgh, Scotland, pp. 364–369 (2005)Google Scholar
  2. 2.
    Baader, F., Nutt, W.: Basic Description Logics, ch. 2, pp. 47–100. Cambridge University Press, Cambridge (2003)Google Scholar
  3. 3.
    Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 8, vol. I, pp. 445–532. Elsevier Science, Amsterdam (2001)CrossRefGoogle Scholar
  4. 4.
    Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch.2, vol. 1, pp. 19–100. North Holland, Amsterdam (2001)CrossRefGoogle Scholar
  5. 5.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rosati, R.: MASTRO-I: Efficient integration of relational data through DL ontologies. In: DL 2007 (2007)Google Scholar
  6. 6.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in Description Logics. In: Proc. DL 2005 (2005)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. of Automated Reasoning 9, 385–429 (2007)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Grädel, E.: Capturing complexity classes by fragments of second-order logic. Theor. Comput. Sci. 101, 35–57 (1992)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Green, C.: Theorem proving by resolution as a basis for question-answering systems. In: Meltzer, B., Michie, D. (eds.) 4th Annual Machine Intelligence Workshop, pp. 183–208. Edinburgh University Press (1969)Google Scholar
  10. 10.
    Halevy, A.Y.: Answering queries using views: A survey. The VLDB Journal 10(4), 270–294 (2001)CrossRefMATHGoogle Scholar
  11. 11.
    Heflin, J., Hendler, J.: A portrait of the semantic web in action. IEEE Intelligent Systems 16(2), 54–59 (2001)CrossRefGoogle Scholar
  12. 12.
    Joyner, W.H.: Resolution strategies as decision procedures. J. ACM 23(3), 398–417 (1976)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. In: Proc. PODS 1990, pp. 299–313 (1990)Google Scholar
  14. 14.
    Lee, J., Siau, K., Hong, S.: Enterprise integration with ERP and EAI. Commun. ACM 46(2), 54–60 (2003)CrossRefGoogle Scholar
  15. 15.
    Lenzerini, M.: Data Integration: a theoretical perspective. In: Proc. PODS 2002, pp. 233–246. ACM Press, New York (2002)Google Scholar
  16. 16.
    Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Univesität Karlsruhe (TH), Karlsruhe, Germany (January 2006)Google Scholar
  17. 17.
    De Nivelle, H., Schmidt, R.A., Hustadt, U.: Resolution-Based Methods for Modal Logics. Logic Journal of the IGPL 8(3), 265–292 (2000)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Rosati, R.: On conjunctive query answering in EL. In: In Proceedings of CEUR Electronic Workshop, DL2007 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Héctor Pérez-Urbina
    • 1
  • Boris Motik
    • 1
  • Ian Horrocks
    • 1
  1. 1.Computing LaboratoryUniversity of OxfordOxfordUK

Personalised recommendations