research
∙
05/11/2023
Enhancing Datalog Reasoning with Hypertree Decompositions
Datalog reasoning based on the seminaïve evaluation strategy evaluates r...
share
research
∙
01/12/2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
DatalogMTL is an extension of Datalog with operators from metric tempora...
research
∙
09/30/2020
OWL2Vec*: Embedding of OWL Ontologies
Semantic embedding of knowledge graphs has been widely studied and used ...
research
∙
01/28/2020
Interpretable Machine Learning Model for Early Prediction of Mortality in Elderly Patients with Multiple Organ Dysfunction Syndrome (MODS): a Multicenter Retrospective Study an
Background: Elderly patients with MODS have high risk of death and poor ...
research
∙
08/27/2019
Datalog Reasoning over Compressed RDF Knowledge Bases
Materialisation is often used in RDF systems to derive, in a preprocessi...
research
∙
11/06/2018
Modular Materialisation of Datalog Programs
The seminaïve algorithm can materialise all consequences of arbitrary da...
research
∙
11/10/2017