research
∙
08/14/2023
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Understanding logical entailments derived by a description logic reasone...
share
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
∙
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
∙
03/17/2022
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment...
research
∙
05/29/2021
Temporal Minimal-World Semantics for Sparse ABoxes
Ontology-mediated query answering is a popular paradigm for enriching an...
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
∙
10/21/2020
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems
For mixed-initiative control between cyber-physical systems (CPS) and it...
research
∙
04/17/2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
Logic-based approaches to AI have the advantage that their behaviour can...
research
∙
03/20/2020
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
Ontology-based query answering (OBQA) augments classical query answering...
research
∙
09/19/2016
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Unification in Description Logics has been introduced as a means to dete...
research
∙
09/29/2015
Reasoning in Infinitely Valued G-IALCQ
Fuzzy Description Logics (FDLs) are logic-based formalisms used to repre...
research
∙
08/11/2015