Jean Christoph Jung

107 papers A* 30A 7Journal 37Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computation and Size of Interpolants for Hybrid Modal Logics.
CoRR
Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2026 A* conf
Revisiting Conjunctive Query Entailment for S.
AAAI
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 — conf
Computation of Interpolants for Description Logic Concepts in Hard Cases.
DL
Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2025 J jnl
Computation of Interpolants for Description Logic Concepts in Hard Cases.
CoRR
Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter
2025 — conf
Containment of Conjunctive LTL Queries.
DL
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2025 — conf
Fitting Ontologies and Constraints to Relational Structures (Extended Abstract).
DL
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025 A* conf
Fitting Ontologies and Constraints to Relational Structures.
KR
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025 J jnl
Fitting Ontologies and Constraints to Relational Structures.
CoRR
Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph
2025 J jnl
Interpolation in Knowledge Representation.
CoRR
Jean Christoph Jung, Patrick Koopmann, Matthias Knorr
2025 A conf
Modal Separation of Fixpoint Formulae.
STACS
Jean Christoph Jung, Jedrzej Kolodziejski
2025 J jnl
Revisiting Conjunctive Query Entailment for 𝒮.
CoRR
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 — conf
SAT-Based Bounded Fitting for the Description Logic
ISWC (1)
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2025 — conf
SAT-Based Bounded Fitting for the Description Logic ALC (Extended Abstract).
DL
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2025 J jnl
SAT-Based Bounded Fitting for the Description Logic ALC.
CoRR
Maurice Funk, Jean Christoph Jung, Tom Voellmer
2025 A* conf
Temporal Conjunctive Query Answering via Rewriting.
AAAI
Lukas Westhofen, Jean Christoph Jung, Daniel Neider
2025 J jnl
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic.
CoRR
Jean Christoph Jung, Jedrzej Kolodziejski
2024 — conf
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.
TACAS (1)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2024 A* conf
Extremal Separation Problems for Temporal Instance Queries.
IJCAI
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024 J jnl
Extremal Separation Problems for Temporal Instance Queries.
CoRR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024 — conf
Modal Separability of Fixpoint Formulae.
Description Logics
Jean Christoph Jung, Jedrzej Kolodziejski
2024 J jnl
Modal Separability of Fixpoint Formulae.
CoRR
Jean Christoph Jung, Jedrzej Kolodziejski
2024 J jnl
On the non-efficient PAC learnability of conjunctive queries.
Inf. Process. Lett.
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2024 — ed.
Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024.
Description Logics
Laura Giordano, Jean Christoph Jung, Ana Ozaki
2024 — conf
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries.
NFM
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2024 A* conf
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology.
KR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell.
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2023 J jnl
Extremal Fitting CQs do not Generalize.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 J jnl
Fitting Algorithms for Conjunctive Queries.
SIGMOD Rec.
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 J jnl
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Trans. Comput. Log.
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2023 A* conf
SAT-Based PAC Learning of Description Logic Concepts.
IJCAI
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 J jnl
SAT-Based PAC Learning of Description Logic Concepts.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 — conf
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).
Description Logics
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2023 — conf
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Description Logics
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023 — conf
Towards Ontology Construction with Language Models.
KBC-LM/LM-KBC@ISWC
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
2023 J jnl
Towards Ontology Construction with Language Models.
CoRR
Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz
2022 A* conf
Conservative Extensions for Existential Rules.
KR
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022 J jnl
Conservative Extensions for Existential Rules.
CoRR
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022 — conf
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 A* conf
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 J jnl
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
CoRR
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 J jnl
Logical separability of labeled data examples under ontologies.
Artif. Intell.
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2022 — conf
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
Description Logics
Jean Christoph Jung, Andrea Mazzullo, Frank Wolter
2022 J jnl
On the non-efficient PAC learnability of acyclic conjunctive queries.
CoRR
Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz
2022 — ed.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022.
Description Logics
Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
2022 A conf
QBF Programming with the Modeling Language Bule.
SAT
Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine
2021 A* conf
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 J jnl
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
CoRR
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 — conf
Actively Learning ELI Queries under DL-Lite Ontologies.
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz
2021 A* conf
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
AAAI
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2021 A* conf
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.
LICS
Jean Christoph Jung, Frank Wolter
2021 A* conf
Separating Data Examples by Description Logic Concepts with Restricted Signatures.
KR
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2021 J jnl
Separating Data Examples by Description Logic Concepts with Restricted Signatures.
CoRR
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020 A ed.
23rd International Conference on Database Theory, ICDT 2020, Copenhagen, Denmark, March 30 - April 2, 2020
ICDT
Carsten Lutz, Jean Christoph Jung
2020 J jnl
Answering Regular Path Queries Over SQ Ontologies.
CoRR
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung
2020 J jnl
Conservative Extensions in Horn Description Logics with Inverse Roles.
CoRR
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2020 J jnl
Conservative Extensions in Horn Description Logics with Inverse Roles.
J. Artif. Intell. Res.
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2020 A* conf
Least General Generalizations in Description Logic: Verification and Existence.
AAAI
Jean Christoph Jung, Carsten Lutz, Frank Wolter
2020 — conf
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Description Logics
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020 J jnl
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
CoRR
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter
2020 J jnl
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.
CoRR
Jean Christoph Jung, Frank Wolter
2020 A* conf
Logical Separability of Incomplete Data under Ontologies.
KR
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020 J jnl
Logical Separability of Incomplete Data under Ontologies.
CoRR
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020 J jnl
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2020 A* conf
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
KR
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2020 — conf
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).
Description Logics
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020 J jnl
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures.
CoRR
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2020 J jnl
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.
Künstliche Intell.
Timothy van Bremen, Anton Dries, Jean Christoph Jung
2019 — conf
Decidability and Complexity of ALCOIF with Transitive Closure (and More).
Description Logics
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2019 — conf
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).
Description Logics
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019 A* conf
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
IJCAI
Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
2019 A* conf
Model Comparison Games for Horn Description Logics.
LICS
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Model Comparison Games for Horn Description Logics.
CoRR
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 — conf
Model Comparison Games for Horn Description Logics: A Summary.
Description Logics
Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev
2019 — conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Description Logics
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 A* conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
IJCAI
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 A conf
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.
CIKM
Timothy van Bremen, Anton Dries, Jean Christoph Jung
2018 A* conf
Answering Regular Path Queries over SQ Ontologies.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2018 J jnl
Markov Logic Networks with Statistical Quantifiers.
CoRR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 A* conf
Quantified Markov Logic Networks.
KR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka
2018 — conf
Query-by-Example for Expressive Horn Description Logics.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2018 A conf
Querying the Unary Negation Fragment with Regular Path Expressions.
ICDT
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2018 A* conf
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
2017 A* conf
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung
2017 A* conf
Conservative Extensions in Guarded and Two-Variable Fragments.
ICALP
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017 J jnl
Conservative Extensions in Guarded and Two-Variable Fragments.
CoRR
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
2017 A* conf
Number Restrictions on Transitive Roles in Description Logics with Nominals.
AAAI
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2017 — conf
On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Description Logics
Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung
2017 J jnl
Probabilistic Description Logics for Subjective Uncertainty.
J. Artif. Intell. Res.
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2017 A* conf
Query Conservative Extensions in Horn Description Logics with Inverse Roles.
IJCAI
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
2016 — conf
On Decidability and Tractability of Querying in Temporal EL.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2016 A conf
On Metric Temporal Description Logics.
ECAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
2016 A* conf
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
2015 A* conf
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
IJCAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2015 J jnl
The Complexity of Decomposing Modal and First-Order Theories.
ACM Trans. Comput. Log.
Stefan Göller, Jean Christoph Jung, Markus Lohrey
2015 — conf
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
Description Logics
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2014 A* conf
Lightweight Description Logics and Branching Time: A Troublesome Marriage.
KR
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
2014 — conf
Monodic Fragments of Probabilistic First-Order Logic.
ICALP (2)
Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder
2014 — —
Reasoning in many dimensions: uncertainty and products of modal logics.
Jean Christoph Jung
2013 — conf
Ontology-Based Access to Probabilistic Data.
Description Logics
Jean Christoph Jung, Carsten Lutz
2012 A conf
Complexity of Branching Temporal Description Logics.
ECAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz
2012 — conf
Ontology-Based Access to Probabilistic Data with OWL QL.
ISWC (1)
Jean Christoph Jung, Carsten Lutz
2012 A* conf
The Complexity of Decomposing Modal and First-Order Theories.
LICS
Stefan Göller, Jean Christoph Jung, Markus Lohrey
2011 A* conf
A Closer Look at the Probabilistic Description Logic Prob-EL.
AAAI
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder
2011 — conf
The Complexity of Probabilistic EL.
Description Logics
Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder
2010 — conf
Enhancing debugging of multiple missing control errors in reversible logic.
ACM Great Lakes Symposium on VLSI
Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
2009 — conf
SWORD - Module-based SAT Solving.
Algorithms and Applications for Next Generation SAT Solvers
Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler