Patrick Koopmann
Patrick Koopmann
Researcher, TU Dresden
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
TitelZitiert vonJahr
Uniform Interpolation of ALC-Ontologies Using Fixpoints
P Koopmann, RA Schmidt
Frontiers of Combining Systems, 87-102, 2013
44*2013
Count and Forget: Uniform Interpolation of SHQ-Ontologies
P Koopmann, RA Schmidt
Automated Reasoning, 434-448, 2014
37*2014
Uniform interpolation and forgetting for ALC ontologies with ABoxes
P Koopmann, RA Schmidt
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
322015
Forgetting Concept and Role Symbols in ALCH-Ontologies
P Koopmann, RA Schmidt
Logic in Programming, Artificial Intelligence and Reasoning, 2013
32*2013
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
262017
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks
P Koopmann, RA Schmidt
Proceedings of ORE'15, 2015
192015
Using ontologies to query probabilistic numerical data
F Baader, P Koopmann, AY Turhan
International Symposium on Frontiers of Combining Systems, 77-94, 2017
162017
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
Implementation and Evaluation of Forgetting In ALC-Ontologies
P Koopmann, RA Schmidt
Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013
152013
Practical Uniform Interpolation for Expressive Description Logics
P Koopmann
University of Manchester, 2015
132015
Saturation-Based Forgetting in the Description Logic SIF
P Koopmann, RA Schmidt
Description Logics Workshop 2015, 439-451, 2015
12*2015
Towards ontology-based realtime behaviour interpretation
W Bohlken, P Koopmann, L Hotz, B Neumann
Human Behavior Recognition Technologies: Intelligent Applications for …, 2013
92013
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes
P Koopmann, RA Schmidt
Description Logics Workshop, 2014
82014
LETHE: A saturation-based tool for non-classical reasoning
P Koopmann, RA Schmidt
Proceedings of the 4th International Workshop on OWL Reasoner Evaluation …, 2015
52015
Scenior: Ontology-based interpretation of aircraft service activities
W Bohlken, P Koopmann, B Neumann
52011
Ontology-based query answering for probabilistic temporal data
P Koopmann
Proceedings of the AAAI Conference on Artificial Intelligence 33, 2903-2910, 2019
42019
Computing ALCH-Subsumption Modules Using Uniform Interpolation
P Koopmann, J Chen
Workshop on Second-Order Quantifier Elimination, 2017
42017
Computing uniform interpolants of ALCH-ontologies with background knowledge
P Koopmann, RA Schmidt
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
32014
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, 2736-2743, 2019
22019
Saturation-Based Reasoning for SHI-Knowledge Bases with Applications to Forgetting and Uniform Interpolation
P Koopmann, RA Schmidt
Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 2015
22015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20