Jung, Jean Christoph

19 publications

AAAI 2025 Temporal Conjunctive Query Answering via Rewriting Lukas Westhofen, Jean Christoph Jung, Daniel Neider

IJCAI 2024 Extremal Separation Problems for Temporal Instance Queries Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

IJCAI 2023 SAT-Based PAC Learning of Description Logic Concepts Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz

IJCAI 2022 Frontiers and Exact Learning of ELI Queries Under DL-Lite Ontologies Maurice Funk, Jean Christoph Jung, Carsten Lutz

IJCAI 2021 Actively Learning Concepts and Conjunctive Queries Under ELr-Ontologies Maurice Funk, Jean Christoph Jung, Carsten Lutz

AAAI 2021 Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter

JAIR 2020 Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

AAAI 2020 Least General Generalizations in Description Logic: Verification and Existence Jean Christoph Jung, Carsten Lutz, Frank Wolter

IJCAI 2019 Learning Description Logic Concepts: When Can Positive and Negative Examples Be Separated? Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter

IJCAI 2019 On Finite and Unrestricted Query Entailment Beyond SQ with Number Restrictions on Transitive Roles Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak

AAAI 2018 Answering Regular Path Queries over SQ Ontologies Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung

IJCAI 2018 Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek

IJCAI 2017 Combining DL-Lite_boolN with Branching Time: A Gentle Marriage Víctor Gutiérrez-Basulto, Jean Christoph Jung

AAAI 2017 Number Restrictions on Transitive Roles in Description Logics with Nominals Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung

JAIR 2017 Probabilistic Description Logics for Subjective Uncertainty Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

IJCAI 2017 Query Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

IJCAI 2016 Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov

IJCAI 2015 Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider

AAAI 2011 A Closer Look at the Probabilistic Description Logic Prob-EL Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder