Skip to main content
SpringerLink
Log in

Datalog and Its Extensions for Semantic Web Databases

  • Chapter
Book cover Reasoning Web. Semantic Technologies for Advanced Query Answering (Reasoning Web 2012)

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

Included in the following conference series:

Abstract

Since the early 70s, data management played a central role in organizations and represented a challenging area of research. A number of languages have been proposed to model, query, and manipulate data, as well as for expressing very general classes of integrity constraints, inference procedures, and ontological knowledge. Such languages are nowadays crucial for many applications such as semantic data publishing and integration, decision support, and knowledge management. In this tutorial we first introduce Datalog, a powerful rule-based language originally intended for expressing complex queries over relational data, and that today is at the basis of languages for the specification of optimization and constraint satisfaction problems as well as of ontological constraints in data and knowledge bases. We then discuss the limitations of Datalog for the semantic web, in particular for ontological modeling and reasoning, and we present several extensions that allow to capture some of the ontology languages of the OWL family, the standard language for semantic data modeling on the semantic web.

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

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 (1995)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. Andréka, H., Németi, I.: The generalised completeness of Horn predicate logics as programming language. Acta Cybernetica 4(1), 3–10 (1978)

    MathSciNet  MATH  Google Scholar 

  4. Baader, F., Brandt, S., Lutz, C.: Pushing the \(\mathcal{EL}\) envelope. In: Proc. of IJCAI, pp. 364–369 (2005)

    Google Scholar 

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

    Google Scholar 

  6. Baget, J.F., Leclère, M., Mugnier, M.L.: Walking the decidability line for rules with existential variables. In: Proc. of KR (2010)

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

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

  11. Calì, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. PVLDB 3(1), 554–565 (2010)

    Google Scholar 

  12. Calì, A., Gottlob, G., Pieris, A.: Query answering under non-guarded rules in Datalog±. In: Proc. of RR, pp. 175–190 (2010)

    Google Scholar 

  13. Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer (1990)

    Google Scholar 

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

  16. Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies. SIAM Journal of Computing 14(3), 671–677 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  17. Cosmadakis, S.S., Gaifman, H., Kanellakis, P.C., Vardi, M.Y.: Decidable optimization problems for database logic programs (preliminary report). In: Proc. of STOC, pp. 477–490 (1988)

    Google Scholar 

  18. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Computing Surveys 33(3), 374–425 (2001)

    Article  Google Scholar 

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

    Google Scholar 

  20. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Trans. on Database Systems 22(3), 364–418 (1997)

    Article  Google Scholar 

  21. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A Deductive System for Non-Monotonic Reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, Springer, Heidelberg (1997)

    Google Scholar 

  22. Eiter, T., Simkus, M.: FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols. ACM Transactions on Computational Logic 11(2) (2010)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  24. Gaifman, H., Mairson, H.G., Sagiv, Y., Vardi, M.Y.: Undecidable optimization problems for database logic programs. J. of the ACM 40(3), 683–713

    Google Scholar 

  25. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AICOM 24(2), 105–124 (2011)

    MathSciNet  MATH  Google Scholar 

  26. Grädel, E.: On the restraining power of guards. J. Symb. Log. 64(4), 1719–1742 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  27. Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-primer/

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

    Article  MathSciNet  MATH  Google Scholar 

  29. Krötzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Proc. of IJCAI, pp. 963–968 (2011)

    Google Scholar 

  30. Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer (1993)

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  33. OWL Working Group, W. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation (October 27, 2009), http://www.w3.org/TR/owl2-overview/

  34. Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1994)

    Google Scholar 

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

    Article  Google Scholar 

  36. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. Journal on Data Semantics 10, 133–173 (2008)

    MATH  Google Scholar 

  37. Vardi, M.Y.: The complexity of relational query languages (extended abstract). In: Proc. of STOC, pp. 137–146 (1982)

    Google Scholar 

  38. Vardi, M.Y.: Decidability and undecidability results for boundedness of linear recursive queries. In: Proc. of PODS, pp. 341–351 (1988)

    Google Scholar 

  39. Vardi, M.Y.: Why is modal logic so robustly decidable? In: Descriptive Complexity and Finite Models, pp. 149–184 (1996)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oxford, UK

    Georg Gottlob, Giorgio Orsi & Andreas Pieris

  2. Institute of Information Systems, Vienna University of Technology, Austria

    Mantas Šimkus

  3. Oxford-Man Institute of Quantitative Finance, University of Oxford, UK

    Georg Gottlob

  4. Institute for the Future of Computing, Oxford Martin School, UK

    Georg Gottlob & Giorgio Orsi

Authors
  1. Georg Gottlob
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giorgio Orsi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Pieris
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mantas Šimkus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information Systems, Knowledge-Based Systems Group, Vienna University of Technology, Favoritenstraße 9–11/1843, A-1040, Vienna, Austria

    Thomas Eiter  & Thomas Krennwallner  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gottlob, G., Orsi, G., Pieris, A., Šimkus, M. (2012). Datalog and Its Extensions for Semantic Web Databases. In: Eiter, T., Krennwallner, T. (eds) Reasoning Web. Semantic Technologies for Advanced Query Answering. Reasoning Web 2012. Lecture Notes in Computer Science, vol 7487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33158-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33158-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation