Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Keywords
- QA75 Electronic computers. Computer science
User created Keywords
- Description Logics
- Ontologies
- Logics
- Artificial Intelligence
- Knowledge Representation
- Automated Reasoning
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
Koopmann, P., Mahmood, Y., Ngomo, A. C. N. & Tiwari, B., 2026, Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence: AAAI-26 Technical Tracks. Koenig, S., Jenkins, C. & Taylor, M. E. (eds.). AAAI, p. 19189-19197 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 40, no. 1).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Interpolation in Knowledge Representation
Jung, J. C., Koopmann, P. & Knorr, M., 9 Dec 2025.Research output: Working paper / Preprint › Preprint › Academic
File -
Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)
Koopmann, P., 2025, Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025. Artale, A., Bienvenu, M., Ibáñez-García, Y. & Murlak, F. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 6:1-6:29 (OASIcs).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
-
Explaining Reasoning Results for OWL Ontologies with EVEE
Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P., Kovtunova, A., Krüger, A., Popovič, A. & Siahaan, I., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning: Hanoi, Vietnam. November 2-8, 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 709-719 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile42 Downloads (Pure) -
Can You Tell the Difference? Contrastive Explanations for ABox Entailments (Extended Version)
Koopmann, P., 14 Nov 2025.Research output: Working paper / Preprint › Preprint › Academic
Courses
Prizes / Grants
-
NWO PICON - Practical Interpolation for Realistic Ontologies
Koopmann, P. (Recipient), 2 Apr 2025
Prize / Grant: Grant › Academic
Datasets
-
Can You Tell the Difference? Contrastive Explanations for ABox Entailments - Code and Data
Koopmann, P. (Creator), Mahmood, Y. (Creator) & Tiwari, B. (Creator), Zenodo, 13 Nov 2025
Dataset / Software: Dataset
-
LETHE - A Tool for Uniform Interpolation and Related Reasoning Tasks
Koopmann, P. (Creator), GitHub, 2023
https://github.com/PKoopmann/LETHE-0.8
Dataset / Software: Software
-
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources
Alrabbaa, C. (Creator), Baader, F. (Creator), Borgwardt, S. (Creator), Dachselt, R. (Creator) & Koopmann, P. (Creator), Zenodo, 18 May 2022
Dataset / Software: Dataset
-
Supplementary material for the Paper "Towards Ontology-Mediated Planning with OWL DL Ontologies"
John, T. (Creator) & Koopmann, P. (Creator), Zenodo, 8 Aug 2023
Dataset / Software: Dataset
-
EVEE - Advanced Explanations of (Non-)Inferences from OWL Ontologies - Library and Protege Plugins
Alrabbaa, C. (Creator), Borgwardt, S. (Creator), Friese, T. (Creator), Koopmann, P. (Creator) & Kotlov, M. (Creator), GitHub, 2022
https://github.com/de-tu-dresden-inf-lat/evee
Dataset / Software: Software