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 ...
share
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
∙
03/17/2022
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment...
research
∙
11/12/2021
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Aiming at ontology-based data access to temporal data, we design two-dim...
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
∙
04/15/2020
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
We investigate ontology-based data access to temporal data. We consider ...
research
∙
10/02/2018