Follow
Patrick Koopmann
Patrick Koopmann
Researcher, TU Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Uniform interpolation and forgetting for ALC ontologies with ABoxes
P Koopmann, RA Schmidt
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
552015
Count and Forget: Uniform Interpolation of SHQ-Ontologies
P Koopmann, RA Schmidt
Automated Reasoning, 434-448, 2014
53*2014
Uniform Interpolation of ALC-Ontologies Using Fixpoints
P Koopmann, RA Schmidt
Frontiers of Combining Systems, 87-102, 2013
53*2013
Forgetting Concept and Role Symbols in ALCH-Ontologies
P Koopmann, RA Schmidt
Logic in Programming, Artificial Intelligence and Reasoning, 2013
47*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
392020
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
392017
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
232020
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks
P Koopmann, RA Schmidt
Proceedings of ORE'15, 2015
212015
Practical Uniform Interpolation for Expressive Description Logics
P Koopmann
University of Manchester, 2015
202015
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)⋆
F Baader, P Koopmann, AY Turhan
Description Logic Workshop, 2017
17*2017
Saturation-Based Forgetting in the Description Logic SIF
P Koopmann, RA Schmidt
Description Logics Workshop 2015, 439-451, 2015
172015
Implementation and Evaluation of Forgetting In ALC-Ontologies
P Koopmann, RA Schmidt
Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013
172013
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
162011
Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)⋆
P Koopmann
Description Logic Workshop, 2019
15*2019
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
International Conference on Integrated Formal Methods, 194-211, 2019
122019
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
122019
Deductive Module Extraction for Expressive Description Logics
P Koopmann, J Chen
Twenty-Ninth International Joint Conference on Artificial Intelligence …, 2020
112020
Finding good proofs for description logic entailments using recursive quality measures
C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova
Automated Deduction-CADE, 12-15, 2021
102021
Ontology-mediated query answering over temporal and inconsistent data
C Bourgaux, P Koopmann, AY Turhan
Semantic Web 10 (3), 475-521, 2019
102019
Towards ontology-based realtime behaviour interpretation
W Bohlken, P Koopmann, L Hotz, B Neumann
Human Behavior Recognition Technologies: Intelligent Applications for …, 2013
102013
The system can't perform the operation now. Try again later.
Articles 1–20