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
∙
05/19/2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) – Extended Version
Explanations for description logic (DL) entailments provide important su...
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
∙
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
∙
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
∙
02/14/2020
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
We introduce and investigate the expressive description logic (DL) ALCSC...
research
∙
08/01/2018
Repairing Description Logic Ontologies by Weakening Axioms
The classical approach for repairing a Description Logic ontology O in t...
research
∙
09/19/2016