Skip to main content
SpringerLink
Log in
Book cover

Reasoning Web. Causality, Explanations and Declarative Knowledge pp 161–198Cite as

Vadalog: Overview, Extensions and Business Applications

  • Chapter
  • First Online:

  • 296 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13759))

Abstract

Knowledge graphs (KGs) have in recent years gained a large momentum both in academic research and in business applications. They have become a bridge between databases, artificial intelligence (AI), data science, the (semantic) web, linked data, and many other areas. In particular, in declarative AI, they have become a bridge between logic-based reasoning, and machine learning-based reasoning. Languages for KGs on the one hand, and systems for KGs – i.e., Knowledge Graph Managament System (KGMS) – on the other hand, have garnered increasing attention. Of particular importance are language and system extensions – such as probabilistic reasoning, numeric reasoning, etc. – supporting various real-world applications, and the business applications that can be built using such extensions.

In this work, we give an overview of the Vadalog language and system, a KGMS. We focus on three areas: (1) a basic overview, including an introduction to dependencies, the Datalog and Vadalog languages, (2) the extensions of the system, including arithmetic and aggregation, real-world data interfaces, temporal reasoning, and machine learning, and (3) the business applications, including: corporate governance, media intelligence, supply chains, collateral eligibility, hostile takeovers, smart anonymization, and anti-money laundering.

This is a preview of subscription content, 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   49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   64.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

Learn about institutional subscriptions

Notes

  1. 1.

    This formalization of the base case is slightly different from the natural definition but commonly assumed in the literature as it is more compact and formally equivalent.

