Skip to main content
Springer Nature Link
Log in

Vadalog: A Language and System for Knowledge Graphs

  • Conference paper
  • First Online:
Rules and Reasoning (RuleML+RR 2018)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11092))

Included in the following conference series:

Abstract

With the introduction of its Knowledge Graph [20], Google has coined the name for a new generation of knowledge-based systems that go beyond what was previously expected of areas that include graph databases, knowledge bases, machine-learning systems and rule-based logical reasoners.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Afrati, F.N., Gergatsoulis, M., Toni, F.: Linearisability on datalog programs. Theor. Comput. Sci. 308(1–3), 199–226 (2003)

    Article  MathSciNet  Google Scholar 

  2. Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. In: PODS, pp. 14–26 (2014)

    Google Scholar 

  3. Arming, S., Pichler, R., Sallinger, E.: Complexity of repair checking and consistent query answering. In: ICDT, vol. 48, LIPIcs. SD-LZI (2016)

    Google Scholar 

  4. Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: IJCAI, pp. 2–10 (2017)

    Google Scholar 

  5. Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 3–16. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-73117-9_1

    Chapter  Google Scholar 

  6. Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: The Vadalog system: swift logic for big data and enterprise knowledge graphs. In: AMW (2018)

    Google Scholar 

  7. Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: Datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975–987 (2018)

    Google Scholar 

  8. Calì, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. 48, 115–174 (2013)

    Article  MathSciNet  Google Scholar 

  9. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. J. Web Sem. 14, 57–83 (2012)

    Article  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: LICS, pp. 228–242 (2010)

    Google Scholar 

  11. Calì, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: the query answering problem. Artif. Intell. 193, 87–128 (2012)

    Article  MathSciNet  Google Scholar 

  12. Csar, T., Lackner, M., Pichler, R., Sallinger, E.: Winner determination in huge elections with mapreduce. In: AAAI, pp. 451–458. AAAI Press (2017)

    Google Scholar 

  13. Furche, T., Gottlob, G., Neumayr, B., Sallinger, E.: Data wrangling for big data: towards a lingua franca for data wrangling. In: AMW (2016)

    Google Scholar 

  14. Glimm, B., Ogbuji, C., Hawke, S., Herman, I., Parsia, B., Polleres, A., Seaborne, A.: SPARQL 1.1 entailment regimes. W3C Recommendation, 21 March 2013

    Google Scholar 

  15. Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: rules to the rescue. In: IJCAI, pp. 2999–3007 (2015)

    Google Scholar 

  16. Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Limits of schema mappings. Theory Comput. Syst. 62(4), 899–940 (2018)

    Article  MathSciNet  Google Scholar 

  17. Konstantinou, N., et al.: The VADA architecture for cost-effective data wrangling. In: SIGMOD, ACM (2017)

    Google Scholar 

  18. Michels, C., Fayzrakhmanov, R.R., Ley, M., Sallinger, E., Schenkel, R.: Oxpath-based data acquisition for dblp. In: JCDL, pp. 319–320. IEEE CS (2017)

    Google Scholar 

  19. Sallinger, E.: Reasoning about schema mappings. In: Data Exchange, Information, and Streams, volume 5 of Dagstuhl Follow-Ups, pp. 97–127. SD-LZI (2013)

    Google Scholar 

  20. Wikipedia: Knowledge graph. https://en.wikipedia.org/wiki/Knowledge_Graph (2017). Accessed 3 Mar 2018

Download references

Acknowledgments

This work has been supported by the EPSRC Programme Grant EP/M025268/1. The VADALOG system is IP of the University of Oxford.

Author information

Authors and Affiliations

  1. University of Oxford, Oxford, UK

    Luigi Bellomarini, Georg Gottlob & Emanuel Sallinger

  2. Banca d’Italia, Rome, Italy

    Luigi Bellomarini

  3. TU Wien, Vienna, Austria

    Georg Gottlob

  4. University of Edinburgh, Edinburgh, UK

    Andreas Pieris

Authors
  1. Luigi Bellomarini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Gottlob
    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. Emanuel Sallinger
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Emanuel Sallinger .

Editor information

Editors and Affiliations

  1. Computer Science, Freie Universität Berlin, Berlin, Germany

    Christoph Benzmüller

  2. University of Calabria, Rende, Italy

    Francesco Ricca

  3. Université du Luxembourg, Esch-sur-Alzette, Luxembourg

    Xavier Parent

  4. SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E. (2018). Vadalog: A Language and System for Knowledge Graphs. In: Benzmüller, C., Ricca, F., Parent, X., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2018. Lecture Notes in Computer Science(), vol 11092. Springer, Cham. https://doi.org/10.1007/978-3-319-99906-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-99906-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-99905-0

  • Online ISBN: 978-3-319-99906-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics