{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:54:06Z","timestamp":1762300446829,"version":"3.44.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"12","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2023,8]]},"abstract":"<jats:p>Logic-based Knowledge Graphs (KGs) are gaining momentum in academia and industry thanks to the rise of expressive and efficient languages for Knowledge Representation and Reasoning (KRR). These languages accurately express business rules, through which valuable new knowledge is derived. A versatile and scalable backend reasoner, like Vadalog, a state-of-the-art system for logic-based KGs---based on an extension of Datalog---executes the reasoning.<\/jats:p>\n          <jats:p>In this demo, we present KG-Roar, a web-based interactive development and navigation environment for logical KGs. The system lets the user augment an input graph database with intensional definitions of new nodes and edges and turn it into a KG, via the metaphor of reasoning widgets---user-defined or off-the-shelf code snippets that capture business definitions in the Vadalog language.<\/jats:p>\n          <jats:p>Then, the user can seamlessly browse the original and the derived nodes and edges within a \"Virtual Knowledge Graph\", which is reasoned upon and generated interactively at runtime, thanks to the scalability and responsiveness of Vadalog. KG-Roar is domain-independent but domain aware, as exploration controls are contextually generated based on the intensional definitions.<\/jats:p>\n          <jats:p>We walk the audience through KG-Roar showcasing the construction of certain business definitions and putting it into action on a real-world financial KG, from our work with the Bank of Italy.<\/jats:p>","DOI":"10.14778\/3611540.3611609","type":"journal-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T11:32:37Z","timestamp":1694777557000},"page":"4014-4017","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["KG-Roar: Interactive Datalog-Based Reasoning on Virtual Knowledge Graphs"],"prefix":"10.14778","volume":"16","author":[{"given":"Luigi","family":"Bellomarini","sequence":"first","affiliation":[{"name":"Bank of Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Benedetti","sequence":"additional","affiliation":[{"name":"Bank of Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Gentili","sequence":"additional","affiliation":[{"name":"Bank of Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Magnanimi","sequence":"additional","affiliation":[{"name":"Bank of Italy &amp; Politecnico di Milano"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[{"name":"TU Wien &amp; University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8]]},"reference":[{"unstructured":"Serge Abiteboul Richard Hull and Victor Vianu. 1995. Foundations of Databases.","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","volume-title":"CEUR Workshop Proceedings","volume":"3203","author":"Alviano Mario","year":"2022","unstructured":"Mario Alviano and Andreas Pieris (Eds.). 2022. Datalog 2.0. CEUR Workshop Proceedings, Vol. 3203. CEUR-WS.org."},{"key":"e_1_2_1_3_1","first-page":"3976","article-title":"Exploiting the Power of Equality-Generating Dependencies in Ontological Reasoning","volume":"15","author":"Bellomarini Luigi","year":"2022","unstructured":"Luigi Bellomarini, Davide Benedetto, Matteo Brandetti, and Emanuel Sallinger. 2022. Exploiting the Power of Equality-Generating Dependencies in Ontological Reasoning. VLDB 15, 13 (2022), 3976--3988.","journal-title":"VLDB"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1016\/j.is.2020.101528"},{"volume-title":"Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology","author":"Bellomarini Luigi","unstructured":"Luigi Bellomarini, Daniele Fakhoury, Georg Gottlob, and Emanuel Sallinger. 2019. Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology. In ICDE. IEEE, 26--37.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","first-page":"975","article-title":"The Vadalog System: Datalog-based Reasoning for Knowledge Graphs","volume":"11","author":"Bellomarini Luigi","year":"2018","unstructured":"Luigi Bellomarini, Emanuel Sallinger, and Georg Gottlob. 2018. The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. VLDB 11, 9 (2018), 975--987.","journal-title":"VLDB"},{"doi-asserted-by":"crossref","unstructured":"Gerald Berger Georg Gottlob Andreas Pieris and Emanuel Sallinger. 2019. The Space-Efficient Core of Vadalog. In PODS. ACM 270--284.","key":"e_1_2_1_7_1","DOI":"10.1145\/3294052.3319688"},{"doi-asserted-by":"crossref","unstructured":"Andrea Cal\u00ec Georg Gottlob and Andreas Pieris. 2011. New expressive languages for ontological query answering. In AAAI.","key":"e_1_2_1_8_1","DOI":"10.1609\/aaai.v25i1.7957"},{"key":"e_1_2_1_9_1","volume-title":"SEMANTiCS (CEUR Workshop Proceedings)","volume":"1695","author":"Ehrlinger Lisa","year":"2016","unstructured":"Lisa Ehrlinger and Wolfram W\u00f6\u00df. 2016. Towards a Definition of Knowledge Graphs. In SEMANTiCS (CEUR Workshop Proceedings), Vol. 1695."},{"volume-title":"Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue","author":"Gottlob Georg","unstructured":"Georg Gottlob and Andreas Pieris. 2015. Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. In IJCAI. AAAI Press, 2999--3007.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","volume-title":"Vadalog: Recent Advances and Applications. In JELIA (LNCS)","author":"Gottlob Georg","year":"2019","unstructured":"Georg Gottlob, Andreas Pieris, and Emanuel Sallinger. 2019. Vadalog: Recent Advances and Applications. In JELIA (LNCS), Vol. 11468. Springer, 21--37."},{"doi-asserted-by":"crossref","unstructured":"Andrea Gulino Stefano Ceri Georg Gottlob Emanuel Sallinger and Luigi Bellomarini. 2021. Distributed Company Control in Company Shareholding Graphs. In ICDE.","key":"e_1_2_1_12_1","DOI":"10.1109\/ICDE51399.2021.00294"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3611540.3611609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:33:13Z","timestamp":1757543593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3611540.3611609"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":12,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["10.14778\/3611540.3611609"],"URL":"https:\/\/doi.org\/10.14778\/3611540.3611609","relation":{},"ISSN":["2150-8097"],"issn-type":[{"type":"print","value":"2150-8097"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"2023-08-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}