research
∙
07/11/2023
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]
Over the past decade, Knowledge Graphs have received enormous interest b...
share
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...
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
∙
06/08/2022
ExpressivE: A Spatio-Functional Embedding For Knowledge Graph Completion
Knowledge graphs are inherently incomplete. Therefore substantial resear...
research
∙
02/13/2022
On the Relationship between Shy and Warded Datalog+/-
Datalog^E is the extension of Datalog with existential quantification. W...
research
∙
02/10/2022
Complexity of Arithmetic in Warded Datalog+-
Warded Datalog+- extends the logic-based language Datalog with existenti...
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
∙
10/14/2020
Towards Cross-Blockchain Smart Contracts
In recent years, manifold blockchain protocols have been proposed by res...
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
∙
09/16/2018
The Space-Efficient Core of Vadalog
Vadalog is a system for performing complex reasoning tasks such as those...
research
∙
08/26/2018
Rule Module Inheritance with Modification Restrictions
Adapting rule sets to different settings, yet avoiding uncontrolled prol...
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