research
∙
08/14/2023
Inductive Knowledge Graph Completion with GNNs and Rules: An Analysis
The task of inductive knowledge graph completion requires models to lear...
share
research
∙
05/26/2023
Combining Global and Local Merges in Logic-based Entity Resolution
In the recently proposed Lace framework for collective entity resolution...
research
∙
04/29/2022
Finite Entailment of UCRPQs over ALC Ontologies
We investigate the problem of finite entailment of ontology-mediated que...
research
∙
05/10/2021
A Description Logic for Analogical Reasoning
Ontologies formalise how the concepts from a given domain are interrelat...
research
∙
11/17/2020
Answering Regular Path Queries Over SQ Ontologies
We study query answering in the description logic 𝒮𝒬 supporting qualifie...
research
∙
10/22/2020
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
We study the description logic SQ with number restrictions applicable to...
research
∙
06/30/2020
On Finite Entailment of Non-Local Queries in Description Logics
We study the problem of finite entailment of ontology-mediated queries. ...
research
∙
06/25/2020
Plausible Reasoning about EL-Ontologies using Concept Interpolation
Description logics (DLs) are standard knowledge representation languages...
research
∙
08/09/2018
Finite Query Answering in Expressive Description Logics with Transitive Roles
We study the problem of finite ontology mediated query answering (FOMQA)...
research
∙
08/08/2018