| Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, 87-102, 2013 | 48* | 2013 |
| Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, RA Schmidt Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015 | 47 | 2015 |
| Count and Forget: Uniform Interpolation of SHQ-Ontologies P Koopmann, RA Schmidt Automated Reasoning, 434-448, 2014 | 47* | 2014 |
| Forgetting Concept and Role Symbols in ALCH-Ontologies P Koopmann, RA Schmidt Logic in Programming, Artificial Intelligence and Reasoning, 2013 | 43* | 2013 |
| Metric Temporal Description Logics with Interval-Rigid Names F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020 | 38 | 2020 |
| Metric temporal description logics with interval-rigid names F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost International Symposium on Frontiers of Combining Systems, 60-76, 2017 | 38 | 2017 |
| Practical Uniform Interpolation for Expressive Description Logics P Koopmann University of Manchester, 2015 | 19 | 2015 |
| LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks P Koopmann, RA Schmidt Proceedings of ORE'15, 2015 | 19 | 2015 |
| Using ontologies to query probabilistic numerical data F Baader, P Koopmann, AY Turhan International Symposium on Frontiers of Combining Systems, 77-94, 2017 | 18 | 2017 |
| Ontology-based realtime activity monitoring using beam search W Bohlken, B Neumann, L Hotz, P Koopmann International Conference on Computer Vision Systems, 112-121, 2011 | 17 | 2011 |
| Implementation and Evaluation of Forgetting In ALC-Ontologies P Koopmann, RA Schmidt Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013 | 15 | 2013 |
| Saturation-Based Forgetting in the Description Logic SIF P Koopmann, RA Schmidt Description Logics Workshop 2015, 439-451, 2015 | 13 | 2015 |
| From Horn-SRIQ to Datalog: A data-independent transformation that preserves assertion entailment D Carral, L González, P Koopmann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2736-2743, 2019 | 12 | 2019 |
| Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova arXiv preprint arXiv:2004.08311, 2020 | 11 | 2020 |
| Ontology-based query answering for probabilistic temporal data P Koopmann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2903-2910, 2019 | 11 | 2019 |
| Towards ontology-based realtime behaviour interpretation W Bohlken, P Koopmann, L Hotz, B Neumann Human Behavior Recognition Technologies: Intelligent Applications for …, 2013 | 10 | 2013 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 8 | 2019 |
| Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes P Koopmann, RA Schmidt Description Logics Workshop, 2014 | 8 | 2014 |
| Scenior: Ontology-based interpretation of aircraft service activities W Bohlken, P Koopmann, B Neumann | 6 | 2011 |
| Ontology-mediated query answering over temporal and inconsistent data C Bourgaux, P Koopmann, AY Turhan Semantic Web 10 (3), 475-521, 2019 | 5 | 2019 |
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
