Search Results for author: Emanuel Sallinger

Found 13 papers, 1 papers with code

Ontological Reasoning over Shy and Warded Datalog$+/-$ for Streaming-based Architectures (technical report)

no code implementations20 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.

Fine-tuning Large Enterprise Language Models via Ontological Reasoning

no code implementations19 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.

Knowledge Graphs Specificity

Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs

no code implementations1 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.

Knowledge Graphs Management +1

Complexity of Arithmetic in Warded Datalog+-

no code implementations10 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.

Descriptive Knowledge Graphs +1

Query Evaluation in DatalogMTL -- Taming Infinite Query Results

no code implementations21 Sep 2021 Luigi Bellomarini, Markus Nissl, Emanuel Sallinger

In this paper, we investigate finite representations of DatalogMTL models.

Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-

no code implementations24 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.

iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)

no code implementations15 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.

Benchmarking Knowledge Graphs

COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning

no code implementations21 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.

Knowledge Graphs

The Space-Efficient Core of Vadalog

no code implementations16 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.

Knowledge Graphs

The Vadalog System: Datalog-based Reasoning for Knowledge Graphs

no code implementations23 Jul 2018 Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger

Yet, Datalog-based reasoning in the presence of existential quantification is in general undecidable.

Knowledge Graphs

Data Science with Vadalog: Bridging Machine Learning and Reasoning

no code implementations23 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.

BIG-bench Machine Learning Knowledge Graphs +2

Cannot find the paper you are looking for? You can Submit a new open access paper.