25 citations · 39 across the 16 of their papers we have counts for
17 papers
Value-Preserving Architectures for Agentic AI Systems
Alessandro Pesare, Tommaso Dolci, Katja Hose +1
The emergence of agentic AI and LLM-based multi-agent systems (MAS) presents unprecedented opportunities for automating complex tasks, while simultaneously raising critical concern…
VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows
Teodoro Baldazzi, Luigi Bellomarini, Andrea Coletta +4
Decision-making in real-world settings rarely follows a fixed script. Instead, it unfolds as a dynamic reasoning process in which the appropriate course of action evolves as new co…
The Temporal Vadalog System: Temporal Datalog-based Reasoning
Luigi Bellomarini, Livia Blasi, Markus Nissl +1
In the wake of the recent resurgence of the Datalog language of databases, together with its extensions for ontological reasoning settings, this work aims to bridge the gap between…
Ontological Reasoning over Shy and Warded Datalog for Streaming-based Architectures (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry. These systems adopt languages, often shared under the c…
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]
Renzo Angles, Georg Gottlob, Aleksandar Pavlovic +2
Over the past decade, Knowledge Graphs have received enormous interest both from industry and from academia. Research in this area has been driven, above all, by the Database (DB)…
Fine-tuning Large Enterprise Language Models via Ontological Reasoning
Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri +3
Large Language Models (LLMs) exploit fine-tuning as a technique to adapt to diverse goals, thanks to task-specific training data. Task specificity should go hand in hand with domai…
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger +1
We provide a framework for probabilistic reasoning in Vadalog-based Knowledge Graphs (KGs), satisfying the requirements of ontological reasoning: full recursion, powerful existenti…
Complexity of Arithmetic in Warded Datalog+-
Lucas Berent, Markus Nissl, Emanuel Sallinger
Warded Datalog+- extends the logic-based language Datalog with existential quantifiers in rule heads. Existential rules are needed for advanced reasoning tasks, e.g., ontological r…
On the Relationship between Shy and Warded Datalog+/-
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders i…
Query Evaluation in DatalogMTL -- Taming Infinite Query Results
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
In this paper, we investigate finite representations of DatalogMTL models. First, we discuss sufficient conditions for detecting programs that have finite models. Then, we study in…
Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-
Luigi Bellomarini, Emanuel Sallinger
Ontological query answering is the problem of answering queries in the presence of schema constraints representing the domain of interest. Datalog+/- is a common family of language…
iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger +1
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 Knowled…
Towards Cross-Blockchain Smart Contracts
Markus Nissl, Emanuel Sallinger, Stefan Schulte +1
In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordin…
COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning
Luigi Bellomarini, Marco Benedetti, Andrea Gentili +4
In the COVID-19 outbreak, governments have applied progressive restrictions to production activities, permitting only those that are considered strategic or that provide essential…
The Space-Efficient Core of Vadalog
Gerald Berger, Georg Gottlob, Andreas Pieris +1
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fr…
Data Science with Vadalog: Bridging Machine Learning and Reasoning
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob +7
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…
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
Over the past years, there has been a resurgence of Datalog-based systems in the database community as well as in industry. In this context, it has been recognized that to handle t…