Jean Christoph Jung

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 72

Top Venues

CoRR

Description Logics

IJCAI

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. TACAS (1) (2024)
Jean Christoph Jung, Jedrzej Kolodziejski
Modal Separability of Fixpoint Formulae. Description Logics (2024)
Jean Christoph Jung, Jedrzej Kolodziejski
Modal Separability of Fixpoint Formulae. CoRR (2024)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183 (2024)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. NFM (2024)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Extremal Separation Problems for Temporal Instance Queries. CoRR (2024)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. 52 (4) (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-Based PAC Learning of Description Logic Concepts. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
Extremal Fitting CQs do not Generalize. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-Based PAC Learning of Description Logic Concepts. IJCAI (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics (2023)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24 (4) (2023)
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR (2023)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics (2023)
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
Towards Ontology Construction with Language Models. CoRR (2023)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Answering regular path queries mediated by unrestricted SQ ontologies. Artif. Intell. 314 (2023)
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
Towards Ontology Construction with Language Models. KBC-LM/LM-KBC@ISWC (2023)
Jean Christoph Jung, Carsten Lutz, Jerzy Macinkowski
Conservative Extensions for Existential Rules. CoRR (2022)
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR (2022)
Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine
QBF Programming with the Modeling Language Bule. SAT (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. CoRR (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. IJCAI (2022)
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
Conservative Extensions for Existential Rules. KR (2022)
Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics (2022)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical separability of labeled data examples under ontologies. Artif. Intell. 313 (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. Description Logics (2022)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. CoRR (2021)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR (2021)
Jean Christoph Jung, Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS (2021)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning ELI Queries under DL-Lite Ontologies. Description Logics (2021)
Maurice Funk, Jean Christoph Jung, Carsten Lutz
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI (2021)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR (2021)
Jean Christoph Jung, Frank Wolter
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. KR (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68 (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies. CoRR (2020)
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. CoRR (2020)
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
Answering Regular Path Queries Over SQ Ontologies. CoRR (2020)
Timothy van Bremen, Anton Dries, Jean Christoph Jung
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. Künstliche Intell. 34 (4) (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR (2020)
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR (2020)
Jean Christoph Jung, Carsten Lutz, Frank Wolter
Least General Generalizations in Description Logic: Verification and Existence. AAAI (2020)
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics (2020)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI (2019)
Timothy van Bremen, Anton Dries, Jean Christoph Jung
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. CIKM (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. LICS (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics: A Summary. Description Logics (2019)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. Description Logics (2019)
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics (2019)
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
Model Comparison Games for Horn Description Logics. CoRR (2019)
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
Decidability and Complexity of ALCOIF with Transitive Closure (and More). Description Logics (2019)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. IJCAI (2019)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Markov Logic Networks with Statistical Quantifiers. CoRR (2018)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. IJCAI (2018)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
Answering Regular Path Queries over SQ Ontologies. AAAI (2018)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
Quantified Markov Logic Networks. KR (2018)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
Query-by-Example for Expressive Horn Description Logics. Description Logics (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. 58 (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. IJCAI (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP (2017)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Description Logics (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI (2017)
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI (2017)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
On Metric Temporal Description Logics. ECAI (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
On Decidability and Tractability of Querying in Temporal EL. Description Logics (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. IJCAI (2015)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage. Description Logics (2015)
Stefan Göller, Jean Christoph Jung, Markus Lohrey
The Complexity of Decomposing Modal and First-Order Theories. ACM Trans. Comput. Log. 16 (1) (2015)
Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) (2014)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Lightweight Description Logics and Branching Time: A Troublesome Marriage. KR (2014)
Jean Christoph Jung, Carsten Lutz
Ontology-Based Access to Probabilistic Data. Description Logics (2013)
Stefan Göller, Jean Christoph Jung, Markus Lohrey
The Complexity of Decomposing Modal and First-Order Theories. LICS (2012)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz
Complexity of Branching Temporal Description Logics. ECAI (2012)
Jean Christoph Jung, Carsten Lutz
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC (1) (2012)
Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder
The Complexity of Probabilistic EL. Description Logics (2011)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI (2011)
Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI (2010)
Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler
SWORD - Module-based SAT Solving. Algorithms and Applications for Next Generation SAT Solvers (2009)

Jean Christoph Jung.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean Christoph Jung