References

  1. Guideline (eu) 2011/14 of the ecb. https://www.ecb.europa.eu/ecb/legal/pdf/l_33120111214en000100951.pdf

  2. Thomson reuters launches first of its kind knowledge graph feed allowing financial services customers to accelerate their ai and digital strategies (2017). https://www.thomsonreuters.com/en/press-releases/2017/october/thomson-reuters-launches-first-of-its-kind-knowledge-graph-feed.html. Accessed 21 Sep 2022

  3. Understanding news using the bloomberg knowledge graph (2019). https://speakerdeck.com/emeij/understanding-news-using-the-bloomberg-knowledge-graph. Accessed 21 Sep 2022

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

    Article  MathSciNet  MATH  Google Scholar 

  5. Arming, S., Pichler, R., Sallinger, E.: Complexity of repair checking and consistent query answering. In: Martens, W., Zeume, T. (eds.) 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15–18, 2016. LIPIcs, vol. 48, pp. 21:1–21:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016). https://doi.org/10.4230/LIPIcs.ICDT.2016.21

  6. Atzeni, P., Bellomarini, L., Iezzi, M., Sallinger, E., Vlad, A.: Augmenting logic-based knowledge graphs: the case of company graphs. In: KR4L@ ECAI, pp. 22–27 (2020)

    Google Scholar 

  7. Atzeni, P., Bellomarini, L., Iezzi, M., Sallinger, E., Vlad, A.: Weaving enterprise knowledge graphs: the case of company ownership graphs. In: EDBT, pp. 555–566 (2020)

    Google Scholar 

  8. Baget, J.F., Leclère, M., Mugnier, M.L.: Walking the decidability line for rules with existential variables. KR 10, 466–476 (2010)

    Google Scholar 

  9. Baldazzi, T., Atzeni, P.: Warded datalog+/- reasoning in financial settings with harmful joins. In: Ramanath, M., Palpanas, T. (eds.) Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, 29 March 2022. CEUR Workshop Proceedings, vol. 3135. CEUR-WS.org (2022). http://ceur-ws.org/Vol-3135/EcoFinKG_2022_paper13.pdf

  10. Baldazzi, T., Bellomarini, L., Favorito, M., Sallinger, E.: On the relationship between shy and warded datalog+/-. arXiv preprint arXiv:2202.06285 (2022)

  11. Baldazzi, T., Bellomarini, L., Sallinger, E., Atzeni, P.: Eliminating harmful joins in warded datalog+/-. In: Moschoyiannis, S., Peñaloza, R., Vanthienen, J., Soylu, A., Roman, D. (eds.) RuleML+RR 2021. LNCS, vol. 12851, pp. 267–275. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-91167-6_18

    Chapter  Google Scholar 

  12. Baldazzi, T., Bellomarini, L., Sallinger, E., Atzeni, P.: Reasoning in warded datalog+/- with harmful joins. In: Amato, G., Bartalesi, V., Bianchini, D., Gennaro, C., Torlone, R. (eds.) Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19–22, 2022. CEUR Workshop Proceedings, vol. 3194, pp. 292–299. CEUR-WS.org (2022). http://ceur-ws.org/Vol-3194/paper35.pdf

  13. Baldazzi, T., Benedetto, D., Brandetti, M., Vlad, A., Bellomarini, L., Sallinger, E.: Datalog-based reasoning with heuristics over knowledge graphs (2022)

    Google Scholar 

  14. Baldazzi, T., Benedetto, D., Brandetti, M., Vlad, A., Bellomarini, L., Sallinger, E.: Heuristic-based reasoning on financial knowledge graphs. In: EDBT/ICDT Workshops (2022)

    Google Scholar 

  15. Bank, E.C.: The use of credit claims as collateral for eurosystem credit operations, June 2013. https://www.ecb.europa.eu/pub/pdf/scpops/ecbocp148.pdf

  16. Bank, E.C.: Guideline (eu) 2015/510 of the european central bank of 19 december 2014 on the implementation of the eurosystem monetary policy framework (ecb/2014/60), June 2014. http://data.europa.eu/eli/guideline/2015/510/oj

  17. Barca, F., Becht, M.: The control of corporate Europe. Oxford University Press, European corporate governance network (2001)

    Google Scholar 

  18. Barceló, P., Pichler, R. (eds.): LNCS, vol. 7494. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32925-8

    Book  MATH  Google Scholar 

  19. Baru, C., et al.: Open knowledge network roadmap - powering the next data revolution (2022). https://nsf-gov-resources.nsf.gov/2022-09/OKN%20Roadmap%20-%20Report_v03.pdf

  20. Baru, C., et al.: Open knowledge network roadmap - powering the next data revolution - appendix a (2022). https://nsf-gov-resources.nsf.gov/2022-09/OKN%20Roadmap%20-%20Appendix%20A$_v03$.pdf

  21. Bellomarini, L., et al.: Reasoning on company takeovers: from tactic to strategy. Data Knowl. Eng. 141, 102073 (2022)

    Google Scholar 

  22. Bellomarini, L., et al.: Reasoning on company takeovers during the COVID-19 crisis with knowledge graphs. In: RuleML+RR (Supplement). CEUR Workshop Proceedings, vol. 2644, pp. 145–156. CEUR-WS.org (2020)

    Google Scholar 

  23. Bellomarini, L., et al.: COVID-19 and company knowledge graphs: assessing golden powers and economic impact of selective lockdown via AI reasoning. CoRR abs/2004.10119 (2020). https://arxiv.org/abs/2004.10119

  24. Bellomarini, L., Benedetto, D., Brandetti, M., Sallinger, E.: Exploiting the power of equality-generating dependencies in ontological reasoning. Proc. VLDB Endow. 16 3967–3988 (2022)

    Google Scholar 

  25. Bellomarini, L., Benedetto, D., Gottlob, G., Sallinger, E.: Vadalog: a modern architecture for automated reasoning with large knowledge graphs. Inf. Syst. 105 101528 (2020)

    Google Scholar 

  26. Bellomarini, L., Benedetto, D., Laurenza, E., Sallinger, E.: A framework for probabilistic reasoning on knowledge graphs. In: Building Bridges between Soft and Statistical Methodologies for Data Science . SMPS 2022. AISC, vol. 1433, pp. 48–56. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-15509-3_7

  27. Bellomarini, L., Blasi, L., Laurendi, R., Sallinger, E.: Financial data exchange with statistical confidentiality: a reasoning-based approach. In: EDBT, pp. 558–569. OpenProceedings.org (2021)

    Google Scholar 

  28. Bellomarini, L., Blasi, L., Nissl, M., Sallinger, E.: The temporal vadalog system. In: RuleML+RR. p. to appear (2022)

    Google Scholar 

  29. Bellomarini, L., Fakhoury, D., Gottlob, G., Sallinger, E.: Knowledge graphs and enterprise AI: the promise of an enabling technology. In: ICDE, pp. 26–37. IEEE (2019)

    Google Scholar 

  30. Bellomarini, L., et al.: Data science with vadalog: bridging machine learning and reasoning. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., Méry, D., Ordonez, C. (eds.) MEDI 2018. LNCS, vol. 11163, pp. 3–21. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00856-7_1

    Chapter  Google Scholar 

  31. Bellomarini, L., Galano, G., Nissl, M., Sallinger, E.: Rule-based blockchain knowledge graphs: declarative AI for solving industrial blockchain challenges. In: RuleML+RR (Supplement). CEUR Workshop Proceedings, vol. 2956. CEUR-WS.org (2021)

    Google Scholar 

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

    Google Scholar 

  33. Bellomarini, L., Laurenza, E., Sallinger, E.: Rule-based anti-money laundering in financial intelligence units: experience and vision. In: RuleML+RR (Supplement). CEUR Workshop Proceedings, vol. 2644, pp. 133–144. CEUR-WS.org (2020)

    Google Scholar 

  34. Bellomarini, L., Laurenza, E., Sallinger, E.: Rule-based anti-money laundering in financial intelligence units: experience and vision. In: RuleML+ RR (Supplement) (2020)

    Google Scholar 

  35. Bellomarini, L., Laurenza, E., Sallinger, E., Sherkhonov, E.: Reasoning under uncertainty in knowledge graphs. In: Gutiérrez-Basulto, V., Kliegr, T., Soylu, A., Giese, M., Roman, D. (eds.) RuleML+RR 2020. LNCS, vol. 12173, pp. 131–139. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-57977-7_9

    Chapter  MATH  Google Scholar 

  36. Bellomarini, L., Magnanimi, D., Nissl, M., Sallinger, E.: Neither in the programs nor in the data: mining the hidden financial knowledge with knowledge graphs and reasoning. In: Bitetta, V., Bordino, I., Ferretti, A., Gullo, F., Ponti, G., Severini, L. (eds.) MIDAS 2020. LNCS (LNAI), vol. 12591, pp. 119–134. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-66981-2_10

    Chapter  Google Scholar 

  37. Bellomarini, L., Nissl, M., Sallinger, E.: Monotonic aggregation for temporal datalog. In: RuleML+RR (Supplement). CEUR Workshop Proceedings, vol. 2956. CEUR-WS.org (2021)

    Google Scholar 

  38. Bellomarini, L., Nissl, M., Sallinger, E.: Query evaluation in datalogmtl - taming infinite query results. CoRR abs/2109.10691 (2021)

    Google Scholar 

  39. Bellomarini, L., Nissl, M., Sallinger, E.: iTemporal: an extensible generator of temporal benchmarks. In: ICDE, pp. 2021–2033. IEEE (2022)

    Google Scholar 

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

    Google Scholar 

  41. Bellomarini, L., Sallinger, E., Vahdati, S.: Chapter 2 Knowledge graphs: the layered perspective. In: Janev, V., Graux, D., Jabeen, H., Sallinger, E. (eds.) Knowledge Graphs and Big Data Processing. LNCS, vol. 12072, pp. 20–34. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-53199-7_2

    Chapter  Google Scholar 

  42. Bellomarini, L., Sallinger, E., Vahdati, S.: Chapter 6 Reasoning in knowledge graphs: an embeddings spotlight. In: Janev, V., Graux, D., Jabeen, H., Sallinger, E. (eds.) Knowledge Graphs and Big Data Processing. LNCS, vol. 12072, pp. 87–101. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-53199-7_6

    Chapter  Google Scholar 

  43. Berger, G., Gottlob, G., Pieris, A., Sallinger, E.: The space-efficient core of vadalog. ACM Trans. Database Syst. 47(1), 1:1–1:46 (2022). https://doi.org/10.1145/3488720

  44. Bergman, M.K.: A common sense view of knowledge graphs (2019)

    Google Scholar 

  45. Bollacker, K.D., Cook, R.P., Tufts, P.: Freebase: a shared database of structured general human knowledge. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 22–26 July 2007, Vancouver, British Columbia, Canada, pp. 1962–1963. AAAI Press (2007)

    Google Scholar 

  46. Bordes, A., Usunier, N., García-Durán, A., Weston, J., Yakhnenko, O.: Translating embeddings for modeling multi-relational data. In: Burges, C.J.C., Bottou, L., Ghahramani, Z., Weinberger, K.Q. (eds.) Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013, pp. 2787–2795. Proceedings of a meeting held, 5–8 December 2013, Lake Tahoe, Nevada, United States (2013)

    Google Scholar 

  47. Brandt, S., Kalayci, E.G., Kontchakov, R., Ryzhikov, V., Xiao, G., Zakharyaschev, M.: Ontology-based data access with a Horn fragment of metric temporal logic. In: AAAI, pp. 1070–1076. AAAI Press (2017)

    Google Scholar 

  48. 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  MATH  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  51. Clearman, J., et al.: Feature engineering and explainability with vadalog: a recommender systems application. In: Alviano, M., Pieris, A. (eds.) Datalog 2.0 2019–3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), 4–5 June 2019. CEUR Workshop Proceedings, vol. 2368, pp. 39–43. CEUR-WS.org (2019). http://ceur-ws.org/Vol-2368/paper4.pdf

  52. Csar, T., Lackner, M., Pichler, R., Sallinger, E.: Winner determination in huge elections with mapreduce. In: Singh, S., Markovitch, S. (eds.) Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 4–9 February 2017, San Francisco, California, USA, pp. 451–458. AAAI Press (2017). http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14894

  53. Ding, W., Chaudhri, V.K., Chittar, N., Konakanchi, K.: JEL: applying end-to-end neural entity linking in jpmorgan chase. In: AAAI, pp. 15301–15308. AAAI Press (2021)

    Google Scholar 

  54. FATF: Transparency and Beneficial Ownership (2016). http://www.fatf-gafi.org/media/fatf/documents/reports/Guidance-transparency-beneficial-ownership.pdf. Accessed 17 Jan 2020

  55. Fayzrakhmanov, R.R., Sallinger, E., Spencer, B., Furche, T., Gottlob, G.: Browserless web data extraction: challenges and opportunities. In: Champin, P., Gandon, F., Lalmas, M., Ipeirotis, P.G. (eds.) Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, 23–27 April 2018, pp. 1095–1104. ACM (2018). https://doi.org/10.1145/3178876.3186008

  56. Feinerer, I., Pichler, R., Sallinger, E., Savenkov, V.: On the undecidability of the equivalence of second-order tuple generating dependencies. In: Barceló, P., Tannen, V. (eds.) Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, 9–12 May 2011. CEUR Workshop Proceedings, vol. 749. CEUR-WS.org (2011). http://ceur-ws.org/Vol-749/paper5.pdf

  57. Feinerer, I., Pichler, R., Sallinger, E., Savenkov, V.: On the undecidability of the equivalence of second-order tuple generating dependencies. Inf. Syst. 48, 113–129 (2015). https://doi.org/10.1016/j.is.2014.09.003

  58. Furche, T., Gottlob, G., Neumayr, B., Sallinger, E.: Data wrangling for big data: towards a lingua franca for data wrangling. In: Pichler, R., da Silva, A.S. (eds.) Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, 8–10 May 2016. CEUR Workshop Proceedings, vol. 1644. CEUR-WS.org (2016). http://ceur-ws.org/Vol-1644/paper20.pdf

  59. Glaser, P., Ali, S.J., Sallinger, E., Bork, D.: Model-based construction of enterprise architecture knowledge graphs. In: Almeida, J.P.A., Karastoyanova, D., Guizzardi, G., Montali, M., Maggi, F.M., Fonseca, C.M. (eds.) Enterprise Design, Operations, and Computing - 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, 3–7 October 2022, Proceedings. LNCS, vol. 13585, pp. 57–73. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-17604-3_4

  60. Glattfelder, J.B.: Ownership networks and corporate control: mapping economic power in a globalized world. Ph.D. thesis, ETH Zurich (2010)

    Google Scholar 

  61. Gottlob, G., Pichler, R., Sallinger, E.: Function symbols in tuple-generating dependencies: expressive power and computability. In: Milo, T., Calvanese, D. (eds.) Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, 31 May–4 June 2015, pp. 65–77. ACM (2015). https://doi.org/10.1145/2745754.2745756

  62. Gottlob, G., Pieris, A.: Beyond SPARQL under owl 2 QL entailment regime: rules to the rescue. In: IJCAI (2015)

    Google Scholar 

  63. Gottlob, G., Pieris, A., Sallinger, E.: Vadalog: recent advances and applications. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 21–37. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-19570-0_2

    Chapter  Google Scholar 

  64. Guagliardo, P., Pichler, R., Sallinger, E.: Enhancing the updatability of projective views. In: Bravo, L., Lenzerini, M. (eds.) Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, 21–23 May 2013. CEUR Workshop Proceedings, vol. 1087. CEUR-WS.org (2013). http://ceur-ws.org/Vol-1087/paper6.pdf

  65. Gulino, A., Ceri, S., Gottlob, G., Sallinger, E., Bellomarini, L.: Distributed company control in company shareholding graphs. In: 37th IEEE International Conference on Data Engineering, ICDE 2021, Chania, Greece, 19–22 April 2021, pp. 2637–2648. IEEE (2021). https://doi.org/10.1109/ICDE51399.2021.00294

  66. International Monetary Fund: World economic outlook, April 2019. https://bit.ly/3cKyuzL. Accessed 22 Sep 2022

  67. Janev, V., Graux, D., Jabeen, H., Sallinger, E. (eds.): LNCS, vol. 12072. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-53199-7

    Book  Google Scholar 

  68. Joshi, A., et al.: A knowledge organization system for the united nations sustainable development goals. In: Verborgh, R., et al. (eds.) ESWC 2021. LNCS, vol. 12731, pp. 548–564. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-77385-4_33

    Chapter  Google Scholar 

  69. Kinnear, M., Shan, W.: The legal protection of foreign investment: a comparative study (with a Foreword by Meg Kinnear, Secretary-General of the ICSID). Bloomsbury Publishing (2012). https://books.google.it/books?id=RyvcBAAAQBAJ

  70. Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Nested dependencies: structure and reasoning. In: Hull, R., Grohe, M. (eds.) Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2014, Snowbird, UT, USA, 22–27 June 2014, pp. 176–187. ACM (2014). https://doi.org/10.1145/2594538.2594544

  71. Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Limits of schema mappings. In: Martens, W., Zeume, T. (eds.) 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, 15–18 March 2016. LIPIcs, vol. 48, pp. 19:1–19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016). https://doi.org/10.4230/LIPIcs.ICDT.2016.19

  72. Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: Limits of schema mappings. Theory Comput. Syst. 62(4), 899–940 (2017). https://doi.org/10.1007/s00224-017-9812-7

    Article  MathSciNet  MATH  Google Scholar 

  73. Kolaitis, P.G., Pichler, R., Sallinger, E., Savenkov, V.: On the language of nested tuple generating dependencies. ACM Trans. Database Syst. 45(2), 8:1–8:59 (2020). https://doi.org/10.1145/3369554

  74. Konstantinou, N., et al.: VADA: an architecture for end user informed data preparation. J. Big Data 6(1), 1–32 (2019). https://doi.org/10.1186/s40537-019-0237-9

    Article  MathSciNet  Google Scholar 

  75. Magnanimi, D., Iezzi, M.: Ownership graphs and reasoning in corporate economics. In: EDBT/ICDT Workshops (2022)

    Google Scholar 

  76. Mahdisoltani, F., Biega, J., Suchanek, F.M.: YAGO3: a knowledge base from multilingual wikipedias. In: Seventh Biennial Conference on Innovative Data Systems Research, CIDR 2015, Asilomar, CA, USA, 4–7 January 2015, Online Proceedings (2015). https://www.cidrdb.org/

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

    Article  Google Scholar 

  78. Mazuran, M., Serra, E., Zaniolo, C.: Extending the power of datalog recursion. VLDB J. 22(4), 471–493 (2013)

    Article  MATH  Google Scholar 

  79. Michels, C., Fayzrakhmanov, R.R., Ley, M., Sallinger, E., Schenkel, R.: Oxpath-based data acquisition for dblp. In: 2017 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2017, Toronto, ON, Canada, 19–23 June 2017, pp. 319–320. IEEE Computer Society (2017). https://doi.org/10.1109/JCDL.2017.7991609

  80. Miller, G.A.: Wordnet: a lexical database for English. Commun. ACM 38(11), 39–41 (1995)

    Google Scholar 

  81. Mori, M., Papotti, P., Bellomarini, L., Giudice, O.: Neural machine translation for fact-checking temporal claims. In: Proceedings of the Fifth Fact Extraction and VERification Workshop (FEVER), pp. 78–82. Association for Computational Linguistics, May 2022

    Google Scholar 

  82. Nayyeri, M., Vahdati, S., Sallinger, E., Alam, M.M., Yazdi, H.S., Lehmann, J.: Pattern-aware and noise-resilient embedding models. In: Hiemstra, D., Moens, M.-F., Mothe, J., Perego, R., Potthast, M., Sebastiani, F. (eds.) ECIR 2021. LNCS, vol. 12656, pp. 483–496. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-72113-8_32

    Chapter  Google Scholar 

  83. Nayyeri, M., et al.: Fantastic knowledge graph embeddings and how to find the right space for them. In: Pan, J.Z., et al. (eds.) ISWC 2020. LNCS, vol. 12506, pp. 438–455. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-62419-4_25

    Chapter  Google Scholar 

  84. Nissl, M., Sallinger, E.: Modelling smart contracts with datalogmtl. In: Ramanath, M., Palpanas, T. (eds.) Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, 29 March 2022. CEUR Workshop Proceedings, vol. 3135. CEUR-WS.org (2022). http://ceur-ws.org/Vol-3135/EcoFinKG_2022_paper4.pdf

  85. Nissl, M., Sallinger, E., Schulte, S., Borkowski, M.: Towards cross-blockchain smart contracts. In: IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2021, Online Event, 23–26 August 2021, pp. 85–94. IEEE (2021). https://doi.org/10.1109/DAPPS52256.2021.00015

  86. Pichler, R., Sallinger, E., Savenkov, V.: Relaxed notions of schema mapping equivalence revisited. In: Milo, T. (ed.) Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, 21–24 March 2011, Proceedings, pp. 90–101. ACM (2011). https://doi.org/10.1145/1938551.1938566

  87. Pichler, R., Sallinger, E., Savenkov, V.: Relaxed notions of schema mapping equivalence revisited. Theory Comput. Syst. 52(3), 483–541 (2013). https://doi.org/10.1007/s00224-012-9397-0

  88. Sallinger, E.: Reasoning about schema mappings. In: Kolaitis, P.G., Lenzerini, M., Schweikardt, N. (eds.) Data Exchange, Integration, and Streams, Dagstuhl Follow-Ups, vol. 5, pp. 97–127. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013). https://doi.org/10.4230/DFU.Vol5.10452.97

  89. Sallinger, E., Vahdati, S., Nayyeri, M., Wu, L. (eds.): Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), Virtual Event, September 2020, CEUR Workshop Proceedings, vol. 3020. CEUR-WS.org (2021). http://ceur-ws.org/Vol-3020

  90. Samarati, P.: k-anonymity. In: van Tilborg, H.C.A., Jajodia, S. (eds.) Encyclopedia of Cryptography and Security, 2nd ed., pp. 663–666. Springer, Boston, MA (2011). https://doi.org/10.1007/978-1-4419-5906-5_754

  91. Shkapsky, A., Yang, M., Zaniolo, C.: Optimizing recursive queries with monotonic aggregates in deals. In: ICDE, pp. 867–878. IEEE Computer Society (2015)

    Google Scholar 

  92. Staff, O.: OECD handbook on economic globalisation indicators. OECD (2005)

    Google Scholar 

  93. Vlad, A., Vahdati, S., Nayyeri, M., Bellomarini, L., Sallinger, E.: Towards hybrid logic-based and embedding-based reasoning on financial knowledge graphs. In: EDBT/ICDT Workshops (2022)

    Google Scholar 

  94. Vlad, A., Vahdati, S., Nayyeri, M., Bellomarini, L., Sallinger, E.: Towards hybrid logic-based and embedding-based reasoning on financial knowledge graphs. In: Ramanath, M., Palpanas, T. (eds.) Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, 29 March 2022. CEUR Workshop Proceedings, vol. 3135. CEUR-WS.org (2022). http://ceur-ws.org/Vol-3135/EcoFinKG_2022_paper8.pdf

  95. Walega, P.A., Cuenca Grau, B., Kaminski, M., Kostylev, E.V.: Datalogmtl: computational complexity and expressive power. In: IJCAI, pp. 1886–1892 (2019). https://www.ijcai.org/

  96. Wallmann, C., Gerschberger, M.: The association between network centrality measures and supply chain performance: the case of distribution networks. In: Longo, F., Affenzeller, M., Padovano, A. (eds.) Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), Virtual Event, Austria, 23–25 November 2020. Procedia Computer Science, vol. 180, pp. 172–179. Elsevier (2020). https://doi.org/10.1016/j.procs.2021.01.153

  97. Wang, Q., Mao, Z., Wang, B., Guo, L.: Knowledge graph embedding: a survey of approaches and applications. IEEE Trans. Knowl. Data Eng. 29(12), 2724–2743 (2017)

    Article  Google Scholar 

  98. West, R., Gabrilovich, E., Murphy, K., Sun, S., Gupta, R., Lin, D.: Knowledge base completion via search-based question answering. In: Proceedings of the 23rd International Conference on World Wide Web, pp. 515–526. WWW 2014, Association for Computing Machinery, New York, NY, USA (2014)

    Google Scholar 

