research
∙
06/19/2023
Fine-tuning Large Enterprise Language Models via Ontological Reasoning
Large Language Models (LLMs) exploit fine-tuning as a technique to adapt...
share
research
∙
10/01/2022
Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs
We provide a framework for probabilistic reasoning in Vadalog-based Know...
research
∙
02/13/2022
On the Relationship between Shy and Warded Datalog+/-
Datalog^E is the extension of Datalog with existential quantification. W...
research
∙
09/21/2021
Query Evaluation in DatalogMTL – Taming Infinite Query Results
In this paper, we investigate finite representations of DatalogMTL. Firs...
research
∙
05/24/2021
Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-
Ontological query answering is the problem of answering queries in the p...
research
∙
03/15/2021
iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)
Recent years have seen increasing popularity of logic-based reasoning sy...
research
∙
04/21/2020
COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning
In the COVID-19 outbreak, governments have applied progressive restricti...
research
∙
07/23/2018
Data Science with Vadalog: Bridging Machine Learning and Reasoning
Following the recent successful examples of large technology companies, ...
research
∙
07/23/2018