Skip to main content

Datalog+/-: A Family of Languages for Ontology Querying

  • Conference paper

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

Abstract

In ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the need to deal with large data sets. This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying. Plain Datalog is extended by allowing existential quantifiers, the equality predicate, and the truth constant false to appear in rule heads. At the same time, the resulting language is syntactically restricted, so as to achieve decidability and even tractability.

Keywords

  • Description Logic
  • Conjunctive Query
  • Query Answering
  • Negative Constraint
  • Datalog Program

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-24206-9_20
  • Chapter length: 18 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-24206-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  2. Alvaro, P., Marczak, W., Conway, N., Hellerstein, J.M., Maier, D., Sears, R.C.: Towards scalable architectures for clickstream data warehousing. Technical report, EECS Department, University of California, Berkeley (2009)

    Google Scholar 

  3. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. J. Philosophical Logic 27, 217–274 (1998)

    MathSciNet  CrossRef  MATH  Google Scholar 

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

    MATH  Google Scholar 

  5. Baget, J.-F., Leclère, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proc. of IJCAI, pp. 677–682 (2009)

    Google Scholar 

  6. Bárány, V., Gottlob, G., Otto, M.: Querying the guarded fragment. In: Proc. of LICS, pp. 1–10 (2010)

    Google Scholar 

  7. Baumgartner, R., Flesca, S., Gottlob, G.: Visual web information extraction with Lixto. In: Proc. of VLDB, pp. 119–128 (2001)

    Google Scholar 

  8. Baumgartner, R., Gatterbauer, W., Gottlob, G.: Monadic Datalog and the expressive power of web information extraction languages. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp. 3465–3471. Springer-Verlag New York, Inc., New York (2009)

    Google Scholar 

  9. Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Proc. of ICALP, pp. 73–85 (1981)

    Google Scholar 

  10. Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF Schema. W3C Recommendation (2004), http://www.w3.org/TR/2004/REC-rdf-schema-20040210/

  11. Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Proc. of KR, pp. 70–80 (2008)

    Google Scholar 

  12. Calì, A., Gottlob, G., Lukasiewicz, T.: Datalog±: A unified approach to ontologies and integrity constraints. In: Proc. of ICDT, pp. 14–30 (2009)

    Google Scholar 

  13. Calì, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. In: Proc. of PODS, pp. 77–86 (2009)

    Google Scholar 

  14. Calì, A., Gottlob, G., Lukasiewicz, T.: A general Datalog-based framework for tractable query answering over ontologies. Technical Report RR-10-21, Computing Laboratory, University of Oxford (2010)

    Google Scholar 

  15. Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+/-: A family of logical knowledge representation and query languages for new applications. In: Proc. of LICS, pp. 228–242 (2010)

    Google Scholar 

  16. Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. Proc. of VLDB 3(1), 554–565 (2010)

    CrossRef  Google Scholar 

  17. Calì, A., Gottlob, G., Pieris, A.: Query answering under non-guarded rules in Datalog+/-. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 1–17. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  18. Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS, pp. 260–271 (2003)

    Google Scholar 

  19. Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR, pp. 292–303 (1996)

    Google Scholar 

  20. 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. Reasoning 39(3), 385–429 (2007)

    MathSciNet  CrossRef  MATH  Google Scholar 

  21. Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion dependencies and their interaction with functional dependencies. J. Comput. Syst. Sci. 28, 29–59 (1984)

    MathSciNet  CrossRef  MATH  Google Scholar 

  22. Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proc. of STOC, pp. 77–90 (1977)

    Google Scholar 

  23. Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies. SIAM J. Comput. 14, 671–677 (1985)

    MathSciNet  CrossRef  MATH  Google Scholar 

  24. de Bruijn, J., Heymans, S.: Logical foundations of (e)RDF(S): Complexity and reasoning. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 86–99. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  25. Deutsch, A., Nash, A., Remmel, J.B.: The chase revisisted. In: Proc. of PODS, pp. 149–158 (2008)

    Google Scholar 

  26. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    MathSciNet  CrossRef  MATH  Google Scholar 

  27. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    MathSciNet  CrossRef  MATH  Google Scholar 

  28. Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174–210 (2005)

    CrossRef  MATH  Google Scholar 

  29. Gottlob, G., Koch, C.: Monadic Datalog and the expressive power of web information extraction languages. J. ACM 51(1), 71–113 (2004)

    CrossRef  MATH  Google Scholar 

  30. Gottlob, G., Papadimitriou, C.H.: On the complexity of single-rule Datalog queries. Inf. and Comput. 183(1), 104–122 (2003)

    MathSciNet  CrossRef  MATH  Google Scholar 

  31. Hajiyev, E., Verbaere, M., de Moor, O.: codeQuest: scalable source code queries with datalog. In: Hu, Q. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2–27. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  32. Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28(1), 167–189 (1984)

    MathSciNet  CrossRef  MATH  Google Scholar 

  33. Lutz, C., Sattler, U., Tendera, L.: The complexity of finite model reasoning in description logics. Inf. and Comput. 199(1-2), 132–171 (2005)

    MathSciNet  CrossRef  MATH  Google Scholar 

  34. Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4(4), 455–469 (1979)

    CrossRef  Google Scholar 

  35. Marnette, B.: Generalized schema-mappings: From termination to tractability. In: Proc. of PODS, pp. 13–22 (2009)

    Google Scholar 

  36. Patel-Schneider, P.F., Horrocks, I.: A comparison of two modelling paradigms in the semantic web. J. Web Semantics 5(4), 240–250 (2007)

    CrossRef  Google Scholar 

  37. Rosati, R.: Finite model reasoning in dl-lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 215–229. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  38. Rosati, R.: On the finite controllability of conjunctive query answering in databases under open-world assumption. Journal of Computer and System Sciences (2010) (to appear)

    Google Scholar 

  39. Vardi, M.Y.: Personal communication reported in [32] (1984)

    Google Scholar 

  40. Vardi, M.Y.: On the complexity of bounded-variable queries. In: Proc. of PODS, pp. 266–276 (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Calì, A., Gottlob, G., Lukasiewicz, T., Pieris, A. (2011). Datalog+/-: A Family of Languages for Ontology Querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds) Datalog Reloaded. Datalog 2.0 2010. Lecture Notes in Computer Science, vol 6702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24206-9_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24206-9_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24205-2

  • Online ISBN: 978-3-642-24206-9

  • eBook Packages: Computer ScienceComputer Science (R0)