Patrick Koopmann

Available identifiers

Publication	Date of Publication	Type
Optimal repairs in the description logic \(\mathcal{EL}\) revisited	2024-05-29	Paper
Ontology-mediated probabilistic model checking	2024-04-19	Paper
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner	2023-12-12	Paper
Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL	2022-12-07	Paper
Evonne: interactive proof visualization for description logics (system description)	2022-12-07	Paper
Enhancing probabilistic model checking with ontologies	2022-01-11	Paper
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes	2021-12-01	Paper
Finding good proofs for description logic entailments using recursive quality measures	2021-12-01	Paper
Metric temporal description logics with interval-rigid names	2020-09-11	Paper
Metric temporal description logics with interval-rigid names	2018-01-04	Paper
Using ontologies to query probabilistic numerical data	2018-01-04	Paper
Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies	2014-09-26	Paper
Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies	2014-01-17	Paper
Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints	2013-09-20	Paper

This page was built for person: Patrick Koopmann