Patrick Koopmann

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 74

Top Venues

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. Description Logics (2024)
Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). CoRR (2024)
Franz Baader, Patrick Koopmann, Francesco Kriegel
ℒ Revisited. JELIA (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics (2023)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee. Description Logics (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies. IJCAI (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR (2023)
Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum 42 (6) (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Tobias John, Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies. Description Logics (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR (2023)
Tobias John, Patrick Koopmann
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). CoRR (2023)
Tobias John, Patrick Koopmann
Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. PLATO@ICAPS (2023)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics (2022)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
wer Reasoner. Theory Pract. Log. Program. 22 (2) (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
via Translation to FOL. IJCAR (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes: From Quantified ABoxes Back to ABoxes. ESWC (2022)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics (2022)
Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
An API for DL Abduction Solvers. Description Logics (2022)
Patrick Koopmann
Signature-Based ABox Abduction in ALC is Hard. SOQE@KR (2021)
Patrick Koopmann
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. IJCAI (2021)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 33 (6) (2021)
Patrick Koopmann
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics (2021)
Patrick Koopmann
Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version). CoRR (2021)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner. CoRR (2021)
Fajar Haifani, Patrick Koopmann, Sophie Tourret
Abduction in EL via Translation to FOL. SOQE@KR (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR (2021)
Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
TBoxes. CADE (2021)
Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics (2020)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. 21 (4) (2020)
Patrick Koopmann, Jieying Chen
Deductive Module Extraction for Expressive Description Logics. IJCAI (2020)
Patrick Koopmann
LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. Künstliche Intell. 34 (3) (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR (2020)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
On a Notion of Relevance. Description Logics (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR (2020)
Franz Baader, Patrick Koopmann, Cesare Tinelli
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics. KR (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR (2020)
Patrick Koopmann, Jieying Chen
Deductive Module Extraction for Expressive Description Logics (Extended Abstract). Description Logics (2020)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
Semantic Technologies for Situation Awareness. Künstliche Intell. 34 (4) (2020)
Patrick Koopmann
Ontology-Based Query Answering for Probabilistic Temporal Data. AAAI (2019)
Patrick Koopmann
Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. Description Logics (2019)
Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-Mediated Probabilistic Model Checking. IFM (2019)
Patrick Koopmann
Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract). Description Logics (2019)
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. AAAI (2019)
Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI (2019)
Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-mediated query answering over temporal and inconsistent data. Semantic Web 10 (3) (2019)
Patrick Koopmann, Theofilos Mailis, Danh Le Phuoc
Special Issue on High-Level Declarative Stream Processing. Open J. Databases 6 (1) (2019)
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. Description Logics (2019)
Patrick Koopmann
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies. DKB/KIK@KI (2018)
Patrick Koopmann, Jieying Chen
Computing ALCH. SOQE (2017)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data. FroCoS (2017)
Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics (2017)
Nadeschda Nikitina, Patrick Koopmann
Small Is Beautiful: Computing Minimal Equivalent EL Concepts. AAAI (2017)
Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan
Energy-Efficiency of OWL Reasoners - Frequency Matters. JIST (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names. FroCoS (2017)
Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics (2017)
Patrick Koopmann, Nadeschda Nikitina
Minimising Acyclic EL Ontologies. Description Logics (2016)
Patrick Koopmann, Renate A. Schmidt
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. AAAI (2015)
Patrick Koopmann, Renate A. Schmidt
Saturated-Based Forgetting in the Description Logic SIF. Description Logics (2015)
Patrick Koopmann, Renate A. Schmidt
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE (2015)
Patrick Koopmann, Renate A. Schmidt
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Description Logics (2014)
Patrick Koopmann, Renate A. Schmidt
Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. IJCAR (2014)
Patrick Koopmann, Renate A. Schmidt
Implementation and Evaluation of Forgetting in ALC-Ontologies. WoMO (2013)
Patrick Koopmann, Renate A. Schmidt
Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. LPAR (2013)
Patrick Koopmann, Renate A. Schmidt
Uniform Interpolation of -Ontologies Using Fixpoints. FroCos (2013)
Wilfried Bohlken, Bernd Neumann, Lothar Hotz, Patrick Koopmann
Ontology-Based Realtime Activity Monitoring Using Beam Search. ICVS (2011)

Patrick Koopmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrick Koopmann