Patrick Koopmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Explaining reasoning results for description logic ontologies (invited paper)	2026-05-21	Paper
Lean formalization of completeness proof for coalition logic with common knowledge	2026-02-10	Paper
Concrete domains meet expressive cardinality restrictions in description logics	2026-01-21	Paper
Finding small proofs for description logic entailments: theory and practice	2025-02-20	Paper
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 <i>wer</i> Reasoner Theory and Practice of Logic Programming	2023-12-12	Paper
Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (available as arXiv preprint)	2022-12-07	Paper
Evonne: interactive proof visualization for description logics (system description) (available as arXiv preprint)	2022-12-07	Paper
Enhancing probabilistic model checking with ontologies Formal Aspects of Computing	2022-01-11	Paper
Finding good proofs for description logic entailments using recursive quality measures (available as arXiv preprint)	2021-12-01	Paper
Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes	2021-12-01	Paper
Metric temporal description logics with interval-rigid names ACM Transactions on Computational Logic	2020-09-11	Paper
Using ontologies to query probabilistic numerical data	2018-01-04	Paper
Metric temporal description logics with interval-rigid names	2018-01-04	Paper
Count and forget: uniform interpolation of \(\mathcal{SHQ}\)-ontologies Automated Reasoning	2014-09-26	Paper
Forgetting concept and role symbols in \(\mathcal{ALCH}\)-ontologies Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Uniform interpolation of \(\mathcal{ALC}\)-ontologies using fixpoints Frontiers of Combining Systems	2013-09-20	Paper

Research outcomes over time

This page was built for person: Patrick Koopmann