Patrick Koopmann

104 papers A* 10A 7B 8C 1Journal 29Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Can You Tell the Difference? Contrastive Explanations for ABox Entailments. AAAI Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari
2025	J	`jnl`	Can You Tell the Difference? Contrastive Explanations for ABox Entailments. CoRR Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari
2025	—	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract). DL Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	J	`jnl`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version). CoRR Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	A	`conf`	Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. CADE Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2025	—	`conf`	Explaining Reasoning Results for Description Logic Ontologies (Invited Paper). RW Patrick Koopmann
2025	J	`jnl`	Interpolation in Classical Propositional Logic. CoRR Patrick Koopmann, Christoph Wernhard, Frank Wolter
2025	J	`jnl`	Interpolation in Knowledge Representation. CoRR Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
2025	—	`ed.`	Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025. DL Lidia Tendera, Yazmín Ibáñez-García, Patrick Koopmann
2025	—	`conf`	Towards Conceptual Clustering in EL with Simulation Graphs. DL Ruud van Bakel, Michael Cochez, Patrick Koopmann
2025	—	`conf`	Why not? Developing ABox Abduction Beyond Repairs. DL Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2025	J	`jnl`	Why not? Developing ABox Abduction beyond Repairs. CoRR Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
2024	A*	`conf`	Explaining Reasoning Results for OWL Ontologies with Evee. KR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovic, Ida S. R. Siahaan
2024	B	`conf`	Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. ITP Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova
2024	J	`jnl`	Planning with OWL-DL Ontologies (Extended Version). CoRR Tobias John, Patrick Koopmann
2024	A	`conf`	Planning with OWL-DL Ontologies. ECAI Tobias John, Patrick Koopmann
2024	—	`conf`	Supporting Companion Planting with the CoPla Ontology. KG4S@ESWC Giacomo Zamprogno, Mark Adamik, Ritten Roothaert, Ameneh Naghdipour, Lise Stork, Patrick Koopmann, Romana Pernisch, Benno Kruit, Jieying Chen, Ilaria Tiddi, Stefan Schlobach
2024	J	`jnl`	The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version). CoRR Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2024	—	`conf`	The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains. Description Logics Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
2024	—	`conf`	Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules. NMR Atefeh Keshavarzi Zafarghandi, Patrick Koopmann
2023	J	`jnl`	Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	B	`conf`	Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2023	—	`conf`	Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023	J	`jnl`	Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023	A*	`conf`	Efficient Computation of General Modules for ALC Ontologies. IJCAI Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023	J	`jnl`	Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging. Comput. Graph. Forum Julián Méndez, Christian Alrabbaa, Patrick Koopmann, Ricardo Langner, Franz Baader, Raimund Dachselt
2023	B	`conf`	Optimal Repairs in the Description Logic JELIA Franz Baader, Patrick Koopmann, Francesco Kriegel
2023	—	`conf`	Planning with Ontology-Enhanced States using Problem-Dependent Rewritings. PLATO@ICAPS Tobias John, Patrick Koopmann
2023	J	`jnl`	Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version). CoRR Tobias John, Patrick Koopmann
2023	—	`conf`	Towards Ontology-Mediated Planning with OWL DL Ontologies. Description Logics Tobias John, Patrick Koopmann
2023	J	`jnl`	Why Not? Explaining Missing Entailments with Evee (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
2023	—	`conf`	Why Not? Explaining Missing Entailments with Evee. Description Logics Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
2022	—	`conf`	An API for DL Abduction Solvers. Description Logics Zuzana Hlávková, Martin Homola, Patrick Koopmann, Júlia Pukancová
2022	A	`conf`	Connection-Minimal Abduction in IJCAR Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	—	`conf`	Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	J	`jnl`	Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	—	`conf`	Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ Theory Pract. Log. Program. Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2022	J	`jnl`	Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version. CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	A	`conf`	Evonne: Interactive Proof Visualization for Description Logics (System Description). IJCAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julián Méndez
2022	B	`conf`	Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	J	`jnl`	Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	J	`jnl`	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	—	`conf`	Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2022	J	`jnl`	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version). CoRR Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
2022	—	`conf`	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Description Logics Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovic
2022	B	`conf`	Optimal ABox Repair w.r.t. Static ESWC Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2022	—	`conf`	Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2021	—	`conf`	Abduction in EL via Translation to FOL. SOQE@KR Fajar Haifani, Patrick Koopmann, Sophie Tourret
2021	A	`conf`	Computing Optimal Repairs of Quantified ABoxes w.r.t. Static CADE Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah
2021	J	`jnl`	Efficient TBox Reasoning with Value Restrictions using the ℱℒ CoRR Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
2021	J	`jnl`	Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2021	—	`conf`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	J	`jnl`	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	A	`conf`	Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2021	—	`conf`	Privacy-Preserving Ontology Publishing: The Case of Quantified ABoxes w.r.t. a Static Cycle-Restricted EL TBox. Description Logics Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza
2021	—	`conf`	Signature-Based ABox Abduction in ALC is Hard. SOQE@KR Patrick Koopmann
2021	—	`conf`	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). Description Logics Patrick Koopmann
2021	J	`jnl`	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version). CoRR Patrick Koopmann
2021	A*	`conf`	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. IJCAI Patrick Koopmann
2020	—	`conf`	Deductive Module Extraction for Expressive Description Logics (Extended Abstract). Description Logics Patrick Koopmann, Jieying Chen
2020	A*	`conf`	Deductive Module Extraction for Expressive Description Logics. IJCAI Patrick Koopmann, Jieying Chen
2020	J	`jnl`	Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	B	`conf`	Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	—	`conf`	First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions. Description Logics Franz Baader, Patrick Koopmann, Cesare Tinelli
2020	—	`conf`	Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification. Description Logics Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2020	J	`jnl`	LETHE: Forgetting and Uniform Interpolation for Expressive Description Logics. Künstliche Intell. Patrick Koopmann
2020	J	`jnl`	Metric Temporal Description Logics with Interval-Rigid Names. ACM Trans. Comput. Log. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2020	—	`conf`	On a Notion of Relevance. Description Logics Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2020	—	`conf`	On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020	J	`jnl`	Semantic Technologies for Situation Awareness. Künstliche Intell. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan
2020	J	`jnl`	Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020	A*	`conf`	Signature-Based Abduction for Expressive Description Logics. KR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020	—	`conf`	Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair. Description Logics Christian Alrabbaa, Franz Baader, Raimund Dachselt, Tamara Flemisch, Patrick Koopmann
2019	A*	`conf`	From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. AAAI David Carral, Larry González, Patrick Koopmann
2019	—	`conf`	From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment. Description Logics David Carral, Larry González, Patrick Koopmann
2019	—	`conf`	Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. Description Logics Patrick Koopmann
2019	—	`conf`	Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract). Description Logics Patrick Koopmann
2019	A*	`conf`	Ontology-Based Query Answering for Probabilistic Temporal Data. AAAI Patrick Koopmann
2019	B	`conf`	Ontology-Mediated Probabilistic Model Checking. IFM Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
2019	J	`jnl`	Ontology-mediated query answering over temporal and inconsistent data. Semantic Web Camille Bourgaux, Patrick Koopmann, Anni-Yasmin Turhan
2019	—	`conf`	Practical Query Rewriting for DL-Lite with Numerical Predicates. GCAI Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan
2019	J	`jnl`	Special Issue on High-Level Declarative Stream Processing. Open J. Databases Patrick Koopmann, Theofilos Mailis, Danh Le Phuoc
2018	—	`conf`	Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies. DKB/KIK@KI Patrick Koopmann
2017	—	`conf`	Computing ALCH. SOQE Patrick Koopmann, Jieying Chen
2017	—	`conf`	Energy-Efficiency of OWL Reasoners - Frequency Matters. JIST Patrick Koopmann, Marcus Hähnel, Anni-Yasmin Turhan
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract). Description Logics Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`conf`	Metric Temporal Description Logics with Interval-Rigid Names. FroCoS Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
2017	—	`ed.`	Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. SOQE Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
2017	A*	`conf`	Small Is Beautiful: Computing Minimal Equivalent EL Concepts. AAAI Nadeschda Nikitina, Patrick Koopmann
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). Description Logics Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2017	—	`conf`	Using Ontologies to Query Probabilistic Numerical Data. FroCoS Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan
2016	—	`conf`	Minimising Acyclic EL Ontologies. Description Logics Patrick Koopmann, Nadeschda Nikitina
2015	—	`conf`	LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE Patrick Koopmann, Renate A. Schmidt
2015	—	`—`	Practical uniform interpolation for expressive description logics. Patrick Koopmann
2015	—	`conf`	Saturated-Based Forgetting in the Description Logic SIF. Description Logics Patrick Koopmann, Renate A. Schmidt
2015	A*	`conf`	Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. AAAI Patrick Koopmann, Renate A. Schmidt
2014	A	`conf`	Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. IJCAR Patrick Koopmann, Renate A. Schmidt
2014	—	`conf`	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Description Logics Patrick Koopmann, Renate A. Schmidt
2013	B	`conf`	Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. LPAR Patrick Koopmann, Renate A. Schmidt
2013	—	`conf`	Implementation and Evaluation of Forgetting in ALC-Ontologies. WoMO Patrick Koopmann, Renate A. Schmidt
2013	—	`ch.`	Towards Ontology-Based Realtime Behaviour Interpretation. Human Behavior Recognition Technologies Wilfried Bohlken, Patrick Koopmann, Lothar Hotz, Bernd Neumann
2013	—	`conf`	Uniform Interpolation of -Ontologies Using Fixpoints. FroCos Patrick Koopmann, Renate A. Schmidt
2011	C	`conf`	Ontology-Based Realtime Activity Monitoring Using Beam Search. ICVS Wilfried Bohlken, Bernd Neumann, Lothar Hotz, Patrick Koopmann