Download references

Acknowledgements

This work has been funded by the Vienna Science and Technology Fund (WWTF) [10.47379/VRG18013], [10.47379/NXT22018], the Raison Data Royal Society grant, and the Christian Doppler Society (CDG) Josef Ressel Centre for Real-Time Value Network Visibility, Logistikum, University of Applied Sciences Upper Austria.

Author information

Authors and Affiliations

  1. Bank of Italy, Rome, Italy

    Luigi Bellomarini & Davide Magnanimi

  2. Josef Ressel Centre for Real-Time Value Network Visibility, Logistikum, University of Applied Sciences Upper Austria, Wels, Austria

    Markus Gerschberger

  3. Meltwater, San Francisco, USA

    Aditya Jami

  4. Politecnico di Milano, Milan, Italy

    Davide Magnanimi

  5. TU Wien, Vienna, Austria

    Markus Nissl, Aleksandar Pavlović & Emanuel Sallinger

  6. University of Oxford, Oxford, UK

    Emanuel Sallinger

  7. Università Roma Tre, Rome, Italy

    Teodoro Baldazzi

Authors
  1. Teodoro Baldazzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luigi Bellomarini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Markus Gerschberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Aditya Jami
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Davide Magnanimi
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Markus Nissl
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Aleksandar Pavlović
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. 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. SKEMA Business School, Montreal, Canada

    Leopoldo Bertossi

  2. University of Bergen, Bergen, Norway

    Guohui Xiao

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Baldazzi, T. et al. (2023). Vadalog: Overview, Extensions and Business Applications. In: Bertossi, L., Xiao, G. (eds) Reasoning Web. Causality, Explanations and Declarative Knowledge. Lecture Notes in Computer Science, vol 13759. Springer, Cham. https://doi.org/10.1007/978-3-031-31414-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-31414-8_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-31413-1

  • Online ISBN: 978-3-031-31414-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation