research
∙
08/16/2023
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
While classical planning languages make the closed-domain and closed-wor...
share
research
∙
08/14/2023
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Understanding logical entailments derived by a description logic reasone...
research
∙
08/07/2023
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Logic-based approaches to AI have the advantage that their behavior can ...
research
∙
05/16/2023
Efficient Computation of General Modules for ALC Ontologies (Extended Version)
We present a method for extracting general modules for ontologies formul...
research
∙
08/30/2022
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
In ontology-mediated query answering, access to incomplete data sources ...
research
∙
06/20/2022
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
In ontology-mediated query answering, access to incomplete data sources ...
research
∙
06/15/2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
When working with description logic ontologies, understanding entailment...
research
∙
05/19/2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) – Extended Version
Explanations for description logic (DL) entailments provide important su...
research
∙
05/17/2022
Connection-minimal Abduction in EL via Translation to FOL – Technical Report
Abduction in description logics finds extensions of a knowledge base to ...
research
∙
07/27/2021
Efficient TBox Reasoning with Value Restrictions using the ℱℒ_ower reasoner
The inexpressive Description Logic (DL) ℱℒ_0, which has conjunction and ...
research
∙
05/01/2021
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version)
Given a knowledge base and an observation as a set of facts, ABox abduct...
research
∙
04/27/2021
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
Logic-based approaches to AI have the advantage that their behavior can ...
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
∙
04/17/2020