research
∙
08/10/2022
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Answering Boolean conjunctive query over logical constraints is an essen...
share
research
∙
07/01/2020
Signature-Based Abduction for Expressive Description Logics – Technical Report
Signature-based abduction aims at building hypotheses over a specified s...
research
∙
02/06/2020
Querying Guarded Fragments via Resolution
The problem of answering Boolean conjunctive queries over the guarded fr...
research
∙
01/12/2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
We consider the following query answering problem: Given a Boolean conju...
research
∙
11/13/2018
ABox Abduction via Forgetting in ALC (Long Version)
Abductive reasoning generates explanatory hypotheses for new observation...
research
∙
11/28/2016