Publications

You can also find my articles on my Google Scholar profile, as well as on DBLP.

105 publications across 15 years (last updated 24/06/2026)

2026

• Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, and Balram Tiwari: Can You Tell the Difference? Contrastive Explanations for ABox Entailments. In AAAI: 19189-19197, 2026. Conference / Workshop Paper.
• Anselm Haak, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan: ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. CoRR abs/2605.01341, 2026. Preprint.

2025

• Lidia Tendera, Yazmín Ibáñez-García, and Patrick Koopmann: Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. DL, 2025. Edited Proceedings.
• Franz Baader, Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann: Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. In CADE: 676-695, 2025. Conference / Workshop Paper.
• Franz Baader, Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann: Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). In DL, 2025. Conference / Workshop Paper.
• Ruud van Bakel, Michael Cochez, and Patrick Koopmann: Towards Conceptual Clustering in EL with Simulation Graphs. In DL, 2025. Conference / Workshop Paper.
• Anselm Haak, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan: Why not? Developing ABox Abduction Beyond Repairs. In DL, 2025. Conference / Workshop Paper.
• Patrick Koopmann: Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). In RW: 6:1-6:29, 2025. Conference / Workshop Paper.
• Franz Baader, Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann: Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). CoRR abs/2505.21103, 2025. Preprint.
• Anselm Haak, Patrick Koopmann, Yasir Mahmood, and Anni-Yasmin Turhan: Why not? Developing ABox Abduction beyond Repairs. CoRR abs/2507.21955, 2025. Preprint.
• Patrick Koopmann, Christoph Wernhard, and Frank Wolter: Interpolation in Classical Propositional Logic. CoRR abs/2508.11449, 2025. Preprint.
• Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, and Balram Tiwari: Can You Tell the Difference? Contrastive Explanations for ABox Entailments. CoRR abs/2511.11281, 2025. Preprint.
• Jean Christoph Jung, Patrick Koopmann, and Matthias Knorr: Interpolation in Knowledge Representation. CoRR abs/2512.08833, 2025. Preprint.

2024

• Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann: The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. In Description Logics, 2024. Conference / Workshop Paper.
• Tobias John, and Patrick Koopmann: Planning with OWL-DL Ontologies. In ECAI: 4165-4172, 2024. Conference / Workshop Paper.
• Kai Obendrauf, Anne Baanen, Patrick Koopmann, and Vera Stebletsova: Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. In ITP: 28:1-28:18, 2024. Conference / Workshop Paper.
• Giacomo Zamprogno, Mark Adamik, Ritten Roothaert, Ameneh Naghdipour, Lise Stork, Patrick Koopmann, Romana Pernisch, Benno Kruit, Jieying Chen, Ilaria Tiddi, and Stefan Schlobach: Supporting Companion Planting with the CoPla Ontology. In KG4S@ESWC: 29-41, 2024. Conference / Workshop Paper.
• Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, and Ida S. R. Siahaan: Explaining Reasoning Results for OWL Ontologies with Evee. In KR, 2024. Conference / Workshop Paper.
• Atefeh Keshavarzi Zafarghandi, and Patrick Koopmann: Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules. In NMR: 122-131, 2024. Conference / Workshop Paper.
• Stefan Borgwardt, Filippo De Bortoli, and Patrick Koopmann: The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). CoRR abs/2405.19096, 2024. Preprint.
• Tobias John, and Patrick Koopmann: Planning with OWL-DL Ontologies (Extended Version). CoRR abs/2408.07544, 2024. Preprint.

2023

• Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, and Raimund Dachselt: Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42(6), 2023. Journal Article.
• Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, and Mikhail Kotlov: Why Not? Explaining Missing Entailments with Evee. In Description Logics, 2023. Conference / Workshop Paper.
• Tobias John, and Patrick Koopmann: Towards Ontology-Mediated Planning with OWL DL Ontologies. In Description Logics, 2023. Conference / Workshop Paper.
• Hui Yang, Patrick Koopmann, Yue Ma, and Nicole Bidoit: Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). In Description Logics, 2023. Conference / Workshop Paper.
• Hui Yang, Patrick Koopmann, Yue Ma, and Nicole Bidoit: Efficient Computation of General Modules for ALC Ontologies. In IJCAI: 3356-3364, 2023. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, and Francesco Kriegel: Optimal Repairs in the Description Logic . In JELIA: 11-34, 2023. Conference / Workshop Paper.
• Tobias John, and Patrick Koopmann: Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. In PLATO@ICAPS, 2023. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Combining Proofs for Description Logic and Concrete Domain Reasoning. In RuleML+RR: 54-69, 2023. Conference / Workshop Paper.
• Hui Yang, Patrick Koopmann, Yue Ma, and Nicole Bidoit: Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR abs/2305.09503, 2023. Preprint.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR abs/2308.03705, 2023. Preprint.
• Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, and Mikhail Kotlov: Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR abs/2308.07294, 2023. Preprint.
• Tobias John, and Patrick Koopmann: Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). CoRR abs/2308.08200, 2023. Preprint.

