Ontology-Based Realtime Activity Monitoring Using Beam Search. - Wilfried Bohlken; Bernd Neumann; Lothar Hotz; Patrick Koopmann (ICVS, 2011)

Towards Ontology-Based Realtime Behaviour Interpretation. - Wilfried Bohlken; Patrick Koopmann; Lothar Hotz; Bernd Neumann (Human Behavior Recognition Technologies, 2013)

Uniform Interpolation of -Ontologies Using Fixpoints. - Patrick Koopmann; Renate A. Schmidt (FroCos, 2013)

Forgetting Concept and Role Symbols in $ mathcal{ALCH}$ -Ontologies. - Patrick Koopmann; Renate A. Schmidt (LPAR, 2013)

Implementation and Evaluation of Forgetting in ALC-Ontologies. - Patrick Koopmann; Renate A. Schmidt (WoMO, 2013)

Count and Forget: Uniform Interpolation of $ mathcal{SHQ}$ -Ontologies. - Patrick Koopmann; Renate A. Schmidt (IJCAR, 2014)

Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. - Patrick Koopmann; Renate A. Schmidt (Description Logics, 2014)

Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. - Patrick Koopmann; Renate A. Schmidt (AAAI, 2015)

Saturated-Based Forgetting in the Description Logic SIF. - Patrick Koopmann; Renate A. Schmidt (Description Logics, 2015)

LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. - Patrick Koopmann; Renate A. Schmidt (ORE, 2015)

Practical uniform interpolation for expressive description logics. - Patrick Koopmann (2015)

Minimising Acyclic EL Ontologies. - Patrick Koopmann; Nadeschda Nikitina (Description Logics, 2016)

Small Is Beautiful: Computing Minimal Equivalent EL Concepts. - Nadeschda Nikitina; Patrick Koopmann (AAAI, 2017)

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (Description Logics, 2017)

Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2017)

Using Ontologies to Query Probabilistic Numerical Data. - Franz Baader; Patrick Koopmann; Anni-Yasmin Turhan (FroCoS, 2017)

Energy-Efficiency of OWL Reasoners - Frequency Matters. - Patrick Koopmann; Marcus Hähnel; Anni-Yasmin Turhan (JIST, 2017)

Computing ALCH. - Patrick Koopmann; Jieying Chen 001 (SOQE, 2017)

Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies. - Patrick Koopmann (DKB/KIK@KI, 2018)

From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. - David Carral; Larry González; Patrick Koopmann (AAAI, 2019)

Ontology-Based Query Answering for Probabilistic Temporal Data. - Patrick Koopmann (AAAI, 2019)

Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. - Patrick Koopmann (Description Logics, 2019)

Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract). - Patrick Koopmann (Description Logics, 2019)

Practical Query Rewriting for DL-Lite with Numerical Predicates. - Christian Alrabbaa; Patrick Koopmann; Anni-Yasmin Turhan (GCAI, 2019)

Ontology-Mediated Probabilistic Model Checking. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (IFM, 2019)

Special Issue on High-Level Declarative Stream Processing. - Patrick Koopmann; Theofilos Mailis; Danh Le Phuoc (Open J. Databases, 2019)

Ontology-mediated query answering over temporal and inconsistent data. - Camille Bourgaux; Patrick Koopmann; Anni-Yasmin Turhan (Semantic Web, 2019)

On the Complexity of Finding Good Proofs for Description Logic Entailments. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2020)

Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. - Christian Alrabbaa; Franz Baader; Raimund Dachselt; Tamara Flemisch; Patrick Koopmann (Description Logics, 2020)

First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. - Franz Baader; Patrick Koopmann; Cesare Tinelli (Description Logics, 2020)

Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Description Logics, 2020)

On a Notion of Relevance. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2020)

Deductive Module Extraction for Expressive Description Logics (Extended Abstract). - Patrick Koopmann; Jieying Chen 001 (Description Logics, 2020)

Deductive Module Extraction for Expressive Description Logics. - Patrick Koopmann; Jieying Chen 001 (IJCAI, 2020)

Signature-Based Abduction for Expressive Description Logics. - Patrick Koopmann; Warren Del-Pinto; Sophie Tourret; Renate A. Schmidt (KR, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (LPAR, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2020)

Signature-Based Abduction for Expressive Description Logics - Technical Report. - Patrick Koopmann; Warren Del-Pinto; Sophie Tourret; Renate A. Schmidt (CoRR, 2020)

Semantic Technologies for Situation Awareness. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Veronika Thost; Anni-Yasmin Turhan (Künstliche Intell., 2020)

LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. - Patrick Koopmann (Künstliche Intell., 2020)

Metric Temporal Description Logics with Interval-Rigid Names. - Franz Baader; Stefan Borgwardt; Patrick Koopmann; Ana Ozaki; Veronika Thost (ACM Trans. Comput. Log., 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2020)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CADE, 2021)

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (CADE, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2021)

Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah; Rafael Peñaloza (Description Logics, 2021)

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). - Patrick Koopmann (Description Logics, 2021)

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. - Patrick Koopmann (IJCAI, 2021)

Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret (SOQE@KR, 2021)

Signature-Based ABox Abduction in ALC is Hard. - Patrick Koopmann (SOQE@KR, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2021)

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version). - Patrick Koopmann (CoRR, 2021)

Enhancing Probabilistic Model Checking with Ontologies. - Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan (Formal Aspects Comput., 2021)

Evonne: Interactive Proof Visualization for Description Logics (System Description). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (IJCAR, 2022)

Connection-Minimal Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (IJCAR, 2022)

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (Description Logics, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2022)

Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (Description Logics, 2022)

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Description Logics, 2022)

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2022)

An API for DL Abduction Solvers. - Zuzana Hlávková; Martin Homola; Patrick Koopmann; Júlia Pukancová (Description Logics, 2022)

Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes. - Franz Baader; Patrick Koopmann; Francesco Kriegel; Adrian Nuradiansyah (ESWC, 2022)

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2022)

Connection-minimal Abduction in EL via Translation to FOL - Technical Report. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (CoRR, 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (CoRR, 2022)

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez 001; Alexej Popovic (CoRR, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

Efficient TBox Reasoning with Value Restrictions using the ℱℒ0wer Reasoner. - Franz Baader; Patrick Koopmann; Friedrich Michel; Anni-Yasmin Turhan; Benjamin Zarrieß (Theory Pract. Log. Program., 2022)

Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Raimund Dachselt; Patrick Koopmann; Julián Méndez 001 (Zenodo, 2022)

Why Not? Explaining Missing Entailments with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (Description Logics, 2023)

Towards Ontology-Mediated Planning with OWL DL Ontologies. - Tobias John; Patrick Koopmann (Description Logics, 2023)

Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (Description Logics, 2023)

Efficient Computation of General Modules for ALC Ontologies. - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (IJCAI, 2023)

Optimal Repairs in the Description Logic Eℒ Revisited. - Franz Baader; Patrick Koopmann; Francesco Kriegel (JELIA, 2023)

Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. - Tobias John; Patrick Koopmann (PLATO@ICAPS, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2023)

Efficient Computation of General Modules for ALC Ontologies (Extended Version). - Hui Yang; Patrick Koopmann; Yue Ma 009; Nicole Bidoit (CoRR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2023)

Why Not? Explaining Missing Entailments with Evee (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov (CoRR, 2023)

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). - Tobias John; Patrick Koopmann (CoRR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. - Julián Méndez 001; Christian Alrabbaa; Patrick Koopmann; Ricardo Langner; Franz Baader; Raimund Dachselt (Comput. Graph. Forum, 2023)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (Description Logics, 2024)

Planning with OWL-DL Ontologies. - Tobias John; Patrick Koopmann (ECAI, 2024)

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. - Kai Obendrauf; Anne Baanen; Patrick Koopmann; Vera Stebletsova (ITP, 2024)

Supporting Companion Planting with the CoPla Ontology. - Giacomo Zamprogno; Mark Adamik; Ritten Roothaert; Ameneh Naghdipour; Lise Stork; Patrick Koopmann; Romana Pernisch; Benno Kruit; Jieying Chen 001; Ilaria Tiddi; Stefan Schlobach (KG4S@ESWC, 2024)

Explaining Reasoning Results for OWL Ontologies with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovic; Ida S. R. Siahaan (KR, 2024)

Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules. - Atefeh Keshavarzi Zafarghandi; Patrick Koopmann (NMR, 2024)

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). - Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2024)

Planning with OWL-DL Ontologies (Extended Version). - Tobias John; Patrick Koopmann (CoRR, 2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CADE, 2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). - Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann (CoRR, 2025)

Why not? Developing ABox Abduction beyond Repairs. - Anselm Haak; Patrick Koopmann; Yasir Mahmood 002; Anni-Yasmin Turhan (CoRR, 2025)

Interpolation in Classical Propositional Logic. - Patrick Koopmann; Christoph Wernhard; Frank Wolter (CoRR, 2025)