no code implementations • 20 Nov 2023 • Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry.
no code implementations • 19 Jun 2023 • Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger
Large Language Models (LLMs) exploit fine-tuning as a technique to adapt to diverse goals, thanks to task-specific training data.
no code implementations • 1 Oct 2022 • Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger, Evgeny Sherkhonov
Vadalog is a Knowledge Representation and Reasoning (KRR) language based on Warded Datalog+/-, a logical core language of existential rules, with a good balance between computational complexity and expressive power.
1 code implementation • 8 Jun 2022 • Aleksandar Pavlović, Emanuel Sallinger
Knowledge graphs are inherently incomplete.
no code implementations • 13 Feb 2022 • Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
Datalog^E is the extension of Datalog with existential quantification.
no code implementations • 10 Feb 2022 • Lucas Berent, Markus Nissl, Emanuel Sallinger
We lay the theoretical foundation for highly expressive Datalog+- languages that combine the power of advanced recursive rules and arithmetic while guaranteeing efficient reasoning algorithms for applications in modern AI systems, such as Knowledge Graphs.
no code implementations • 21 Sep 2021 • Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
In this paper, we investigate finite representations of DatalogMTL models.
no code implementations • 24 May 2021 • Luigi Bellomarini, Emanuel Sallinger
Ontological query answering is the problem of answering queries in the presence of schema constraints representing the domain of interest.
no code implementations • 15 Mar 2021 • Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni
Recent years have seen increasing popularity of logic-based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowledge Graphs.
no code implementations • 21 Apr 2020 • Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Antonio Muci, Emanuel Sallinger
In the COVID-19 outbreak, governments have applied progressive restrictions to production activities, permitting only those that are considered strategic or that provide essential services.
no code implementations • 16 Sep 2018 • Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs.
no code implementations • 23 Jul 2018 • Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
Yet, Datalog-based reasoning in the presence of existential quantification is in general undecidable.
no code implementations • 23 Jul 2018 • Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stephane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
Following the recent successful examples of large technology companies, many modern enterprises seek to build knowledge graphs to provide a unified view of corporate knowledge and to draw deep insights using machine learning and logical reasoning.