2022

• Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß: Efficient TBox Reasoning with Value Restrictions using the ℱℒ0er Reasoner. Theory Pract. Log. Program. 22(2): 162-192, 2022. Journal Article.
• Fajar Haifani, Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach: Connection-Minimal Abduction in EL. In IJCAR: 188-207, 2022. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, and Julián Méndez: Evonne: Interactive Proof Visualization for Description Logics (System Description). In IJCAR: 271-280, 2022. Conference / Workshop Paper.
• Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, and Alexej Popovic: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. In Description Logics, 2022. Conference / Workshop Paper.
• Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. In Description Logics, 2022. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, Francesco Kriegel, and Adrian Nuradiansyah: Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). In Description Logics, 2022. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß: Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In Description Logics, 2022. Conference / Workshop Paper.
• Fajar Haifani, Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach: Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). In Description Logics, 2022. Conference / Workshop Paper.
• Zuzana Hlávková, Martin Homola, Patrick Koopmann, and Júlia Pukancová: An API for DL Abduction Solvers. In Description Logics, 2022. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, Francesco Kriegel, and Adrian Nuradiansyah: Optimal ABox Repair w.r.t. Static . In ESWC: 130-146, 2022. Conference / Workshop Paper.
• Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. In RuleML+RR: 167-182, 2022. Conference / Workshop Paper.
• Fajar Haifani, Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach: Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR abs/2205.08449, 2022. Preprint.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, and Julián Méndez: Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR abs/2205.09583, 2022. Preprint.
• Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, and Alexej Popovic: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR abs/2206.07711, 2022. Preprint.
• Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR abs/2206.09758, 2022. Preprint.
• Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR abs/2208.14381, 2022. Preprint.

2021

• Clemens Dubslaff, Patrick Koopmann, and Anni-Yasmin Turhan: Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33(6): 885-921, 2021. Journal Article.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. In CADE: 291-308, 2021. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, Francesco Kriegel, and Adrian Nuradiansyah: Computing Optimal Repairs of Quantified ABoxes w.r.t. Static . In CADE: 309-326, 2021. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). In Description Logics, 2021. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, and Rafael Peñaloza: Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. In Description Logics, 2021. Conference / Workshop Paper.
• Patrick Koopmann: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). In Description Logics, 2021. Conference / Workshop Paper.
• Patrick Koopmann: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. In IJCAI: 1929-1935, 2021. Conference / Workshop Paper.
• Fajar Haifani, Patrick Koopmann, and Sophie Tourret: Abduction in EL via Translation to FOL. In SOQE@KR: 46-58, 2021. Conference / Workshop Paper.
• Patrick Koopmann: Signature-Based ABox Abduction in ALC is Hard. In SOQE@KR: 61-74, 2021. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR abs/2104.13138, 2021. Preprint.
• Patrick Koopmann: Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version). CoRR abs/2105.00274, 2021. Preprint.
• Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, and Benjamin Zarrieß: Efficient TBox Reasoning with Value Restrictions using the ℱℒ0er reasoner. CoRR abs/2107.12877, 2021. Preprint.

2020

• Patrick Koopmann: LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. Künstliche Intell. 34(3): 381-387, 2020. Journal Article.
• Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, and Anni-Yasmin Turhan: Semantic Technologies for Situation Awareness. Künstliche Intell. 34(4): 543-550, 2020. Journal Article.
• Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost: Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21(4): 30:1-30:46, 2020. Journal Article.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: On the Complexity of Finding Good Proofs for Description Logic Entailments. In Description Logics, 2020. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, and Patrick Koopmann: Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. In Description Logics, 2020. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, and Cesare Tinelli: First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. In Description Logics, 2020. Conference / Workshop Paper.
• Clemens Dubslaff, Patrick Koopmann, and Anni-Yasmin Turhan: Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. In Description Logics, 2020. Conference / Workshop Paper.
• Fajar Haifani, Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach: On a Notion of Relevance. In Description Logics, 2020. Conference / Workshop Paper.
• Patrick Koopmann, and Jieying Chen: Deductive Module Extraction for Expressive Description Logics (Extended Abstract). In Description Logics, 2020. Conference / Workshop Paper.
• Patrick Koopmann, and Jieying Chen: Deductive Module Extraction for Expressive Description Logics. In IJCAI: 1636-1643, 2020. Conference / Workshop Paper.
• Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, and Renate A. Schmidt: Signature-Based Abduction for Expressive Description Logics. In KR: 592-602, 2020. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Small Proofs for Description Logic Entailments: Theory and Practice. In LPAR: 32-67, 2020. Conference / Workshop Paper.
• Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova: Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR abs/2004.08311, 2020. Preprint.
• Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, and Renate A. Schmidt: Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR abs/2007.00757, 2020. Preprint.

2019

• Patrick Koopmann, Theofilos Mailis, and Danh Le Phuoc: Special Issue on High-Level Declarative Stream Processing. Open J. Databases 6(1): 1-4, 2019. Journal Article.
• Camille Bourgaux, Patrick Koopmann, and Anni-Yasmin Turhan: Ontology-mediated query answering over temporal and inconsistent data. Semantic Web 10(3): 475-521, 2019. Journal Article.
• David Carral, Larry González, and Patrick Koopmann: From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. In AAAI: 2736-2743, 2019. Conference / Workshop Paper.
• Patrick Koopmann: Ontology-Based Query Answering for Probabilistic Temporal Data. In AAAI: 2903-2910, 2019. Conference / Workshop Paper.
• David Carral, Larry González, and Patrick Koopmann: From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. In Description Logics, 2019. Conference / Workshop Paper.
• Patrick Koopmann: Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. In Description Logics, 2019. Conference / Workshop Paper.
• Patrick Koopmann: Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract). In Description Logics, 2019. Conference / Workshop Paper.
• Christian Alrabbaa, Patrick Koopmann, and Anni-Yasmin Turhan: Practical Query Rewriting for DL-Lite with Numerical Predicates. In GCAI: 15-27, 2019. Conference / Workshop Paper.
• Clemens Dubslaff, Patrick Koopmann, and Anni-Yasmin Turhan: Ontology-Mediated Probabilistic Model Checking. In IFM: 194-211, 2019. Conference / Workshop Paper.

2018

• Patrick Koopmann: Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies. In DKB/KIK@KI: 68-79, 2018. Conference / Workshop Paper.

2017

• Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, and Christoph Wernhard: Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. SOQE, 2017. Edited Proceedings.
• Nadeschda Nikitina, and Patrick Koopmann: Small Is Beautiful: Computing Minimal Equivalent EL Concepts. In AAAI: 1206-1212, 2017. Conference / Workshop Paper.
• Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost: Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). In Description Logics, 2017. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, and Anni-Yasmin Turhan: Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). In Description Logics, 2017. Conference / Workshop Paper.
• Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost: Metric Temporal Description Logics with Interval-Rigid Names. In FroCoS: 60-76, 2017. Conference / Workshop Paper.
• Franz Baader, Patrick Koopmann, and Anni-Yasmin Turhan: Using Ontologies to Query Probabilistic Numerical Data. In FroCoS: 77-94, 2017. Conference / Workshop Paper.
• Patrick Koopmann, Marcus Hähnel, and Anni-Yasmin Turhan: Energy-Efficiency of OWL Reasoners - Frequency Matters. In JIST: 86-101, 2017. Conference / Workshop Paper.
• Patrick Koopmann, and Jieying Chen: Computing ALCH Subsumption Modules. In SOQE: 51-66, 2017. Conference / Workshop Paper.

2016

• Patrick Koopmann, and Nadeschda Nikitina: Minimising Acyclic EL Ontologies. In Description Logics, 2016. Conference / Workshop Paper.

2015

• Patrick Koopmann, and Renate A. Schmidt: Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. In AAAI: 175-181, 2015. Conference / Workshop Paper.
• Patrick Koopmann, and Renate A. Schmidt: Saturated-Based Forgetting in the Description Logic SIF. In Description Logics, 2015. Conference / Workshop Paper.
• Patrick Koopmann, and Renate A. Schmidt: LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. In ORE: 23-30, 2015. Conference / Workshop Paper.
• Patrick Koopmann: Practical uniform interpolation for expressive description logics. University of Manchester, UK, 2015. PhD Thesis.

2014

• Patrick Koopmann, and Renate A. Schmidt: Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. In IJCAR: 434-448, 2014. Conference / Workshop Paper.
• Patrick Koopmann, and Renate A. Schmidt: Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. In Description Logics: 245-257, 2014. Conference / Workshop Paper.

2013

• Patrick Koopmann, and Renate A. Schmidt: Uniform Interpolation of -Ontologies Using Fixpoints. In FroCos: 87-102, 2013. Conference / Workshop Paper.
• Patrick Koopmann, and Renate A. Schmidt: Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. In LPAR: 552-567, 2013. Conference / Workshop Paper.
• Patrick Koopmann, and Renate A. Schmidt: Implementation and Evaluation of Forgetting in ALC-Ontologies. In WoMO, 2013. Conference / Workshop Paper.
• Wilfried Bohlken, Patrick Koopmann, Lothar Hotz, and Bernd Neumann: Towards Ontology-Based Realtime Behaviour Interpretation. In Human Behavior Recognition Technologies: 33-64, 2013. Book Chapter.

2011

• Wilfried Bohlken, Bernd Neumann, Lothar Hotz, and Patrick Koopmann: Ontology-Based Realtime Activity Monitoring Using Beam Search. In ICVS: 112-121, 2011. Conference / Workshop Paper.