About Me

Patrick Koopmann


Research Associate at The University of Manchester
School of Computer Science, Formal Methods Group

Working on Uniform Interpolation for Expressive
Description Logics, supervised by Dr. Renate A. Schmidt
and Dmitry Tishkovsky

patrick.koopmann@cs.man.ac.uk
Room 2.108, Kilburn Building, M13 9PL, +44 (0) 161 27 56266

I am a research associate at the University of Manchester. My research interests include Automated Reasoning, Description Logics and Second-Order Quantifier Elimination. Before moving to Manchester, I worked as research associate at the Congnitive Science Lab at the University of Hamburg, where I was working on ontology driven scene interpretation, and as technical consultant at Cirquent, now known as NTT Data Germany. I did my diploma at the University of Hamburg on unsupervised learning of event structures. Currently I am investigating algorithms and techniques for uniform interpolation and forgetting in expressive description logics.

My forgetting method is implemented in LETHE, a reasoning tool that can be used to forget concept and role symbols from expressive description logics, to compute logical differences, and for ABox abduction. It can be used both as a standalone tool and as a Java library, and is available here

Publications

2015

Koopmann, P.: Practical Uniform Interpolation for Expressive Description Logics. PhD Thesis. Link

Koopmann, P., Schmidt, R.A.: LETHE: A Saturation-Based Tool for Non-Classical Reasoning. In: Proc. ORE'15. Link

Koopmann, P., Schmidt, R.A.: Saturation-Based Forgetting in the Description Logic SIF. In: Proc. DL'15. Link

Koopmann, P., Schmidt, R.A.: Saturation-Based Reasoning for SHI Knowledge Bases with Applications to Forgetting and Uniform Interpolation. In: Proc. ARW'15. University of Birmingham. Link

Koopmann, P., Schmidt, R.A.: Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. In: Proc. AAAI-15. AAAI Press. Link Long Manuscript Version

2014

Koopmann, P., Schmidt, R.A.: Count and Forget: Uniform Interpolation of SHQ-Ontologies. In: Proc. IJCAR'14. Springer (2014) Link Long Manuscript Version

Koopmann, P., Schmidt, R.A.: Forgetting and Uniform Interpolation of ALC-Ontologies with ABoxes. In: Proc. DL'14. Link Long Manuscript Version

Koopmann, P., Schmidt, R.A.: Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge. In: Proc. ARW-DT'14. Link

2013

Koopmann, P., Schmidt, R.A.: Forgetting Concept and Role Symbols in ALCH-Ontologies. In: Proc. LPAR'13. Springer (2013). Link Implementation and Evaluation Data Long Manuscript Version.

Koopmann, P., Schmidt, R.A.: Implementation and Evaluation of Forgetting in ALC-Ontologies. In: Proc. WoMO’13. CEUR-WS.org (2013). Link Implementation and Evaluation Data

Koopmann, P., Schmidt, R.A.: Uniform Interpolation of ALC-Ontologies Using Fixpoints. In: Proc. FroCoS’13. Springer (2013). Link Manuscript.

Koopmann, P., Schmidt, R.A.: Uniform Interpolation of ALC-Ontologies Using Fixpoints. In: Proc. ARW'13. Link

Bohlken, W., Koopmann, P., Hotz L., Neumann, B.: Towards Ontology-Based Realtime Behaviour Interpretation. In: Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security. IGI Global, 2013. 33-64. Link

2011

Bohlken, W., Neumann, B., Hotz, L., Koopmann, P.: Ontology-based realtime activity monitoring using beam search. In: Computer Vision Systems. Springer Berlin Heidelberg, 2011. 112-121. Link

Bohlken, W., Koopmann, P., Neumann, B.: Scenior: Ontology-based interpretation of aircraft service activities. Technical Report, University of Hamburg, Fachbereich Informatik, 2011. Link

2010

Hartz, J., Koopmann, P., Kreutzmann, A., Terzic, K.: eTRIMS scene interpretation datasets. Technical Report, University of Hamburg, Fachbereich Informatik, 2010. Link