Koopmann, Patrick

7 publications

IJCAI 2023 Efficient Computation of General Modules for ALC Ontologies Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit

IJCAI 2021 Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics Patrick Koopmann

IJCAI 2020 Deductive Module Extraction for Expressive Description Logics Patrick Koopmann, Jieying Chen

AAAI 2019 From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment David Carral, Larry González, Patrick Koopmann

AAAI 2019 Ontology-Based Query Answering for Probabilistic Temporal Data Patrick Koopmann

AAAI 2017 Small Is Beautiful: Computing Minimal Equivalent EL Concepts Nadeschda Nikitina, Patrick Koopmann

AAAI 2015 Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes Patrick Koopmann, Renate A. Schmidt