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
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 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
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 (available as arXiv preprint)	2021-12-01	Paper
Metric temporal description logics with interval-rigid names ACM Transactions on Computational Logic	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 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