Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract)

Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract)

Fajar Haifani, Patrick Koopmann, Sophie Tourret and Christoph Weidenbach

Explaining Description Logic Entailments in Practice with Evee and Evonne

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez and Alexej Popovič

Finding Good Proofs fof Ontology-Mediated Query Answers

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan and Benjamin Zarriess

Evonne: Interactive Proof Visualization for Description Logics (System Description)

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova

An API for DL Abduction Solvers

Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova