Follow
Patrick Koopmann
Patrick Koopmann
Verified email at vu.nl
Title
Cited by
Cited by
Year
Uniform interpolation and forgetting for ALC ontologies with ABoxes
P Koopmann, R Schmidt
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
642015
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
572020
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
562020
Uniform interpolation of ALC-ontologies using fixpoints
P Koopmann, RA Schmidt
International Symposium on Frontiers of Combining Systems, 87-102, 2013
562013
Count and forget: Uniform interpolation of SHQ-ontologies
P Koopmann, RA Schmidt
International Joint Conference on Automated Reasoning, 434-448, 2014
542014
Forgetting concept and role symbols in ALCH-ontologies
P Koopmann, RA Schmidt
International Conference on Logic for Programming Artificial Intelligence …, 2013
532013
Signature-based abduction for expressive description logics
P Koopmann, W Del-Pinto, S Tourret, RA Schmidt
Proceedings of the International Conference on Principles of Knowledge …, 2020
382020
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
CADE 28, 291-308, 2021
352021
Practical uniform interpolation for expressive description logics
P Koopmann
PQDT-UK & Ireland, 2015
312015
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks.
P Koopmann, RA Schmidt
ORE, 23-30, 2015
252015
LETHE: Forgetting and uniform interpolation for expressive description logics
P Koopmann
KI-Künstliche Intelligenz 34 (3), 381-387, 2020
242020
Computing Optimal Repairs of Quantified ABoxes wrt Static EL TBoxes.
F Baader, P Koopmann, F Kriegel, A Nuradiansyah
CADE, 309-326, 2021
222021
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
International Conference on Integrated Formal Methods, 194-211, 2019
222019
Signature-based abduction with fresh individuals and complex concepts for description logics
P Koopmann
International Joint Conference on Artificial Intelligence (IJCAI), 2021
212021
Ontology-based query answering for probabilistic temporal data
P Koopmann
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2903-2910, 2019
202019
Implementation and evaluation of forgetting in ALC-ontologies
P Koopmann, RA Schmidt
7th International Workshop on Modular Ontologies, WoMO 2013-Co-located with …, 2013
192013
On the Complexity of Finding Good Proofs for Description Logic Entailments.
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Description Logics, 2020
182020
Deductive module extraction for expressive description logics
P Koopmann, J Chen
IJCAI, 2020
182020
Optimal ABox Repair w.r.t. Static TBoxes: From Quantified ABoxes Back to ABoxes
F Baader, P Koopmann, F Kriegel, A Nuradiansyah
European Semantic Web Conference, 130-146, 2022
172022
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair.
C Alrabbaa, F Baader, R Dachselt, T Flemisch, P Koopmann
Description Logics, 2020
172020
The system can't perform the operation now. Try again later.
Articles 1–20